Boolean and free-choice semantics of event-driven process chains

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

Volumn , Issue , 2007, Pages 77-96

  Wehler, Joachim ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

Boolean system; EPC; Free choice system; Local semantics; Loop

Indexed keywords

BOOLEAN SYSTEM; EPC; FREE-CHOICE SYSTEM; LOCAL SEMANTICS; LOOP;

ENTERPRISE RESOURCE MANAGEMENT; PETRI NETS;

SEMANTICS;

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

References (18)

1. van der Aalst, Wil: Structural Characterizations of Sound Workflow Nets. Computing Science Reports 96/23, Eindhoven University of Technology, Eindhoven, 1996.
2. van der Aalst, Wil: Formalization and verification of event-driven process chains. Information & Software Technology, 41 (10), 1999, p. 639-650.
3. Best, Eike; Desel, Jörg: Partial Order Behaviour and Structure of Petri Nets. Formal Aspects of Computing (1990), p. 123-138.
4. Chen, R.; Scheer, August-Wilhelm: Modellierung von Prozeßketten mittels Petri-Netz Theorie. Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 107, Saarbrücken 1994.
5. Desel, Jörg, Esparza, Javier: Free Choice Petri Nets. Cambridge University Press, Cambridge 1995.
6. Esparza, Javier; Silva, Manuel: Circuits, Handles, Bridges and Nets. In: Rozenberg, Grzegorz (Ed.) Advances in Petri nets 1990. Lecture Notes in Computer Science, vol. 483, Springer, Berlin 1990, p. 210-242.
7. Gruhn, Volker; Laue, Ralf: Einfache EPK-Semantik durch praxistaugliche Stilregeln. In: Nüttgens, Markus; Rump, Frank (Hrsg.): EPK 2005. Geschäftsprozeßmanagement mit Ereignisgesteuerten Prozeßketten. Proceedings, Hamburg 2005.
8. Genrich, H.J.; Thiagarajan, P.S.: A Theory of Bipolar Synchronization Schemes. Theoretical Computer Science 30 (1984), p. 241-318.
9. Kindler, Ekkhart: On the semantics of EPCs: Resolving the vicious circle. Data & Knowledge Engineering 56, (2006), p. 23-40.
10. Keller, Gerhard; Nüttgens, Markus; Scheer, August-Wilhelm: Semantische Prozeßmodellierung auf der Grundlage "Ereignisgesteuerter Prozeßketten (EPK)". Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 89, Saarbrücken 1992.
11. Langner, Peter; Schneider, Christoph; Wehler, Joachim: Petri Net based Certification of Event-driven Process Chains. In: Desel, Jörg; Silva, Manuel (Eds.): Application and Theory of Petri Nets 1998. Lecture notes in Computer science, vol. 1420. Springer, Berlin et al. 1998.
12. Nüttgens, Markus; Rump, Frank: Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK). In: Desel, Jörg; Wesel, M. (Hrsg.): Promise 2002 - Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen. GI Lecture Notes in Informatics P-21, pp. 64-77, Gesellschaft für Informatik, 2002.
13. Mendling, Jan; van der Aalst, Wil: Towards EPC Semantics based on State and Context. In: Nüttgens, Marcus; Rump, Frank: EPK 2006. Geschäftsprozeßmanagement mit Ereignisgesteuerten Prozessketten. 5. Workshop der Gesellschaft für Informatik, Wien, 2006.
14. Rittgen, Peter: Paving the road to Business Process Automation. In Proc. of the Europ. Conf. on Information Systems (ECIS), p. 313-319, 2000.
15. Rodenhagen, Jörg: Darstellung ereignisgesteuerter Prozeßketten (EPK) mit Hilfe von Petrinetzen. Diplomarbeit, Universität Hamburg, Fachbereich Informatik, Hamburg 1997.
16. Rump, Frank: Geschäftsprozeßmanagement auf der Basis ereignisgesteuerter Prozeßketten. Teuber, Stuttgart et al. 1999.
17. Wehler, Joachim: Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems. arXiv: cs/0609095, 2007.
18. Wynn, Moe; Edmond, David; van der Aalst, Wil; ter Hofstede, Arthur: Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets. In Ciardo, G.; Darondeau, P. (Eds.): Applications and Theory of Petri Nets 2005, vol. 3536 of Lecture Notes in Computer Science, p. 423-443. Springer, Berlin et al. 2005.