Abstract
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the “token game” is too intensional, even in its more abstract interpretations in term of nonsequential processes and monoidal categories; on the other hand, Winskel's basic unfolding construction, which provides a coreflection between nets and finitary prime algebraic domains, works only for safe nets.
In this paper we extend Winskel's result to PT nets. We start with a rather general categoryPTNetsof PT nets, we introduce a categoryDccOccof decorated (nondelerministic) occurrence nets and we define adjunctions betweenPTNetsandDecOccand betweenDecOccandOcc, the category of occurrence nets. The role ofDecOccis to provide natural unfoldings for PT nets, i.e. acyclic safe nets where a notion of family is used for relating multiple instances of the same place.
The unfolding functor fromPTNetstoOccreduces to Winskel's when restricted to safe nets, while the standard coreflection betweenOccandDom, the category of finitary prime algebraic domains, when composed with the unfolding functor above, determines a chain of adjunctions betweenPTNetsandDom.
Research partially supported by ESPRIT Basic Research Action CEDISYS. The first and the third author have been supported by the US Office of Naval Research Contract N00014-88-C-0618.
Preview
Unable to display preview. Download preview PDF.
References
E. Best, and R. Devillers. Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science, n. 55, pp. 87–135, 1987.
P. Degano, R. De Nicola, and U. Montanari. A Distributed Operational Semantics for CCS based on Condition/Event Systems. Acta Informatica, n. 26, pp. 59–91, 1988.
P. Degano, J. Meseguer, and U. Montanari. Axiomatizing Net Computations and Processes. In proceedings of 4 th LICS Symposium, pp. 175–185, IEEE, 1989.
J. Engelfriet. Branching Processes of Petri Nets. Acta Information, n. 28, pp. 575–591, 1991.
U. Goltz, and W. Reisig. The Non-Sequential Behaviour of Petri Nets. Information and Computation, n. 57, pp. 125–147, 1983.
P.W. Hoogers, H.C.M. Kleijn, and P.S. Thiagarajan. A Trace Semantics for Petri Nets. To appear in proceedings of ICALP '92, 1992.
S. MacLane. Categories for the Working Mathematician. GTM, Springer-Verlag, 1971.
J. Meseguer, and U. Montanari. Petri Nets are Monoids. Information and Computation, n. 88, pp. 105–155, 1990.
M. Nielsen, G. Plotkin, and G. Winskel. Petri Nets, Event Structures and Domains, Part 1. Theoretical Computer Science, n. 13, pp. 85–108, 1981.
E.R. Olderog. A Petri Net Semantics for CCSP. In Advances in Petri Nets, LNCS, n. 255, pp. 196–223, Springer-Verlag, 1987.
C.A. Petri. Kommunikation mit Automaten. PhD thesis, Institut für Instrumentelle Mathematik, Bonn, FRG, 1962.
C.A. Petri. Concepts of Net Theory. In proceedings of MFCS '73, pp. 137–146, Mathematics Institute of the Slovak Academy of Science, 1973.
C.A. Petri. Non-Sequential Processes. Interner Bericht ISF-77-5, Gesellschaft für Mathematik and Datenverarbeitung, Bonn, FRG, 1977.
V. Pratt. Modeling Concurrency with Geometry. In proceedings of POPL '91, pp. 311–322, ACM, 1991.
W. Reisig. Petri Nets. Springer-Verlag, 1985.
D. Scott. Outline of a Mathematical Theory of Computation. In proceedings of 4th Annual Princeton Conference on Information Science and Systems, pp. 169–176, 1970.
R. Van Glabbeek, and F. Vaandrager. Petri Net Model for Algebraic Theories of Concurrency. In proceedings of PARLE, LNCS, n. 259, pp. 224–242, Springer-Verlag, 1987.
G. Winskel. Event Structure Semantics for CCS and related languages. In proceedings of the 9th ICALP, LNCS, n. 140, pp. 561–576, Springer-Verlag, 1982.
G. Winskel. A New Definition of Morphism on Petri Nets. In proceedings of STACS '84, LNCS, n. 166, pp. 140–150, Springer-Verlag, 1984.
G. Winskel. Event Structures. In proceedings of Advanced Course on Petri Nets, LNCS n. 255, pp. 325–392, Springer-Verlag, 1987.
G. Winskel. Petri Nets, Algebras, Morphisms and Compositionality. Information and Computation, n. 72, pp. 197–238, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Meseguer, J., Montanari, U., Sassone, V. (1992). On the semantics of Petri Nets. In: Cleaveland, W. (eds) CONCUR '92. CONCUR 1992. Lecture Notes in Computer Science, vol 630. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0084798
Download citation
DOI: https://doi.org/10.1007/BFb0084798
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55822-4
Online ISBN: 978-3-540-47293-3
eBook Packages: Springer Book Archive