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.