Berlin: Logos Verlag, 164 pages, 1996. In German; ISBN 3-931216-28-4.
Abstract: Axiomatic concurrency theory - the theory of the relations co and li developed by C.A. Petri - is examined in a formal setting by proving the equivalence (or non-equivalence) the various axiomatic systems that were proposed by Petri and his scholars. As a main lemma for this task it is shown that Petri's theory excludes lines with endpoints, thereby solving an open conjecture by Stehr positively.
Counterexamples are given to highlight some problems that occur in the weaker systems. To remove these difficulties, new axioms are proposed and evaluated, eventually leading to an interesting characterization of the generalized D-countinuity. The new axioms also make it possible to treat concurrency theory without relying on partial order theory.
Keywords: axiomatic theory of concurrency; relations; co, li; cliques, kens; cuts, lines; D-continuity; consistent orientability.