In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 524; Advances in Petri Nets 1991, pages 253-276. Berlin, Germany: Springer-Verlag, 1991.
Abstract: This paper is concerned with the general relationship between distributed structure and nonsequential behaviour of condition-event type Petri nets. It is shown that a class of net sytems which includes all CE-systems can be formally constructed from a behavioural specification given in terms of labelled occurrence nets. Correspondingly the usual process definition is adapted to be compatible also with general (not necessarily contact free) CE-systems. The modelling power of this extension is discussed.
Keywords: process folding; quotient net; elementary net system; contact; condition-event net; distributed structure; labelled occurrence net.