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.
This work was partially supported by the Deutsche Forschungsgemeinschaft, SFB 342: Methoden und Werkzeuge zur Nutzung paralleler Rechnerarchitekturn, TU München
Preview
Unable to display preview. Download preview PDF.
References
Berthelot, G.: Transformations and Decompositions of Nets; in: W. Brauer, W. Reisig, G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties. Springer 1987, LNCS 254, 359–376
Gold, R., Vogler, W.: Quality Criteria for Partial Order Semantics of Place/Transition-Nets; Techn. Univ. München, Inst. für Informatik Report TUM-I9004, January 1990
Goltz, U., Reisig, W.: The Non-Sequential Behaviour of Petri Nets; Information and Control 57 (1983) 125–147
Grabowski, J.: On Partial Languages; Ann. Soc. Math. Pol., Fundamenta Informaticae IV.2 (1981) 428–498
Hack, M.: Petri Net Languages; MIT, Laboratory Computer Science, TR-159, 1976
Hirshfeld, J., Rabinovich, A., Trakhtenbrot, B.A.: Discerning Causality in Interleaving Behaviour; Tel Aviv Univ., School of Math. Sci., Technical Report 133/89, 1989
Kiehn, A.: On the Interrelation between Synchronized and Non-Synchronized Behaviour of Petri Nets; J. Inf. Process. Cybern. EIK 24 (1988) 3–18
Mazurkiewicz, A.: Trace Theory; in: W. Brauer, W. Reisig, G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties. Springer 1987, LNCS 254, 279–324
Mazurkiewicz, A.: Compositional Semantics of Pure Place/Transition Systems; Fundamenta Informatica XI (1988) 331–356
Pratt, V.: Modelling Concurrency with Partial Orders; Int. J. of Parallel Programming 15, 1986
Starke, P.H.: Processes in Petri Nets; J. Inf. Process. Cybern. EIK 17 (1981) 389–416
Vogler, W.: Failures Semantics Based on Intervall Semiwords Is a Congruence for Refinements; Proc. STACS 90, LNCS 415, 285–297
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gold, R., Vogler, W. (1990). Quality criteria for partial order semantics of place/transition-nets. In: Rovan, B. (eds) Mathematical Foundations of Computer Science 1990. MFCS 1990. Lecture Notes in Computer Science, vol 452. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029623
Download citation
DOI: https://doi.org/10.1007/BFb0029623
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52953-8
Online ISBN: 978-3-540-47185-1
eBook Packages: Springer Book Archive