Abstract
After introducing P/E-nets, we now present a further net model using individuals as tokens. This new model, in particular, supports a calculus of invariants.
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
K. Jensen: Coloured Petri Nets and the Invariant Method. Theoretical Computer Science 14 (1981), pp. 317–336.
K. Jensen: How to Find Invariants for Coloured Petri Nets.
K. Jensen: High Level Petri Nets, in [19].
W. Reisig: Petri Nets with Individual Tokens, in [19].
R Martin, G. Memmi: Specification and validation of Sequential Processes Communicating by FIFO Channels. 4th International Conference of Software Engineering for Telecommunication Switching Systems. (IEEE) Worwick 1981
A Finkel: Blocage et vivacité dans les réseaux a pile-file. STACS 84, Lecture Notes in Computer Science 166 (1984), pp. 151–162.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Reisig, W. (1985). Relation Nets. In: Petri Nets. EATCS Monographs on Theoretical Computer Science, vol 4. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69968-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-69968-9_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-69970-2
Online ISBN: 978-3-642-69968-9
eBook Packages: Springer Book Archive