Struktur und Verhalten von verteilten endlichen Automaten

Traces sind Verallgemeinerungen von Wörtern auf nebenläufige Prozesse. Wörter sind Repräsentanten desselben Traces, wenn sie sich nur in der Reihenfolge von aufeinanderfolgenden 'unabhängigen' Zeichen unterscheiden. In der Arbeit werden Teilklassen der erkennbaren Trace-Sprachen durch Betrachtung der verteilten Struktur und des nebenläufigen Verhaltens des endlichen asynchronen Automaten definiert. Die Teilklassen werden unabhängig vom Automatentyp charakterisiert, so daß sie allgemeine Eigenschaften nebenläufigen Verhaltens beschreiben. Es werden Eigenschaften der Sprachklassen und Beziehungen zwischen den Sprachklassen in Abhängigkeit von der Unabhängigkeitsrelation des Alphabets untersucht. Im Anhang der Arbeit wird das Trace-Modell einer Fertigungszelle vorgestellt. Das Verhalten wird mit Hilfe der hier definierten Begriffe interpretiert.

Level thesis:degree_level

thesis.doctoral

Grantor dc:publisher

Universität Oldenburg

Year

1995

Author dc:creator

• Reineke, Henning

• [Keine Schlagwörter von Autor/in vergeben.]

Repository record source_url

http://oops.uni-oldenburg.de/196

OAI identifier oai:identifier

oai:oops.uni-oldenburg.de:196