Abstract
In the well known model of Petri nets (place/transition-nets), actual system states are represented as distributions of “black” tokens onto the places of the nets. Such tokens can not be identified as individual objects. The introduction of individual objects as tokens increases considerably the descriptive power of nets and allows for small but efficient models of real systems.
This paper presents a calculus of such nets. We introduce its formal basis (a module of multirelations) and derive S- and T-invariants as analysis tools.
Finally we compare our calculus with the predicate/transition-net model of Genrich and Lautenbach and the coloured net model of Jensen.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
H. Genrich, K. Lautenbach: System Modelling with High-Level Petri Nets.- Theoretical Computer Science 13 (1981) 109–136
H. Genrich, E. Stankiewicz-Wiechno: A Dictionary of Some Basic Notations of Nets Theory.- in: Net Theory and Applications W. Brauer(ed) LNCS 84 Springer Verlag 1980
I.N. Herstein: Topics in Algebra.- Xerox College Publishing, Lexington 2nd. ed., 1975
K. Jensen: Coloured Petri-Nets and the Invariant Method.- Theoretical Computer Science 14 (1981) 317–336
K. Jensen : How to Find Invariants for Coloured Petri Nets.- Mathematical Foundations of Computer Science, 1981 Lecture Notes in Computer Science 118, Springer Verlag 1981
M. Schiffers, H. Wedde: Analyzing Program Solutions of Coordinated Problems by CP-Nets.- MFCS 78, J. Winkowski(ed) LNCS 64 Springer Verlag 1978
K. Voss: Nets as a Consistent Formal Tool for the Stepwise Design and Verification of a Distributed System.- Procedings of IFIP TC-8 Working Conference on Evolutionary Information. Systems, Budapest, Sept. 1981. North-Holland Publishing Company
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reisig, W. (1983). Petri Nets With Individual Tokens. In: Pagnoni, A., Rozenberg, G. (eds) Applications and Theory of Petri Nets. Informatik-Fachberichte, vol 66. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69028-0_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-69028-0_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12309-5
Online ISBN: 978-3-642-69028-0
eBook Packages: Springer Book Archive