| Popis: |
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. |
