Report TUM--I--9004;, pages 1-22 pp.. München, Germany: Technische Universiät, Institut für Informatik, January 1990.
Abstract: This paper discusses a number of properties that a partial order semantics should have in order to support the modular construction of nets and to deal with finite capacities. Characterizations for these properties are shown, and a new semantics is introduced which seems to be the natural choice if a certain set of properties is required.
Keywords: partial order semantics (of) place/transition net; modular net construction.
Back to the Petri Nets Bibliography