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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
van der Aalst, W.: Formalization and verification of event-driven process chains. Information and Software Technology 41(10), 639–650 (1999)
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)
The CPN Tools Homepage, http://www.daimi.au.dk/CPNtools
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)
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)
Davis, R.: Business Process Modeling with ARIS: A Practical Guide. Springer, Heidelberg (2001)
Dehnert, J.: A Methodology for Workflow Modeling - From business process modeling towards sound workflow specification. PhD thesis, TU Berlin (2003)
Girault, C., Valk, R.: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)
IDS Scheer AG. ARIS Methods Manual (2003)
Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical. Springer, Heidelberg (1992)
Keller, G., Teufel, T.: SAP R/3 Process Oriented Implementation: Iterative Process Prototyping. Addison-Wesley, Reading (1998)
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)
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)
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)
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)
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)
Scheer, A.-W.: ARIS: business process modeling, 2nd edn. Springer, Berlin (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)