Quality Criteria for Partial Order Semantics of Place/Transition-Nets with Capacities

Article type: Research Article

Authors: Gold, Robert^{; *} | Vogler, Walter^{; *}

Affiliations: Institut für Informatik, Technische Universität München, Arcisstr. 21, D-8000 München 2

Note: [*] This work was partially supported by the Deutsche Forschungsgemeinschaft, Sonderforschungsbereich 342: Methoden und Werkzeuge zur Nutzung paralleler Rechnerarchitekturen, TU München, and the ESPRlT Basic Research Action No. 3148 DEMON (Design Methods Based on Nets).

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.

DOI: 10.3233/FI-1992-17303

Journal: Fundamenta Informaticae, vol. 17, no. 3, pp. 187-209, 1992