Skip to main content
Springer Nature Link
Log in

Colored Petri Nets to Verify Extended Event-Driven Process Chains

  • Conference paper
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE (OTM 2005)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3760))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. van der Aalst, W.: Formalization and verification of event-driven process chains. Information and Software Technology 41(10), 639–650 (1999)

    Article  Google Scholar 

  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. The CPN Tools Homepage, http://www.daimi.au.dk/CPNtools

  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. 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. Davis, R.: Business Process Modeling with ARIS: A Practical Guide. Springer, Heidelberg (2001)

    Google Scholar 

  7. Dehnert, J.: A Methodology for Workflow Modeling - From business process modeling towards sound workflow specification. PhD thesis, TU Berlin (2003)

    Google Scholar 

  8. Girault, C., Valk, R.: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)

    Google Scholar 

  9. IDS Scheer AG. ARIS Methods Manual (2003)

    Google Scholar 

  10. Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical. Springer, Heidelberg (1992)

    MATH  Google Scholar 

  11. Keller, G., Teufel, T.: SAP R/3 Process Oriented Implementation: Iterative Process Prototyping. Addison-Wesley, Reading (1998)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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. Scheer, A.-W.: ARIS: business process modeling, 2nd edn. Springer, Berlin (1998)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands

    Kees van Hee, Olivia Oanea & Natalia Sidorova

Authors
  1. Kees van Hee
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olivia Oanea
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Natalia Sidorova
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. STARLab, Vrije Universiteit Brussel (VUB), Bldg G/10, Pleinlaan 2, 1050, Brussels, Belgium

    Robert Meersman

  2. School of Computer Science and Information Technology, RMIT University, Bld 10.10, 376-392 Swanston Street, 3001, Melbourne, VIC, Australia

    Zahir Tari

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van Hee, K., Oanea, O., Sidorova, N. (2005). Colored Petri Nets to Verify Extended Event-Driven Process Chains. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. OTM 2005. Lecture Notes in Computer Science, vol 3760. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11575771_14

Download citation

  • DOI: https://doi.org/10.1007/11575771_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29736-9

  • Online ISBN: 978-3-540-32116-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation