Exploring the process dimension of workflow management

Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the use of Petri nets in the context of workflow management. Petri nets are an established toolfor modeling and analyzing processes. On the one hand, Petri nets can be used as a design language for the specification of complex workflows. On the other hand, Petri net theory provides for powerful analysis techniques which can be used to verify the correctness of workflow procedures. This paper introduces workflow management as an application domain for Petri nets, presents state-of-the-art results with respect to the verification of workflows, and highlights some Petri-net-based workflow tools.

[1]  Roland Carl Backhouse,et al.  Deriving a systolic regular language recognizer , 1997, Algorithmic Languages and Calculi.

[2]  Kamel Barkaoui,et al.  On Liveness in Extended non Self-Controlling Nets , 1995, Application and Theory of Petri Nets.

[3]  W. Brauer,et al.  Advances in Petri nets 1986, part I on Petri nets: central models and their properties , 1987 .

[4]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

[5]  Michel A. Reniers,et al.  Static semantics of message sequence charts , 1996 .

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

[7]  A. T. M. Aerts,et al.  OODB Support for WWW Applications: Disclosing the internal structure of Hyperdocuments , 1996, WebNet.

[8]  W.M.P. van der Aalst,et al.  Parallel computation of reachable dead states in a free-choice Petri net , 1996 .

[9]  S.M.M. Joosten.  Trigger modelling for workflow analysis , 1994 .

[10]  Wil M.P. van der Aalst,et al.  A class of Petri nets for modeling and analyzing business processes , 1995 .

[11]  R. T. Gerth,et al.  A discretisation method for asynchronous timed systems , 1997 .

[12]  Gerald Estrin,et al.  Proper termination of flow-of-control in programs involving concurrent processes , 1972, SIGP.

[13]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[14]  Javier Esparza.  Synthesis Rules for Petri Nets, and How they Lead to New Results , 1990, CONCUR.

[15]  C. Petri.  Kommunikation mit Automaten , 1962 .

[16]  W.M.P. van der Aalst.  Putting high-level Petri nets to work in industry , 1994 .

[17]  Jjm Jozef Hooman,et al.  A programming-language extension for distributed real-time systems , 1997 .

[18]  Peter P. Chen.  The Entity-Relationship Model: Towards a unified view of Data , 1976 .

[19]  W.M.P. van der Aalst,et al.  Structural characterizations of sound workflow nets , 1996 .

[20]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[21]  Grzegorz Rozenberg,et al.  Dynamic change within workflow systems , 1995, COCS '95.

[22]  Eike Best.  Structure Theory of Petri Nets: the Free Choice Hiatus , 1986 .

[23]  Wil M.P. van der Aalst,et al.  WOFLAN : a Petri-net-based workflow analyzer , 1999 .

[24]  van der Wmp Wil Aalst,et al.  Conservative adaption of workflow , 1996, PAKM.

[25]  P.D.V. van der Stok,et al.  Real-time distributed concurrency control algorithms with mixed time constraints , 1996 .

[26]  Gjpm Geert-Jan Houben,et al.  Designing effective workflow management processes , 1996 .

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

[28]  Manuel Silva Suárez,et al.  Circuits, handles, bridges and nets , 1991, Applications and Theory of Petri Nets.

[29]  Jcm Jos Baeten,et al.  Discrete-time process algebra with empty process , 1997 .

[30]  Jörg Desel,et al.  A Proof of the Rank Theorem for Extended Free Choice Nets , 1992, Application and Theory of Petri Nets.

[31]  Michel Hack,et al.  ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .

[32]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

[33]  Vaj Tijn Borghuis.  Priorean tense logics in modal pure type systems , 1996 .

[34]  Wil M.P. van der Aalst,et al.  Three good reasons for using a Petri-net-based workflow management system , 1996 .

[35]  Wolfgang Reisig,et al.  Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.

[36]  Kees M. van Hee,et al.  Information systems engineering - a formal approach , 1994 .

[37]  Fairouz Kamareddine,et al.  A correspondence between Nuprl and the Ramified Theory of Types , 1996 .

[38]  Lmg Loe Feijs.  Algebraic specification and simulation of lazy functional programs in a concurrent environment , 1996 .

[39]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[40]  Atm Ad Aerts,et al.  Multi-user publishing in the Web: DReSS, a Document Repository Service Station , 1996 .

[41]  Mgj Franssen,et al.  Tools for the construction of correct programs : an overview , 1997 .

[42]  Wil M. P. van der Aalst,et al.  Life-Cycle Inheritance: A Petri-Net-Based Approach , 1997, ICATPN.

[43]  Kees M. van Hee,et al.  Workflow Management: Modellen, Methoden en Systemen (in Dutch) , 1997 .