Getting rid of OR-joins and multiple start events in business process models

Enterprise Information Systems

Volumn 2, Issue 4, 2008, Pages 403-419

  Mendling, J ^a   van Dongen, B F ^b   van der Aalst, W M P ^b  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Business process modelling; Event driven process chains; Petri nets; Soundness; Structural properties

Indexed keywords

GALLIUM ALLOYS; GRAPH THEORY; INFORMATION THEORY; LINGUISTICS; MARINE BIOLOGY; PETRI NETS; PROCESS MONITORING;

BUSINESS PROCESS MODELLING; BUSINESS PROCESS MODELS; CONCEPTUAL LEVELS; CONCEPTUAL MODELS; CONCEPTUAL PROCESSES; EVENT-DRIVEN PROCESS CHAINS; EXECUTABLE MODELS; EXECUTION LANGUAGES; NEW APPROACHES; PETRI NET; PROCESS MODELS; SOUNDNESS; WORKFLOW SPECIFICATIONS;

OPERATING ROOMS;

EID: 55549111895     PISSN: 17517575     EISSN: 17517583     Source Type: Journal    
DOI: 10.1080/17517570802245433     Document Type: Conference Paper

References (37)

1. Alves, A. et al. (2007) Web services business process execution language version 2.0. Committee specification, 31 January 2007.OASIS
2. Badouel, E. and Darondeau, P. (1998) Theory of regions. Lectures on Petri Nets - I: Basic models, Lecture Notes in Computer Science, 1491, pp. 529-586. Springer-Verlag, Berlin
3. Badouel, E., Bernardinello, L. and Darondeau, P. (1997) The synthesis problem for elementary net systems is NP-complete. Theoretical Computer Science, 186:1, pp. 107-134.
4. Barborka, P. et al. (2006) Integration of EPC-related tools with ProM. Proceedings of the 5th GI workshop on business process management with event-driven process chains (EPK 2006) Vienna German Informatics Society, pp. 105-120. Aachen
5. Busi, N. and Gorrieri, R. (2004) A survey on non-interference with Petri nets. Lectures on Concurrency and Petri Nets, Lecture Notes in Computer Science, 3098, pp. 328-344. Springer-Verlag, Berlin
6. Chen, R. and Scheer, A. W. (1994) Modellierung von Prozessketten mittels Petri-Netz-Theorie, Heft 107. Institut fur Wirtschaftsinformatik, Saarbrücken, Germany
7. Cortadella, J. et al. (1997) Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Transactions on Information and Systems, pp. 315-325.
8. Cortadella, J. et al. (1997) A region-based theory for state assignment in speed-independent circuits. IEEE Transactions on CAD of Integrated Circuits and Systems, 16:8, pp. 793-812.
9. Cortadella, J. et al. (1998) Deriving Petri nets from finite transition systems. IEEE Transactions on Computers, 47:8, pp. 859-882.
10. Dehnert, J. and van der Aalst, W. M. P. (2004) Bridging the gap between business models and workflow specifications. International Journal of Cooperative Information Systems, 13:3, pp. 289-332.
11. Desel, J. and Reisig, W. (1996) The synthesis problem of Petri nets. Acta Informatica, 33:4, pp. 297-315.
12. Dumas, M., van der Aalst, W. M. P. and ter Hofstede, A.H.M. (2005) Process-aware information systems: Bridging people and software through process technology, Wiley, Hoboken, NJ
13. Ehrenfeucht, A. and Rozenberg, G. (1989) Partial (set) 2-structures - Parts 1 and 2. Acta Informatica, 27:4, pp. 315-368.
14. Keller, G. and Teufel, T. (1998) SAP(R) R/3 process oriented implementation: Iterative process prototyping, Addison-Wesley, Bonn, Germany
15. Keller, G., Nuttgens, M. and Scheer, A. -W. (1992) Semantische Prozessmodellierung auf der Grundlage 'Ereignisgesteuerter Prozessketten (EPK)', Heft 89. Institut fur Wirtschaftsinformatik, Saarbrücken, Germany
16. Kiepuszewski, B., ter Hofstede, A.H.M. and Bussler, C. (2000) On structured workflow modelling. Proceedings of advanced information systems engineering, 12th international conference (CAiSE 2000) Stockholm, Sweden Springer-Verlag, 1789, pp. 431-445. Berlin
17. Kindler, E. (2006) On the semantics of EPCs: Resolving the vicious circle. Data & Knowledge Engineering, 56:1, pp. 23-40.
18. Langner, P., Schneider, C. and Wehler, J. (1998) Petri net based certification of event driven process chains. Application and theory of Petri nets, Lecture Notes in Computer Science, 1420, pp. 286-305. Springer-Verlag, Berlin
19. Lassen, K. B. and van der Aalst, W. M. P. (2006) WorkflowNet2BPEL4WS: A tool for translating unstructured workflow processes to readable BPEL. On the move to meaningful internet systems 2006, OTM confederated international conferences, 14th international conference on cooperative information systems (CoopIS 2006), Lecture Notes in Computer Science Springer-Verlag, 4275, pp. 127-144. Berlin
20. Leymann, F. and Altenhuber, W. (1994) Managing business processes as an information resource. IBM Systems Journal, 33:2, pp. 326-348.
21. Mendling, J. (2007) Detection and prediction of errors in EPC business process models
22. Mendling, J. and van der Aalst, W. M. P. (2007) Formalization and verification of EPCs with OR-joins based on state and context. Proceedings of the 19th conference on advanced information systems engineering (CAiSE 2007) Trondheim, Norway Springer-Verlag, 4495, pp. 439-453. Berlin
23. Mendling, J., Lassen, K. B. and Zdun, U. (2006) Transformation strategies between block-oriented and graph-oriented process modelling languages. Multikonferenz Wirtschaftsinformatik 2006 Passau, Germany GITO-Verlag, pp. 297-312. Berlin
24. Mendling, J. et al. (2006) A quantitative analysis of faulty EPCs in the SAP reference model.
25. Mendling, J., van Dongen, B. F. and van der Aalst, W. M. P. (2007) Getting rid of the OR-join in business process models. Proceedings of the 11th IEEE international enterprise distributed object computing conference (EDOC'07) Annapolis, MD MD. New York: IEEE, pp. 3-14.
26. Mendling, J. et al. (2008) Detection and prediction of errors in EPCs of the SAP reference model. Data & Knowledge Engineering, 64:1, pp. 312-329.
27. Nüttgens, M. and Rump, F. J. (2002) Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK). Proceedings of promise 2002 Potsdam, Germany German Informatics Society, 21, pp. 64-77. Bonn, Germany
28. Rump, F. J. (1999) Geschäftsprozessmanagement auf der Basis ereignisgesteuerter Prozessketten - Formalisierung, Analyse und Ausführung von EPKs, Teubner Verlag
29. Scheer, A. -W., Thomas, O. and Adam, O. (2005) Process modeling using event-driven process chains. Process aware information systems: Bridging people and software through process technology, pp. 119-146. Wiley, Hoboken, NJ
30. van Dongen, B. F. et al. (2005) The ProM framework: A new era in process mining tool support. Application and theory of Petri nets 2005, Lecture Notes in Computer Science, 3536, pp. 444-454. Springer-Verlag, Berlin
31. van der Aalst, W. M. P. (1999) Formalization and verification of event-driven process chains. Information and Software Technology, 41:10, pp. 639-650.
32. van der Aalst, W. M. P. (1997) Verification of Workflow Nets. Application and Theory of Petri Nets 1997, Lecture Notes in Computer Science, 1248, pp. 407-426. Springer-Verlag, Berlin
33. van der Aalst, W. M. P. and ter Hofstede, A.H.M. (2005) YAWL: Yet Another Workflow Language. Information Systems, 30:4, pp. 245-275.
34. van der Aalst, W. M. P. et al. (2006) Process mining: A two-step approach using transition systems and regions
35. Verbeek, H. M. W., Basten, T. and van der Aalst, W. M. P. (2001) Diagnosing workflow processes using Woflan. The Computer Journal, 44:4, pp. 246-279.
36. White, S. A. et al. (2004) Business Process Modeling Notation (BPML), Version 1.0.
37. Zhao, W. et al. (2006) Compiling business processes: Untangling unstructured loops in irreducible flow graphs. International Journal of Web and Grid Services, 2:1, pp. 68-91.