On the semantics of EPCs: Efficient calculation and simulation

Lecture Notes in Computer Science

Volumn 3649, Issue , 2005, Pages 398-403

  Cuntz, Nicolas ^a   Kindler, Ekkart ^b  

^a UNIVERSITY OF SIEGEN   (Germany)

^b UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; MATHEMATICAL MODELS; THEOREM PROVING;

EVENT DRIVEN PROCESS CHAINS (EPC); FIXED-POINT CHARACTERIZATION; FIXED-POINT THEOREM; MODEL CHECKING;

SEMANTICS;

EID: 27144547791     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11538394_30     Document Type: Conference Paper

References (11)

1. Keller, G., Nüttgens, M., Scheer, A.W.: Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Technical Report Veröffentlichungen des Instituts für Wirtschaftsinformatik (IWi), Heft 89, Universität des Saarlandes (1992)
2. Langner, P., Schneider, C., Wehler, J.: Petri Net Based Certification of Event driven Process Chains. In Desel, J., Silva, M., eds.: Application and Theory of Petri Nets 1998. LNCS 1420. Springer (1998) 286-305
3. Rittgen, P.: Quo vadis EPK in ARIS? Wirtschaftsinformatik 42 (2000) 27-35
4. van der Aalst, W., Desel, J., Kindler, E.: On the semantics of EPCs: A vicious circle. In Nüttgens, M., Rump, F.J., eds.: EPK 2002, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten. (2002) 71-79
5. Kindler, E.: On the semantics of EPCs: Resolving the vicious circle. In Desel, J., Pernici, B., Weske, M., eds.: Business Process Management, Second International Conference, BPM 2004. LNCS 3080. Springer (2004) 82-97
6. 20 states and beyond. Information and Computation 98 (1992) 142-170
7. Cuntz, N.: Über die effiziente Simulation von Ereignisgesteuerten Prozessketten. Master's thesis, University of Paderborn, Department of Computer Science (2004)
8. 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. (2004) 7-26
9. Nüttgens, M., Rump, F.J.: Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK). In: PROMISE 2002, Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen. GI Lecture Notes in Informatics, Vol. P-21. Gesellschaft für Informatik (2002) 64-77
10. Kindler, E.: The Model Checking in Education (MCiE) project: Home page. http://www.upb.de/cs/kindler/Lehre/MCiE (2004)
11. Cuntz, N., Kindler, E.: The EPC Tools project: Home page. http://www.upb.de/cs/kindler/research/EPCTools (2004)