In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 609; Advances in Petri Nets 1992, pages 70-88. Springer-Verlag, 1992.
Abstract: A functional semantic modeling of Petri nets with individual tokens also called high level Petri nets is outlined. A denotational semantics for so-called high level Petri net components, i.e. nets that may contain ingoing and outgoing arcs, is given. An abstraction of the semantics is provided in terms of a predicative semantics. This semantics is modular in the sense that high level Petri net components can be composed by parallel composition and feedback in a way that the semantics of the composed net can be derived from the semantics of the net components.