For the most recent entries see the Petri Nets Newsletter.

Quality Criteria for Partial Order Semantics of Place/Transition Nets.

Gold, Robert; Vogler, Walter

1/90 A: Report TUM--I9004; SFB-Bericht No. 342. München, Germany: Technische Universität, Institut für Informatik, Sonderforschungsbereich ``Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen'', January 1990.

Also in: Rovan, B.: Lecture Notes in Computer Science, Vol. 452; Mathematical Foundations of Computer Science 1990, Banská Bystrica, Czechoslovakia, pages 306-312. Berlin, Germany: Springer-Verlag, 1990. Extended abstract.

Abstract: This paper discusses a number of properties 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(s); modular construction; finite capacity.

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

Back to the Petri Nets Bibliography