Colored Petri Nets to Verify Extended Event-Driven Process Chains

  • Kees van Hee
  • Olivia Oanea
  • Natalia Sidorova
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3760)


Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are growing due to the growing scale of their application and the growing degree of automation. In this paper we consider Extended Event-driven Process Chains (eEPCs), a language which is widely used for modeling business processes, documenting industrial reference models and designing workflows. We describe how to translate eEPCs into timed colored Petri nets in order to verify processes given by eEPCs with the CPN Tools.


Extended EPCs semantics verification colored Petri nets 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    van der Aalst, W.: Formalization and verification of event-driven process chains. Information and Software Technology 41(10), 639–650 (1999)CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W.M.P., Desel, J., Kindler, E.: On the semantics of EPCs: A vicious circle. In: EPK 2002, Proceedings des GI-Workshops und Arbeitskreistreffens, Trier, November 2002, pp. 71–79. GI-Arbeitskreis Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (2002)Google Scholar
  3. 3.
    The CPN Tools Homepage,
  4. 4.
    Cheng, A., Christensen, S., Mortensen, K.: Model Checking Coloured Petri Nets Exploiting Strongly Connected Components. In: Spathopoulos, M., Smedinga, R., Kozak, P. (eds.) Proceedings of the International Workshop on Discrete Event Systems, WODES 1996, pp. 169–177 (1996)Google Scholar
  5. 5.
    Cuntz, N., Kindler, E.: On the semantics of EPCs: Efficient calculation and simulation. In: Nüttgens, M., Rump, F.J. (eds.) EPK 2004: Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Gesellschaft für Informatik, Bonn, pp. 7–26 (2004)Google Scholar
  6. 6.
    Davis, R.: Business Process Modeling with ARIS: A Practical Guide. Springer, Heidelberg (2001)Google Scholar
  7. 7.
    Dehnert, J.: A Methodology for Workflow Modeling - From business process modeling towards sound workflow specification. PhD thesis, TU Berlin (2003)Google Scholar
  8. 8.
    Girault, C., Valk, R.: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)Google Scholar
  9. 9.
    IDS Scheer AG. ARIS Methods Manual (2003)Google Scholar
  10. 10.
    Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical. Springer, Heidelberg (1992)zbMATHGoogle Scholar
  11. 11.
    Keller, G., Teufel, T.: SAP R/3 Process Oriented Implementation: Iterative Process Prototyping. Addison-Wesley, Reading (1998)Google Scholar
  12. 12.
    Kindler, E.: On the semantics of ePCs: A framework for resolving the vicious circle. In: Desel, J., Pernici, B., Weske, M. (eds.) BPM 2004. LNCS, vol. 3080, pp. 82–97. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  13. 13.
    Langner, P., Schneider, C., Wehler, J.: Petri Net Based Certification of Event-Driven Process Chains. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 286–305. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  14. 14.
    Matthew, G.S.A., Dwyer, B., Corbett, J.C.: Patterns in Property Specifications for Finite-state Verification. In: Proceedings of the 21st International Conference on Software Engineering (1999)Google Scholar
  15. 15.
    Nüttgens, K.G., Scheer, A.-W.: Semantische Prozeßmodellierung auf der Grundlage Ereignisgesteuerter Prozeßketten (EPK). Technical report, Scheer, A.-W (Hrsg.): Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 89, Saarbrücken (1992)Google Scholar
  16. 16.
    Nüttgens, M., Rump, F.J.: Syntax und Semantik Ereignisgesteuerter Processketten (EPK). In: Desel, J., Weske, M. (eds.) Promise 2002- Processorientierte Methoden und Werkzeuge für die Entwiklung von Informationssystemen, LNI, pp. 64–77 (2002)Google Scholar
  17. 17.
    Scheer, A.-W.: ARIS: business process modeling, 2nd edn. Springer, Berlin (1998)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Kees van Hee
    • 1
  • Olivia Oanea
    • 1
  • Natalia Sidorova
    • 1
  1. 1.Department of Mathematics and Computer ScienceEindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations