Abstract
Since their inception in 1962, Petri nets have been used in a wide variety of application domains. Although Petri nets are graphical and easy to understand, they have formal semantics and allow for analysis techniques ranging from model checking and structural analysis to process mining and performance analysis. Over time Petri nets emerged as a solid foundation for Business Process Management (BPM) research. The BPM discipline develops methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. Mainstream business process modeling notations and workflow management systems are using token-based semantics borrowed from Petri nets. Moreover, state-of-the-art BPM analysis techniques are using Petri nets as an internal representation. Users of BPM methods and tools are often not aware of this. This paper aims to unveil the seminal role of Petri nets in BPM.
Similar content being viewed by others
Notes
Estimate taken from IDC’s annual report, “The Digital Universe Decade: Are You Ready?”, May 2010.
References
van der Aalst, W.M.P., Stahl, C.: Modeling Business Processes: A Petri Net Oriented Approach. MIT Press, Cambridge (2011)
ter Hofstede, A.H.M., van der Aalst, W.M.P., Adams, M., Russell, N.: Modern Business Process Automation: YAWL and its Support Environment. Springer, Berlin (2010)
van der Aalst, W.M.P.: Business Process Management: A Comprehensive Survey. ISRN Software Engineering, pp 1–37 (2013). doi:10.1155/2013/507984
Dumas, M., La Rosa, M., Mendling, J., Reijers, H.: Fundamentals of Business Process Management. Springer, Berlin (2013)
Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Berlin (2007)
Reisig, W.: Understanding Petri Nets. Springer, Berlin (2013)
van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of workflow nets: classification, decidability, and analysis. Form. Asp. Comput. 23(3), 333–363 (2011)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Springer, Berlin (2009)
van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer, Berlin (2011)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Dr. Wolfgang Reisig.
Rights and permissions
About this article
Cite this article
van der Aalst, W.M.P. Business process management as the “Killer App” for Petri nets. Softw Syst Model 14, 685–691 (2015). https://doi.org/10.1007/s10270-014-0424-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10270-014-0424-2