For the most recent entries see the Petri Nets Newsletter.

Petri's Axioms of concurrency - A Selection of Recent Results.

Kummer, Olaf; Stehr, Mark-Oliver

In: Azéma, P.; Balbo, G.: Lecture Notes in Computer Science, Vol. 1248: 18th International Conference on Application and Theory of Petri Nets, Toulouse, France, June 1997, pages 195-214. Berlin, Germany: Springer-Verlag, June 1997.

Abstract: 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.

Keywords: Axiomatic theory of concurrency/causality.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography