Formalization and verification of event-driven process chains

Information and Software Technology

Volumn 41, Issue 10, 1999, Pages 639-650

  Van Der Aalst, W M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SYSTEMS PROGRAMMING; FORMAL LOGIC; MATHEMATICAL MODELS; PETRI NETS; POLYNOMIALS; PROCESS ENGINEERING; REENGINEERING; RESOURCE ALLOCATION;

BUSINESS PROCESS REENGINEERING (BPR); ENTERPRISE RESOURCE PLANNING (ERP) SYSTEMS; EVENT-DRIVEN PROCESS CHAINS (EPC); WORKFLOW MANAGEMENT (WFM) SYSTEMS;

ADMINISTRATIVE DATA PROCESSING;

EID: 0032627183     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(99)00016-6     Document Type: Article

References (28)

1. Scheer A.W. Business Process Engineering, Reference Models for Industrial Enterprises. 1994;Springer, Berlin.
2. Jablonski S., Bussler C. Workflow Management: Modeling Concepts, Architecture, and Implementation. 1996;International Thomson Computer Press.
3. Lawrence P. Workflow Handbook 1997, Workflow Management Coalition. 1997;Wiley, New York.
4. G. Keller, M. Nüttgens, A.W. Scheer, Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Processketten (EPK), Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 89 (in German), University of Saarland, Saarbrücken, 1992.
5. H. Bancroft, H. Seip, A. Sprengel, Implementing SAP R/3: how to introduce a large system into a large organization, 1997.
6. J. Hernandez, The SAP R/3 Handbook, 1997.
7. Scheer A.W. Business Process Engineering, ARIS-Navigator for Reference Models for Industrial Enterprises. 1994;Springer, Berlin.
8. Murata T. Petri nets: properties, analysis and applications. Proceedings of the IEEE. 77:(4):1989;541-580.
9. van der Aalst W.M.P. Verification of workflow nets. Azema P., Balbo G. Application and Theory of Petri Nets 1997. Lectures Notes in Computer Science. 1248:1997;407-426 Springer, Berlin.
10. van der Aalst W.M.P. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers. 8:(1):1998;21-66.
11. van der Aalst W.M.P. Three good reasons for using a Petri-net-based workflow management system. Wakayama T. Information and Process Integration in Enterprises: Rethinking documents. The Kluwer International Series in Engineering and Computer Science. 1998;161-182 Kluwer Academic Publishers, Norwell. Chapter 10.
12. van der Aalst W.M.P., van Hee K.M. Workflow Management: Modellen, Methoden en Systemen (in Dutch). 1997;Academic Service, Schoonhoven.
13. C. Ellis, K. Keddara, G. Rozenberg, Dynamic change within workflow systems, in: N. Comstock, C. Ellis, (Eds.), Conference on Organizational Computing Systems, ACM SIGOIS, ACM, Milpitas, CA, Aug 1995, pp. 10-21.
14. Ellis C.A., Nutt G.J. Modelling and enactment of workflow systems. Marsan M.A. Application and Theory of Petri Nets 1993. Lecture Notes in Computer Science. 691:1993;1-16 Springer, Berlin.
15. G. De Michelis, C. Ellis, G. Memmi (Eds.), Proceedings of the second Workshop on Computer-Supported Cooperative Work, Petri Nets and Related Formalisms, Zaragoza, Spain, June 1994.
16. R. Chen, A.W. Scheer, Modellierung von Processketten mittels Petri-Netz Theorie, Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 107 (in German), University of Saarland, Saarbrücken, 1994.
17. P. Langner, C. Schneider, J. Wehler, Ereignisgesteuerter Processketten und Petri-Netze, University of Hamburg, Hamburg, 1997.
18. Langner P., Schneider C., Wehler J. Petri net based certification of event driven process chains. Desel J., Silva M. Application and Theory of Petri Nets 1998. Lecture Notes in Computer Science. 1420:1998;286-305 Springer, Berlin.
19. M. Nüttgens, Event-driven Process Chain (EPC)/Ereignisgesteuerte Prozesskette (EPK), http://www.iwi.uni-sb.de/nuettgens/EPK/epk.htm.
20. F. Rump, Erreichbarkeitsgraphbasierte Analyse ereignisgesteuerter Prozessketten, Technischer Bericht, Institut OFFIS, 04/97 (in German), University of Oldenburg, Oldenburg, 1997.
21. F. Rump, Arbeitsgruppe Formalisierung und Analyse ereignisgesteuerter Prozessketten (EPK), http://www-is.informatik.uni-oldenburg.de/~epk/.
22. Reisig W. Petri Nets: An Introduction. Monographs in Theoretical Computer Science: An EATCS Series. 4:1985;Springer, Berlin.
23. Desel J., Esparza J. Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science. 40:1995;Cambridge University Press, Cambridge.
24. Valk R. Infinite behaviour and fairness. Brauer W., Reisig W., Rozenberg G. Advances in Petri Nets 1986 Part I: Petri Nets, central models and their properties. Lectures Notes in Computer Science. 254:1987;377-396 Springer, Berlin.
25. E. Kindler, W.M.P. van der Aalst, Liveness, fairness, and recurrence (under review), 1998.
26. W.M.P. van der Aalst, Structural characterizations of sound workflow nets, Computing Science Reports 96/23, Eindhoven University of Technology, Eindhoven, 1996.
27. W.M.P. van der Aalst, D. Hauschildt, H.M.W. Verbeek, A Petri-net-based tool to analyze workflows, in: B. Farwer, D. Moldt, M.O. Stehr (Eds.), Proceedings of Petri Nets in System Engineering (PNSE'97), Hamburg, September 1997. University of Hamburg (FBI-HH-B-205/97), pp. 78-90.
28. M. Nüttgens, V. Zimmerman, Geschäftsprozessmodellierung mit der objektorientierten Ereignisgesteuerten Prozesskette (oEPK), in: M. Maicher, H.J. Scheruhn (Eds.), Informationsmodellierung-Branchen, Software-und Vorgehensreferenzmodelle und Werkzeuge, 1998, pp. 23-36.