Abstract
One of the widespread methods for modeling business processes is the method of event-driven process chains (EPCs) (Ereignisge- steuerte Prozesskette [EPK]). The paper shows that EPCs can be translated into a simple class of colored Petri nets, which have a single color of type Boole and formulas from propositional logic as guards. The structure of the resulting Boolean net is a tree of bipolar synchronization (bp) graphs. This property simplifies considerably the behavioral analysis of EPCs, because Genrich and Thiagarajan proved, that well-formedness of bp schemes can be tested by a reduction algorithm. If the Boolean net resulting from the translation of an EPC is well-formed, it can be eventually translated into a free-choice net showing the same behavior. Therefore the translation of EPCs into Boolean Petri nets fixes the semantics of EPCs and allows a formal analysis of the EPC-method. In the domain of business process engineering only those EPCs, which have been certified as well-formed, can be recommended for further steps like simulation, activity based cost analysis or workflow.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Aal1997. Van der Aalst, Wil M.P.: Verification of Workflow Nets. In: Azéma, Pierre; Balbo, Gianfranco (Eds.): Application and Theory of Petri Nets 1997. Lecture Notes in Computer Science 1248. Springer, Berlin et al. 1997, p. 62–81
BD1990. Best, Eike; Desel, Jörg: Partial order behavior and structure of Petri nets. Formal aspects of computing 2 (1990), p. 123–138
Brö1996. Bröker, Axel: Transformation ereignisgesteuerter Prozeßketten in Prädikat-Transitions-Netze sowie Vergleich der Modellierungstools ARIS-Toolset und INCOME. Diplomarbeit FH Pforzheim, Hochschule für Gestaltung, Technik und Wirtschaft. Pforzheim 1996
CS1994. 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
DE1995. Desel, Jörg; Esparza, Javier: Free choice Petri nets. Cambridge University Press, Cambridge 1995
GT1984. Genrich, Hartmann; Thiagarajan, Pazhamaneri: A Theory of Bipolar Synchronization Schemes. Theoretical Computer Science 30 (1984), p. 241–318
Jen1992. Jensen, Kurt: Colored Petri Nets. Basis Concepts, Analysis Methods and Practical Use. Springer, Berlin et al. 1992
KNS1991. 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 1991
LSW1997a. Langner, Peter; Schneider, Christoph; Wehler, Joachim: Ereignisgesteuerte Prozeßketten und Petri-Netze. Universität Hamburg, Fachbereich Informatik, Bericht Nr. 196, FBI-HH-B-196/97, 1997
LSW1997b. Langner, Peter; Schneider, Christoph; Wehler, Joachim: Relating Eventdriven Process Chains to Boolean Petri Nets. Ludwig-Maximilians-Universität München, Institut für Informatik, Bericht 9707, 1997
Nüt1995. Nüttgens, Markus: Koordiniert-dezentrales Informationsmanagement: Rahmenkonzept-Koordinationsmodelle-Werkzeug-Shell. Gabler, Wiesbaden 1995
Rod1997. Rodenhagen, Jörg: Darstellung ereignisgesteuerter Prozeßketten (EPK) mit Hilfe von Petrinetzen. Diplomarbeit, Universität Hamburg, Fachbereich Informatik, Hamburg 1997
SAP1996a. SAP: CA R/3 Reference Model. R/3 System Release 3.0. (Product documentation), Walldorf 1996
SAP1996b. SAP: SAP Business Workflow. R/3 System Release 3.0. (Product documentation), Walldorf 1996
Sch1994. Scheer, August-Wilhelm: Business Processes Engineering. Reference Models for Industrial Enterprises. Springer, Berlin et al. 2nd 1994
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Langner, P., Schneider, C., Wehler, J. (1998). Petri Net Based Certification of Event-Driven Process Chains. In: Desel, J., Silva, M. (eds) Application and Theory of Petri Nets 1998. ICATPN 1998. Lecture Notes in Computer Science, vol 1420. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-69108-1_16
Download citation
DOI: https://doi.org/10.1007/3-540-69108-1_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64677-8
Online ISBN: 978-3-540-69108-2
eBook Packages: Springer Book Archive