Struktur und Verhalten von verteilten endlichen Automaten

Zugl.: Oldenburg, Univ., Diss., 1995

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Reineke, Henning (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Oldenburg Carl-v.-Ossietzky-Univ. 1995
Schriftenreihe:	Berichte aus dem Fachbereich Informatik / Carl-v.-Ossietzky-Universität Oldenburg 2/95
Schlagworte:	Hochschulschrift > Forschungsbericht > Bericht
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Zugl.: Oldenburg, Univ., Diss., 1995 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. <dt.> Traces are generalizations of words to concurrent processes. Words will be representatives of the same trace, if their sequences of letter occurences differ only in the order of neighbouring independent letters. In this paper subclasses of the recognizable trace languages are defined by considering the distributed structure and concurrent behaviour of the finite asynchronous automaton. We characterize these subclasses independently of the automaton. So they represent properties of concurrent behaviour in general. In order to establish a theory of these language classes we analyze their properties and mutual relationships. The independence relation serves as a parameter in this examination. In the appendix the trace model of a production cell is given. Its behaviour is interpreted in terms of the introduced notions. <engl.>
Beschreibung:	Auch als elektronisches Dokument vorh
Beschreibung:	VIII, 136 S graph. Darst