Petri Net Models for Algebraic Theories of Concurrency

  title={Petri Net Models for Algebraic Theories of Concurrency},
  author={Rob J. van Glabbeek and Frits W. Vaandrager},
In this paper we discuss the issue of interleaving semantics versus True concurrency in an algebraic setting. We present various equivalence notions on Petri nets which can be used in the construction of algebraic models: (a) the occurrence net equivalence of Nielsen, Plotkin & Winskel; (b) bisimulation equivalence, which leads to a model which is isomorphic to the graph model of Baeten, Bergstra & Klop; (c) the concurrent bisimulation equivalence, which is also described by Nielsen… CONTINUE READING
Highly Influential
This paper has highly influenced 15 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS