Concurrency Theory
|
|
|
|
Petri's Axioms of Concurrency - A Selection of Recent Results
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.
