Petri Net Models for Algebraic Theories of Concurrency

@inproceedings{Glabbeek1987PetriNM,
title={Petri Net Models for Algebraic Theories of Concurrency},
author={Rob J. van Glabbeek and Frits W. Vaandrager},
booktitle={PARLE},
year={1987}
}

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