Understanding Behavior of Business Process Models

There are two reasons to use simple control as a notion of behavioral correctness. First, it implies there are no control anomalies, like deadlock, useless activities, and multiple response [6]. Second, a simple control model behaves like an activity; this allows consistent or-abstraction in which a process model can be used safely within a larger model. Or-behavior is the most commonly accepted from of model abstraction (as in, e.g., ICN, VPL/Rasp, Action Workflow).

[1]  Alan R. Dennis,et al.  Re-engineering business process modeling , 1994, 1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences.

[2]  Kevin Crowston,et al.  The interdisciplinary study of coordination , 1994, CSUR.

[3]  Kurt Lautenbach.  Linear Algebraic Techniques for Place/Transition Nets , 1986, Advances in Petri Nets.

[4]  ModelsPablo,et al.  A Theory of Parallel Threads in Process Models , 1995 .

[5]  R. Schultz,et al.  The application of Petri-nets in object-oriented enterprise simulations , 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.

[6]  Carlos A. Hurtado,et al.  The Simple Control Property of Business Process Models , 1995 .

[7]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[8]  Rudolf K. Keller,et al.  Towards Comprehensive Support for the Dynamic Analysis of Petri Net Based Models , 1994, Application and Theory of Petri Nets.

[9]  Terry Winograd,et al.  The action workflow approach to workflow management technology , 1992, CSCW '92.

[10]  Giorgio De Michelis,et al.  How to put cooperative work in context: Analysis and design requirements , 1993 .

[11]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[12]  Keith D. Swenson,et al.  Visual support for reengineering work processes , 1993, COCS '93.

[13]  Bill Curtis,et al.  Process modeling , 1992, CACM.

[14]  Layna Fischer.  New Tools for New Times: The Workflow Paradigm , 1994 .

[15]  Jon Atle Gulla,et al.  Modeling Cooperative Work for Workflow Management , 1994, CAiSE.

[16]  Clarence A. Ellis,et al.  Modeling and Enactment of Workflow Systems , 1993, Application and Theory of Petri Nets.

[17]  K. Schmidt,et al.  Issues of supporting organizational context in CSCW systems , 1993 .

[18]  Francesco Zanichelli,et al.  Synthesis of GSPN models for workload mapping on concurrent architectures , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.