Petri’s axioms of concurrency a selection of recent results

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 axiomw 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.