Abstract
A functional semantic modelling of Petri nets with individual tokens also called high level Petri nets is outlined. A denotational semantics for so-called high level Petri net components, i.e. nets that may contain ingoing and outgoing arcs, is given. An abstraction of the semantics is provided in terms of a predicative semantics. This semantics is modular in the sense that high level Petri net components can be composed by parallel composition and feedback in a way that the semantics of the composed net can be derived from the semantics of the net components.
This work was supported by the ESPRIT BASIC RESEARCH ACTION Demon and by the Sonderforschungsbereich 342 Werkzeuge und Methoden für die Nutzung paralleler Architekturen
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
M. Broy: Functional Specification of Time Sensitive Communicating Systems. In: J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.): Stepwise Refinement of Distributed Systems. Lecture Notes in Computer Science 430, Springer 1990, 153–179
J. Dennis: First Version of a Data Flow Procedure Language. In: B. Robinet (ed.): Colloque sur le Programmation. Lecture Notes in Computer Science 19, Springer 1974, 35–45
A.Finkel, G.Memmi: FIFO Nets: A New Model of Parallel Computation. Lecture Notes in Computer Science 145 (1982).
C.A.R. Hoare, S.D. Brookes, A.W. Roscoe: A Theory of Communicating Sequential Processes. Oxford University Computing Laboratory Programming Research Group, Technical Monograph PRG-21, Oxford 1981
A. Poigne: High Level Net Semantics. Presentation at Demon Annual General Meeting, Paris 1990.
W. Reisig: Petrinetze. Springer 1982 (English version: EATCS Monograph Petri Nets Springer, 1985).
W. Reisig: Petri Nets with Individual Tokens. TCS 41, (1985) 185–213.
W. Reisig: Petri Nets and Algebraic Specifications. Technische Universität München, Institut für Informatik, Sonderforschungsbereich 342, Bericht 1/90 B, March 1990.
D. Scott: Domains for Denotational Semantics. LNCS 140 (1982).
L.G. Tesler, H.J. Enea: A Language Design for Concurrent Processes. Spring Joint Computer Conference 1968, 403–408.
J. Winkowski: A Generalisation of Petri Nets by Equipping them with Inputs and Outputs. ICS PAS Report 686 (1990).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Broy, M., Streicher, T. (1992). Modular functional modelling of petri nets with individual tokens. In: Rozenberg, G. (eds) Advances in Petri Nets 1992. Lecture Notes in Computer Science, vol 609. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55610-9_168
Download citation
DOI: https://doi.org/10.1007/3-540-55610-9_168
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55610-7
Online ISBN: 978-3-540-47258-2
eBook Packages: Springer Book Archive