On the semantics of EPCs: Faster calculation for EPCs with small state spaces

EPK 2005 - Geschaftsprozessmanagement mit Ereignisgesteuerten Prozessketten, 4th Workshop der Gesellschaft fur Informatik e.V. (GI) und Treffen Ihres Arbeitkreises - Proceedings

Volumn , Issue , 2005, Pages 7-23

  Cuntz, Nicolas ^a   Freiheit, Jörn ^b   Kindler, Ekkart ^c  

^a UNIVERSITY OF SIEGEN   (Germany)

^b Max Planck Institute Saarbrücken   (Germany)

^c UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION TIME; EVENT DRIVEN PROCESS CHAIN; MARKING ALGORITHM; NONLOCAL; PRACTICAL USE; STATE SPACE; STATES AND TRANSITIONS; SYMBOLIC ALGORITHMS; SYMBOLIC MODEL CHECKING; TRANSITION SYSTEM;

ALGORITHMS; ENTERPRISE RESOURCE MANAGEMENT; MODEL CHECKING;

SEMANTICS;

EID: 67649955791     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Nicolas Cuntz and Ekkart Kindler. The EPC Tools Project: Home Page. http://www.upb.de/cs/kindler/research/EPCTools, 2004.
2. Nicolas Cuntz and Ekkart Kindler. On the semantics of EPCs: Efficient calculation and simulation. In M. Nüttgens and F. J. Rump, editors, EPK 2004, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, pages 7-26, October 2004.
3. Nicolas Cuntz and Ekkart Kindler. On the semantics of EPCs: Efficient calculation and simulation (Extended Abstract). In W.M.P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Business Process Management, Second International Conference, 3rd International Conference, BPM 2005, LNCS 3649, pages 398-403. Springer, September 2005.
4. Ekkart Kindler. On the semantics of EPCs: Resolving the vicious circle. In J. Desel, B. Pernici, and M. Weske, editors, Business Process Management, Second International Conference, BPM 2004, LNCS 3080, pages 82-97. Springer, June 2004.
5. G. Keller, M. Nüttgens, and A.-W. Scheer. Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Technical Report Veröf fentlichungen des Instituts fü rWirtschaftsinformatik (IWi), Heft 89, Universität des Saarlandes, January 1992.
6. P. Langner, C. Schneider, and J. Wehler. Petri Net Based Certification of Event driven Process Chains. In J. Desel and M. Silva, editors, Application and Theory of Petri Nets 1998, LNCS 1420, pages 286-305. Springer, 1998.
7. Markus Nüttgens and Frank J. Rump. Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK). In PROMISE 2002, Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, GI Lecture Notes in Informatics P-21, pages 64-77. Gesellschaft für Informatik, 2002.
8. Peter Rittgen. Quo vadis EPK in ARIS? Wirtschaftsinformatik, 42:27-35, 2000.
9. Wil van der Aalst, Jörg Desel, and Ekkart Kindler. On the semantics of EPCs: A vicious circle. In M. Nüttgens and F. J. Rump, editors, EPK 2002, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, pages 71-79, November 2002.
10. Moe Thandar Wynn, David Edmond, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets. In G. Ciardo and P. Darondeau, editors, Applications and Theory of Petri Nets 2005, 26th International Conference, LNCS 3536, pages 423-443. Springer, June 2005.