Business Process Modeling Using Petri Nets

  • Kees M. van Hee
  • Natalia Sidorova
  • Jan Martijn van der Werf
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7480)


Business process modeling has become a standard activity in many organizations. We start with going back into the history and explain why this activity appeared and became of such importance for organizations to achieve their business targets. We discuss the context in which business process modeling takes place and give a comprehensive overview of the techniques used in modeling. We consider bottom up and top down approaches to modeling, also in the context of developing correct-by-construction models of business processes. The correctness property we focus on is soundness, or weak termination, basically meaning that at every moment of its execution, a process has an option to continue along an execution path leading to termination, which is an important sanity check for business processes. Finally, we discuss analogies between business processes and software services and their orchestrations and argue the applicability of the described modeling techniques to the world of services.


Business Process Business Unit Generalize Sound Label Transition System Business Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    van der Aalst, W.M.P.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  3. 3.
    van der Aalst, W.M.P., Beisiegel, M., van Hee, K.M., König, D., Stahl, C.: An SOA-Based Architecture Framework. International Journal of Business Process Integration and Management 2(2), 91–101 (2007)CrossRefGoogle Scholar
  4. 4.
    van der Aalst, W.M.P., van Dongen, B.F., Günther, C.W., Mans, R.S., de Medeiros, A.K.A., Rozinat, A., Rubin, V., Song, M., Verbeek, H.M.W(E.), Weijters, A.J.M.M.T.: ProM 4.0: Comprehensive Support for Real Process Analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 484–494. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  5. 5.
    van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods and Systems. Academic Service, Schoonhoven (1997)Google Scholar
  6. 6.
    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. In: Formal Aspects of Computing, pp. 1–31 (2010)Google Scholar
  7. 7.
    van der Aalst, W.M.P., van Hee, K.M., van der Werf, J.M.E.M., Verdonk, M.: Auditing 2.0: Using Process Mining to Support Tomorrow’s Auditor. IEEE Computer 43(3), 102–105 (2010)CrossRefGoogle Scholar
  8. 8.
    van der Aalst, W.M.P., van Hee, K.M., Massuthe, P., Sidorova, N., van der Werf, J.M.E.M.: Compositional Service Trees. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 283–302. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  9. 9.
    van der Aalst, W.M.P., van Hee, K.M., van der Werf, J.M.E.M., Kumar, A., Verdonk, M.C.: Conceptual model for online auditing. Decision Support Systems 50(3), 636–647 (2011)CrossRefGoogle Scholar
  10. 10.
    van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Advanced workflow patterns. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol. 1901, pp. 18–29. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  11. 11.
    van der Aalst, W.M.P., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: From Public Views to Private Views – Correctness-by-Design for Services. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 139–153. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  12. 12.
    van der Aalst, W.M.P., Mooij, A.J., Stahl, C., Wolf, K.: Service Interaction: Patterns, Formalization, and Analysis. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol. 5569, pp. 42–88. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  13. 13.
    van der Aalst, W.M.P., Weske, M., Grünbauer, D.: Case handling: a new paradigm for business process support. Data & Knowlegde Engineering 53(2), 129–162 (2005)CrossRefGoogle Scholar
  14. 14.
    Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services – Concepts, Architectures and Applications. Springer, Heidelberg (2004)zbMATHGoogle Scholar
  15. 15.
    Alves, A., Arkin, A., Askary, S., et al.: Web Services Business Process Execution Language Version 2.0 (OASIS Standard). WS-BPEL TC OASIS (2007),
  16. 16.
    Araki, T., Kasami, T.: Some decision problems related to the reachability problem for petri nets. Theor. Computer Science 3, 85–104 (1977)MathSciNetzbMATHCrossRefGoogle Scholar
  17. 17.
    Basten, T., van der Aalst, W.M.P.: Inheritance of Behavior. Journal of Logic and Algebraic Programming 47(2), 47–145 (2001)MathSciNetzbMATHCrossRefGoogle Scholar
  18. 18.
    Beisiegel, M., Khand, K., Karmarkar, A., Patil, S., Rowley, M.: Service Component Architecture Assembly Model Specification Version 1.1 (2010)Google Scholar
  19. 19.
    Berthelot, G.: Transformations and Decompositions of Nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 254, pp. 360–376. Springer, Heidelberg (1987)Google Scholar
  20. 20.
    Chan, D.Y., Vasarhelyi, M.A.: Innovation and practice of continuous auditing. International Journal of Accounting Information Systems 12(2), 152–160 (2011)CrossRefGoogle Scholar
  21. 21.
    Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1 (2001),
  22. 22.
    Clarke, E., Emerson, E.: Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol. 131, pp. 52–71. Springer, Heidelberg (1982)CrossRefGoogle Scholar
  23. 23.
    Decker, G., Overdick, H., Weske, M.: Oryx – An Open Modeling Platform for the BPM Community. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 382–385. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  24. 24.
    Decker, G., Weske, M.: Local Enforceability in Interaction Petri Nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 305–319. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  25. 25.
    Dehnert, J., Rittgen, P.: Relaxed soundness of business processes. In: Dittrich, K.R., Geppert, A., Norrie, M. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 157–170. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  26. 26.
    Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, vol. 40. Cambridge University Press (1995)Google Scholar
  27. 27.
    Desel, J., Reisig, W., Rozenberg, G. (eds.): Lectures on Concurrency and Petri Nets. LNCS, vol. 3098. Springer, Heidelberg (2004)zbMATHGoogle Scholar
  28. 28.
    Frutos-Escrig, D., Johnen, C.: Decidability of home space property. Technical Report 503, LRI (1989)Google Scholar
  29. 29.
    van Glabbeek, R.J.: The Linear Time - Branching Time Spectrum II: The Semantics of Sequential Systems with Silent Moves. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 66–81. Springer, Heidelberg (1993)CrossRefGoogle Scholar
  30. 30.
    Goud, R., van Hee, K.M., Post, R.D.J., van der Werf, J.M.E.M.: Petriweb: a Repository for Petri Nets. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 411–420. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  31. 31.
    Object Management Group. Unified Modeling Language: Superstructure, version 2.0 (August 2005)Google Scholar
  32. 32.
    Hammer, M.: Re-engineering Work: Don’t automate, Obliterate. Harvard Business Review, 104–112 (July/August 1990)Google Scholar
  33. 33.
    Hammer, M., Champy, J.: Re-engineering the Corporation. Nicolas Brealy Publishing, London (1993)Google Scholar
  34. 34.
    Heckel, R.: Open Petri Nets as Semantic Model for Workflow Integration. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 281–294. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  35. 35.
    van Hee, K.M.: Information System Engineering - A formal approach. Cambridge University Press (1994)Google Scholar
  36. 36.
    van Hee, K., Hidders, J., Houben, G.-J., Paredaens, J., Thiran, P.: On-the-Fly Auditing of Business Processes. In: Jensen, K., Donatelli, S., Koutny, M. (eds.) ToPNoC IV. LNCS, vol. 6550, pp. 144–173. Springer, Heidelberg (2010)Google Scholar
  37. 37.
    van Hee, K.M., Keiren, J., Post, R., Sidorova, N., van der Werf, J.M.E.M.: Designing Case Handling Systems. In: Jensen, K., van der Aalst, W.M.P., Billington, J. (eds.) ToPNaC I. LNCS, vol. 5100, pp. 119–133. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  38. 38.
    van Hee, K.M., Mooij, A.J., Sidorova, N., van der Werf, J.M.E.M.: Soundness-Preserving Refinements of Service Compositions. In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 131–145. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  39. 39.
    van Hee, K.M., Post, R.D.J., Somers, L.J.: Yet Another Smart Process Editor. In: European Simulation and Modelling Conference 2005, pp. 527–530 (2005)Google Scholar
  40. 40.
    van Hee, K.M., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Soundness of Resource-Constrained Workflow Nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 250–267. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  41. 41.
    van Hee, K.M., Sidorova, N., Voorhoeve, M.: Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 337–356. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  42. 42.
    van Hee, K.M., Sidorova, N., Voorhoeve, M.: Generalised Soundness of Workflow Nets Is Decidable. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 197–215. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  43. 43.
    van Hee, K.M., Sidorova, N., Voorhoeve, M., van der Werf, J.M.E.M.: Generation of Database Transactions with Petri nets. Fundamenta Informatica 93(1-3), 171–184 (2009)zbMATHGoogle Scholar
  44. 44.
    van Hee, K.M., Sidorova, N., van der Werf, J.M.E.M.: Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! In: Baudry, B., Wohlstadter, E. (eds.) SC 2010. LNCS, vol. 6144, pp. 106–121. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  45. 45.
    van Hee, K.M., Sidorova, N., van der Werf, J.M.E.M.: Refinement of Synchronizable Places with Multi-workflow Nets - Weak termination preserved! In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 149–168. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  46. 46.
    van Hee, K.M., Voorhoeve, M.: Soundness of free choice workflow nets. In: Formal Approaches to Business Processes and Web Services - International Workshop (2007)Google Scholar
  47. 47.
    Hillah, L., Kindler, E., Kordon, F., Petrucci, L., Treves, N.: A primer on the Petri Net Markup Language and ISO/IEC 15909-2. Petri Net Newsletter 76, 9–28 (2009)Google Scholar
  48. 48.
    Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)zbMATHGoogle Scholar
  49. 49.
    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)CrossRefGoogle Scholar
  50. 50.
    Holzmann, G.J.: SPIN Model Checker, The: Primer and Reference Manual. Addison-Wesley Professional (2004)Google Scholar
  51. 51.
    Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Berlin (2009)CrossRefGoogle Scholar
  52. 52.
    Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., Barreto, C.: Web Services Choreography Description Language Version 1.0 (November 2005),
  53. 53.
    Keller, G., Nüttgens, N., Scheer, A.W.: Semantische Process- modellierung auf der Grundlage Ereignisgesteuerter Processketten (EPK). Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 89, University of Saarland, Saarbrücken (1992) (in German)Google Scholar
  54. 54.
    Kindler, E., Petrucci, L.: Towards a Standard for Modular Petri Nets: A Formalisation. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 43–62. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  55. 55.
    Kindler, E.: A Compositional Partial Order Semantics for Petri Net Components. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 235–252. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  56. 56.
    König, D., Lohmann, N., Moser, S., Stahl, C., Wolf, K.: Extending the Compatibility Notion for Abstract WS-BPEL Processes. In: 17th International Conference on World Wide Web (WWW 2008), pp. 785–794. ACM (April 2008)Google Scholar
  57. 57.
    La Rosa, M., Reijers, H.A., van der Aalst, W.M.P., Dijman, R.M., Mendling, J., Dumas, M., García-Bañuelos, L.: APROMORE: An advanced process model repository. Expert Systems with Applications 38(6), 7029–7040 (2011)CrossRefGoogle Scholar
  58. 58.
    Lohmann, N., Massuthe, P., Wolf, K.: Operating Guidelines for Finite-State Services. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 321–341. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  59. 59.
    Massuthe, P.: Operating Guidelines for Services. PhD thesis, Technische Universiteit Eindhoven (2009)Google Scholar
  60. 60.
    Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3), 35–43 (2005)Google Scholar
  61. 61.
    Massuthe, P., Serebrenik, A., Sidorova, N., Wolf, K.: Can I find a partner? Undecidability of partner existence for open nets. Information Processing Letters 108(6), 374–378 (2008)MathSciNetCrossRefGoogle Scholar
  62. 62.
    Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Berlin (1980)CrossRefGoogle Scholar
  63. 63.
    Miltra, N., Lafon, Y.: Soap version 1.2 part 0: Primer, 2nd edn. (2007),
  64. 64.
    Mooij, A.J., Parnjai, J., Stahl, C., Voorhoeve, M.: Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers. In: Bravetti, M., Bultan, T. (eds.) WS-FM 2010. LNCS, vol. 6551, pp. 116–130. Springer, Heidelberg (2011)Google Scholar
  65. 65.
    Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541–580 (1989)CrossRefGoogle Scholar
  66. 66.
    Object Management Group. Business Process Modeling Notation, V1.1 (2008),
  67. 67.
    Object Management Group. Semantics of Business Vocabulary and Business Rules (SBVR), v1.0 (2008),
  68. 68.
    Papazoglou, M.P.: Web Services: Principles and Technology. Pearson-Prentice Hall (2007)Google Scholar
  69. 69.
    Paton, N.W., Díaz, O.: Active database systems. ACM Comput. Surv. 31, 63–103 (1999)CrossRefGoogle Scholar
  70. 70.
    Peterson, J.L.: Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs (1981)Google Scholar
  71. 71.
    Pnueli, A.: The Temporal Logic of Programs. In: 18th Annual Symposium on Foundations of Computer Science, pp. 46–57. IEEE (1977)Google Scholar
  72. 72.
    Ratzer, A.V., Wells, L., Lassen, H.M., Laursen, M., Qvortrup, J.F., Stissing, M.S., Westergaard, M., Christensen, S., Jensen, K.: CPN tools for editing, simulating, and analysing coloured petri nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 450–462. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  73. 73.
    Reisig, W.: Petri Nets: An Introduction. Monographs in Theoretical Computer Science: An EATCS Series, vol. 4. Springer, Berlin (1985)zbMATHGoogle Scholar
  74. 74.
    Reisig, W.: Petri nets with individual tokens. Theoretical Computer Science 41, 185–213 (1985)MathSciNetzbMATHCrossRefGoogle Scholar
  75. 75.
    Scheer, A.W.: ARIS Business Process Modelling. Springer (1999)Google Scholar
  76. 76.
    Schmidt, K.: Distributed Verification with LoLA. Fundamenta Informatica 54(2-3), 253–262 (2003)zbMATHGoogle Scholar
  77. 77.
    Sidorova, N., Stahl, C., Trčka, N.: Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 530–544. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  78. 78.
    Software-Ley. COSA User Manual. Software-Ley GmbH, Pullheim, Germany (1998)Google Scholar
  79. 79.
    Stahl, C.: Service Substitution. PhD thesis, Technische Universiteit Eindhoven (2009)Google Scholar
  80. 80.
    Stahl, C., Massuthe, P., Bretschneider, J.: Deciding Substitutability of Services with Operating Guidelines. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol. 5460, pp. 172–191. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  81. 81.
    Stahl, C., Wolf, K.: Deciding service composition and substitutability using extended operating guidelines. Data & Knowledge Engineering 68(9), 819–833 (2009)CrossRefGoogle Scholar
  82. 82.
    Stevens, W.P., Meyers, G.J., Constantine, L.L.: Structured Design. IBM Systems Journal 13(2), 115–139 (1974)CrossRefGoogle Scholar
  83. 83.
    Suzuki, I., Kasami, T.: Three measures for synchronic dependence in petri nets. Acta Informatica 19, 325–338 (1983)MathSciNetzbMATHCrossRefGoogle Scholar
  84. 84.
    Szyperski, C.: Component Software – beyond Object-Oriented Programming. Addison-Wesley and ACM Press (1998)Google Scholar
  85. 85.
    van der Toorn, R.A.: Component-Based Software Design with Petri Nets - An Approach Based on Inheritance of Behavior. PhD thesis, Technische Universiteit Eindhoven (2004)Google Scholar
  86. 86.
    Valk, R., Girault, C.: Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer, Berlin (2003)zbMATHGoogle Scholar
  87. 87.
    Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes using Woflan. The Computer Journal 44(4), 246–279 (2001)zbMATHCrossRefGoogle Scholar
  88. 88.
    van der Werf, J.M.E.M.: Compositional Design and Verification of Component-Based Information Systems. PhD thesis, Technische Universiteit Eindhoven (2011)Google Scholar
  89. 89.
    Wolf, K.: Generating Petri Net State Spaces. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 29–42. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  90. 90.
    Wolf, K.: Does my service have partners? In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol. 5460, pp. 152–171. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  91. 91.
    Workflow Management Coalition. Workflow management Coalition Terminology and Glossary. Technical Report Document Number WMFC-TC-1011 – issue 3.0, Workflow Management Coalition (October 2002)Google Scholar
  92. 92.
    Workflow Management Coalition. Workflow Process Definition Interface – XML Process Definition Language, Document Number WMFC-TC-1025 – 1.0 final draft (October 2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Kees M. van Hee
    • 1
  • Natalia Sidorova
    • 1
  • Jan Martijn van der Werf
    • 1
  1. 1.Department of Mathematics and Computer ScienceTechnische Universiteit EindhovenEindhovenThe Netherlands

Personalised recommendations