Abstract
Carl Adam Petri pioneered the computer science discipline and is one of the founding fathers of the field of concurrency. He single-handedly started a new subfield of computer science focusing on concurrency. The ideas have been embedded in many other process-modeling notations and are hidden inside many information systems and analysis tools. Petri’s guiding principles state (1) Concurrency should be a starting point for system design and analysis and not added as an afterthought and (2) A formalism should be consistent with the laws of physics and not take any shortcuts at the foundational level. These principles are also relevant for process mining and the broader field of Business Process Management (BPM). Many process-mining techniques use Petri nets or related formalisms. Therefore, it is interesting to relate Petri’s guiding principles to current challenges in a data-driven highly-concurrent world.
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
References
E. Badouel, L. Bernardinello, P. Darondeau, Petri Net Synthesis. Texts in Theoretical Computer Science. An EATCS Series (Springer, Berlin, 2015)
W. Brauer, W. Reisig, Carl Adam Petri and Petri nets. Informatik-Spektrum 29(5), 369–374 (1996)
A. Ehrenfeucht, G. Rozenberg, Partial (Set) 2-structures - Part 1 and Part 2. Acta Inform. 27(4), 315–368 (1989)
OMG. Business Process Model and Notation (BPMN). Object Management Group, formal/2011-01-03 (2011)
C.A. Petri, Kommunikation mit Automaten. Ph.D. thesis, Fakultät für Mathematik und Physik, Technische Hochschule Darmstadt, Darmstadt, 1962
C.A. Petri, Introduction to general net theory, in Net Theory and Applications: Proceedings of the Advanced Course on General Net Theory, Processes and Systems (Hamburg, 1979), vol. 84, ed. by W. Brauer. Lecture Notes in Computer Science (Springer, Berlin, 1980), pp. 1–20
C.A. Petri, W. Reisig, Petri net. Scholarpedia 3(4), 6477 (2008). http://www.scholarpedia.org/article/Petri_net
E. Smith, Carl Adam Petri: Life and Science (Springer, Berlin, 2015)
W.M.P. van der Aalst, Specificatie en Simulatie met behulp van ExSpect (in Dutch). Master’s thesis, Eindhoven University of Technology, Eindhoven, 1988
W.M.P. van der Aalst, Timed coloured Petri nets and their application to logistics. Ph.D. thesis, Eindhoven University of Technology, Eindhoven, 1992
W.M.P. van der Aalst, Business process management: a comprehensive survey. ISRN Softw. Eng. 1–37 (2013). https://doi.org/10.1155/2013/507984
W.M.P. van der Aalst, Process Mining: Data Science in Action (Springer, Berlin, 2016)
W.M.P. van der Aalst, K.M. van Hee, Workflow Management: Models, Methods, and Systems (MIT Press, Cambridge, 2002)
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
van der Aalst, W.M.P. (2019). Discovering Petri Nets: A Personal Journey. In: Reisig, W., Rozenberg, G. (eds) Carl Adam Petri: Ideas, Personality, Impact. Springer, Cham. https://doi.org/10.1007/978-3-319-96154-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-96154-5_1
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)