Abstract
In this chapter the author shows that the Event Coordination Notation (ECNO) can model the behaviour of Petri nets, and this works also for other approaches for modelling behaviour, such as process algebras.
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
Notes
- 1.
Note that the arc has exactly one source place, so all means one in this case.
References
C.A. Petri, Kommunikation mit Automaten. Technical Report Schriften des IIM, Nr. 2, Institut für Instrumentelle Mathematik, Bonn, 1962
E. Kindler, An ECNO semantics for Petri nets. Petri Net Newsletter 81, 3–16 (2012). Cover Picture Story
J. Jepsen, E. Kindler, The event coordination notation: behaviour modeling beyond Mickey Mouse, in Behavior Modeling—Foundations and Applications. International Workshops, BMFA 2009–2014, ed. by E. Roubtsova, A. McNeile, E. Kindler, C. Gerth. Revised Selected Papers. Lecture Notes in Computer Science, vol. 6368 (Springer, Berlin, 2015)
W. Reisig, Place/Transition systems, in Petri Nets: Central Models and Their Properties, ed. by W. Brauer, W. Reisig, G. Rozenberg. Lecture Notes in Computer Science, vol. 254 (Springer, Berlin, 1987), pp. 117–141
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Kindler, E. (2019). Coordinating Behaviour. In: Reisig, W., Rozenberg, G. (eds) Carl Adam Petri: Ideas, Personality, Impact. Springer, Cham. https://doi.org/10.1007/978-3-319-96154-5_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-96154-5_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-96153-8
Online ISBN: 978-3-319-96154-5
eBook Packages: Computer ScienceComputer Science (R0)