@book {IOPORT.01015097,
    author       = {Reineke, Henning},
    title        = {Structure and behavior of distributed finite automata. (Struktur und Verhalten von verteilten endlichen Automaten.)},
    year         = {1995},
    pages        = {viii, 136~p.},
    publisher    = {Oldenburg: Univ. Oldenburg, FB Informatik},
    abstract     = {Summary: Traces sind Verallgemeinerungen von W\"ortern auf nebenl\"aufige Prozesse: Dem Alphabet wird eine symmetrische und antireflexive Unabh\"angigkeitsrelation auf Zeichen zugeordnet. W\"orter sind Repr\"asentanten desselben Traces, wenn sie sich nur in der Reihenfolge von aufeinanderfolgenden unabh\"angigen Zeichen unterscheiden. Viele aus der Theorie der formalen Sprachen bekannte Begriffe und Konzepte lassen sich ebenso f\"ur Traces and Trace-Sprachen formulieren und anwenden. Im Jahre 1987 definierte Zielonka mit dem endlichen asynchronen Automaten den Typ eines verteilten Automaten zur Erkennung von Trace-Sprachen. Die Klasse der erkennbaren Trace-Sprachen ist daher eine Verallgemeinerung der Klasse der regul\"aren (Wort-)Sprachen. Obwohl die erkennbaren Trace-Sprachen ein vielf\"altigeres und interessanteres Gebiet darstellen als die Klasse der regul\"aren Wortsprachen, scheinen sie bisher weniger untersucht worden zu sein. In dieser Arbeit werden Teilklassen der erkennbaren Trace-Sprachen durch Betrachtung der verteilten Struktur und des nebenl\"aufigen Verhaltens des endlichen asynchronen Automaten definiert. In diesem Zusammehang spielen die Mechanismen eine besondere Rolle, nach denen die Teilautomaten kooperieren. Die definierten Teilklassen werden unabh\"angig vom Automatentyp charakterisiert, so da{\ss} sie allgemeine Eigenschaften (erkennbaren) nebenl\"aufigen Verhaltens beschreiben. Es werden Eigenschaften der Sprachklassen und Beziehungen zwischen den Sprachklassen untersucht. Hierbei dient die Unabh\"angigkeitsrelation als Parameter, z.B. stimmen die Teilklassen mit der Klasse der erkennbaren Trace-Sprachen bei leerer Unabh\"angigkeitsrelation \"uberein. Drei Teilklassen sind identisch, wenn nur pr\"afixabgeschlossene Sprachklassen betrachtet werden. Zielonkas Konstruktion eines endlichen asynchronen Automaten zu einer gegebenen Trace-Sprache ist ebenso kompliziert wie aufwendig. Von daher ergibt sich ein weiteres Motiv f\"ur die Betrachtung von Teilklassen der erkennbaren Trace-Sprachen. Es zeigt sich jedoch, da{\ss} die hier definierten Sprachklassen keine einfachere Automatenkonstruktion zulassen. Andererseits offenbart die Untersuchung von Zielonkas Konstruktionsverfahren eine entscheidende Vereinfachung f\"ur erkennbare Trace-Sprachen, die auf Alphabeten mit einer speziellen Unabh\"angigkeitsrelation definiert sind. Im Aushang wird das Trace Modell einer Fertigungszelle vorgestellt. Das Verhalten wird mit Hilfe der hier definierten Begriffe interpretiert.},
    identifier   = {01015097},
}