For the most recent entries see the Petri Nets Newsletter.

Modular Functional Modelling of Petri Nets with Individual Tokens.

Broy, Manfred; Streicher, Thomas

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography