Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfu├č

Concurrency Theory

Diese Seite ist nur in Englisch verfügbar. This page is only available in English. Cette page n'existe qu'en Anglais. Ésta página sólo existe en Inglés.

Petri's Axioms of Concurrency - A Selection of Recent Results

Olaf Kummer Mark-Oliver Stehr

Proceedings of the 18th International Conference on Application and Theory of Petri Nets, Toulouse, France, June 23-27, 1997, Lecture Notes in Computer Science 1248, Springer-Verlag , 1997


Concurrency theory, as developed by Carl Adam Petri, is an axiomatic theory of binary relations of concurrency (co) and causality (li). This work deals with interactions between axioms and studies properties of concurrency structures, the models of this theory. In contrast to other treatments concurrency theory will be investigated in its general form, which does not require an underlying partial order of causality. Some difficulties are illustrated by counterexamples and possible extensions of the original set of axioms are proposed and analyzed.

Postscript version of this work in gzip-format (98 kByte)
Slides of the first (67 kByte) and the second (60 kByte) part of the talk. Letzte Änderung: 17:40 19.05.2011