Concurrency Theory of cyclic and acyclic processes
| URL | http://edoc.sub.uni-hamburg.de/informatik/volltexte/2009/33/ |
|---|---|
| Dokumentart: | Report (Bericht) |
| Schriftenreihe: | Berichte des Fachbereichs Informatik der Universität Hamburg |
| Bandnummer: | 190 |
| Sprache: | Deutsch |
| Erstellungsjahr: | 1996 |
| Publikationsdatum: | 18.08.2009 |
| SWD-Schlagwörter: | Nebenläufigkeit , Mathematisches Modell |
| Freie Schlagwörter (Deutsch): | Concurrency |
| Freie Schlagwörter (Englisch): | axiomatic , concurrency , theory |
| DDC-Sachgruppe: | Informatik |
| BK - Klassifikation: | 54.10 |
Kurzfassung auf Englisch:
This work investigates the axiomatic concurrency theory proposed by Carl Adam Petri as a basis of general net theory starting with physically motivated axioms. A formulation in terms of partially ordered sets is intensionally not adopted here, in order to deal with this theory in a more general setting, viewing causality and concurrency as pure similarity relations. Concurrency structures, which are the models of this theory, are intended to describe the synchronisation structure of possibly cyclic processes at an arbitrary level of abstraction. The major result of this work is that under certain conditions we can associate exactly two nets (of which one is the inverse of the other) with every concurrency structure. An appropriate elementary-net-speci,cation based upon one of these nets has a case class that coincides with the class of statelike cuts. In other words, under appropriate assumptions supplementing Petri's axioms the token game is sound and complete to evolve the dynamics of concurrency structures.
Kurzfassung auf Deutsch:
Diese Arbeit untersucht, die von Carl Adam Petri vorgeschlagene, axiomatische Concurrency-Theorie als Basis der allgemeinen Netztheorie, ausgehend von physikalisch motivierten Axiomen. Eine Formulierung mit Hilfe von partiellen Ordnungen wird absichtlich vermieden, um die Theorie auf einer allgemeineren Grundlage zu studieren, die Nebenläufigkeit und Kausalität als reine Ähnlichkeitsrelationen auffaßt. Die Concurrency-Strukturen, die sich als Modelle dieser Theorie ergeben, sollen die Synchronisationsstruktur von möglicherweise zyklischen Prozessen auf einer beliebigen Abstraktionsebene beschreiben. Das Hauptresultat dieser Arbeit ist, dai wir unter bestimmten Bedingungen genau zwei Netze (ein Netz und sein Inverses) mit jeder Concurrency-Struktur assoziieren können. Ein geeignetes elementares Netzsystem, das auf einem dieser Netze basiert, hat ferner eine Fallklasse, die mit der Klasse der zustandsartigen Schnitte identisch ist. Mit anderen Worten: Das übliche Markenspiel ist unter geeigneten, Petris Axiome ergänzenden Annahmen, korrekt und vollständig, um die Dynamik von Concurrency-Strukturen zu entwickeln.
Hinweis zum Urherberrecht
Für Dokumente, die in elektronischer Form über Datenenetze angeboten werden, gilt uneingeschränkt das Urheberrechtsgesetz (UrhG). Insbesondere gilt:
Einzelne Vervielfältigungen, z.B. Kopien und Ausdrucke, dürfen nur zum privaten und sonstigen eigenen Gebrauch angefertigt werden (Paragraph 53 Urheberrecht). Die Herstellung und Verbreitung von weiteren Reproduktionen ist nur mit ausdrücklicher Genehmigung des Urhebers gestattet.
Der Benutzer ist für die Einhaltung der Rechtsvorschriften selbst verantwortlich und kann bei Mißbrauch haftbar gemacht werden.