Verification of forbidden behavior in EPCs

Modellierung 2006

Volumn , Issue , 2006, Pages 233-242

  Simon, Carlo ^a   Mendling, Jan ^b  

^a UNIVERSITY OF KOBLENZ LANDAU   (Germany)

^b WU Vienna ^*  (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS ANALYSTS; BUSINESS PROCESS; BUSINESS PROCESS MANAGEMENT; EVENT DRIVEN PROCESS CHAIN; MODELING LANGUAGES; PROCESS MODEL; REFERENCE MODELS; VERIFICATION METHOD; VERIFICATION TECHNIQUES;

ENTERPRISE RESOURCE MANAGEMENT;

PETRI NETS;

EID: 80051600544     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (28)

1. W. M. P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 1998.
2. W. M. P. van der Aalst. Pi calculus versus Petri nets: Let us eat "humble pie" rather than further inflate the "Pi hype". BPTrends, 3(5):1-11, 2005.
3. T. Basten. Verifying Petri net Models using Process algebra. In C. Girault and R. Valk, editors, Petri nets for Systems Engineering, chapter 16.5. Springer, Berlin, 2003.
4. J. C. Bradfield. Proving Temporal Properties of Petri Nets. In Advances in Petri Nets, LNCS 524, 1991.
5. J. Becker and R. Schütte, editors. Handelsinformationssysteme. Verlag Moderne Industrie, Landsberg/Lech, 1996.
6. J. Dehnert and W. M. P. van der Aalst. Bridging The Gap Between Business Models And Workflow Specifications. Int. J. Cooperative Inf. Syst., 13(3):289-332, 2004.
7. B. F. van Dongen, W. M. P. van der Aalst and H. M. W.Verbeek. Verification of EPCs: Using Reduction Rules and Petri Nets. In O. Pastor and J. F. Cunha, editors, Proc. Advanced Information Systems Engineering (CAiSE), LNCS 3520, pages 372-386, Porto, Portugal, June 13-17, 2005. Springer.
8. J. Dehnert. A Methodology for Workflow Modeling - From business process modeling towards sound workflow specification. PhD thesis, TU Berlin, 2003.
9. E. Kindler. On the semantics of EPCs: A Framework for Resolving the vicious circle. In J. Desel, B. Pernici and M. Weske, editors, Proc. Business Process Management (BPM 2004), LNCS 3080, pages 82-97, Potsdam, Germany, 2004. Springer.
10. G. Keller and S. Meinhardt. SAP R/3 Analyzer. Walldorf, 1994. cited after [Sch96].
11. G. Keller, M. Nüttgens and A.-W. Scheer. Semantische Prozeßmodellierung auf der Basis Ereignisgesteuerter Prozeßketten (EPK). Technical Report 89, Universiẗat des Saarlandes, Institut f̈ur Wirtschaftsinformatik, Saarbr̈ucken, 1992.
12. G. Keller and T. Teufel. SAP(R) R/3 Process Oriented Implementation: Iterative Process Prototyping. Addison-Wesley, 1998.
13. J. Mendling, M. Moser and G. Neumann. Transformation of yEPC Business Process Models to YAWL. In Proc. ACM Symp. on Applied Computing (SAC). ACM, 2006.
14. J. Mendling, G. Neumann and M. Nüttgens. Yet Another Event-Driven Process Chain. In W. M. P. van der Aalst, B. Benatallah, F. Casati and F. Curbera, editors, Proc. Business Process Management (BPM 2005), LNCS 3649, pages 428-433, Nancy, France, Sep. 5-8, 2005. Springer.
15. J. Mendling, G. Neumann and M. Nüttgens. Yet Another Event-driven Process Chain - Modeling Workflow Patterns with yEPCs. Enterprise Modelling and Information Systems Architectures - an International Journal, 1(1):3-13, October 2005.
16. F. Puhlmann and M. Weske. Using the π-Calculus for Formalizing Workflow Patterns. InW. M. P. van der Aalst, B. Benatallah, F. Casati and F. Curbera, editors, Business Process Management (BPM 2005), LNCS 3649, 153-168, Nancy, France, 2005. Springer.
17. P. J. Ramadge and W. M. Wonham. Modular Feedback Logic for Discrete Event Systems. SIAM Journal of Control and Optimization, 25(5):1202-1218, 1987.
18. P. J. Ramadge and W. M. Wonham. Supervisory Control of a Class of Discrete Event Processes. SIAM Journal of Control and Optimization, 25(1):206-230, 1987.
19. A.-W. Scheer. Modellunterstützung für das kosten-orientierte Geschäfsprozessmanagement. In C. Berkau and P. Hirschmann, editors, Kostenorientiertes Gescḧaftsprozessmanagement, pages 3-25. Vahlen, M̈unchen, 1996.
20. A.-W. Scheer. ARIS - Business Process Frameworks. Springer, Berlin3rd ed. 2000.
21. K. Schmidt. Explicit State Space Verification. Habilitationsschrift, Humboldt- Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakulẗat II, Dec 2002.
22. C. Simon and J. Dehnert. From Business Process Fragments to Workflow Definitions. In F. Feltz, A. Oberweis and B. Otjacques, editors, EMISA 2004 - Informationssysteme im E-Business und E-Government, LNI P-56, pages 95-106, Luxemburg, 2004.
23. C. Simon. Developing Software Controllers with Petri Nets and a Logic of Actions. In IEEE Int. Conference on Robotics and Automation, ICRA 2001, Seoul, Korea, 2001.
24. C. Simon. Incremental Development of Business Process Models. In EMISA 2005, Development Methods for Information Systems and their Application, Klagenfurt, 2005. 222-235.
25. C. Simon. Integration of Planning and Production Processes. In Mathmod 2006, Special Session: Petrinets, Wien, Ö sterreich, 2006.
26. K. Sarshar and P. Loos. Comparing the Control-Flow of EPC and Petri Net from tha End-User Perspective. In W. M. P. Aalst, van der, B. Benatallah, F. Casati and F. Curbera, editors, Proc. Business Process Management (BPM 2005), LNCS 3649, pages 434-439, Nancy, France, Sep. 5-8, 2005. Springer.
27. H. M. W. Verbeek, W. M. P. van der Aalst and A. H. M. ter Hofstede. Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Invariants. Beta Working Paper Series 156, Eindhoven University of Technology, http://fp.tm.tue.nl/beta/publications/working.
28. M. Zhou and K. Venkatesh. Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri net Approach, volume 6 of Intelligent Control and Intelligent Automation. World Scientific, Singapore, New Jersey, 1999.