Reineke, Henning (2004) Struktur und Verhalten von verteilten endlichen Automaten. PhD, Universität Oldenburg.

Preview

- Accepted Version Volltext (1083Kb)

Abstract

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.

["eprint_fieldname_abstract_plus" not defined]

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.

Item Type:	Thesis (PhD)
Uncontrolled Keywords:	[Keine Schlagwörter von Autor/in vergeben.]
Controlled Keywords:	Endlicher Automat, Struktur
Subjects:	Generalities, computers, information > Computer science, internet
Divisions:	School of Computing Science, Business Administration, Economics and Law > Department of Computing Science
Date Deposited:	17 Jan 2013 14:15
Last Modified:	09 Dec 2013 09:22
URI:	https://oops.uni-oldenburg.de/id/eprint/196
URN:	urn:nbn:de:gbv:715-oops-2267
DOI:
Nutzungslizenz:

Actions (login required)

View Item