Petri Nets Based Coordination Mechanisms for Multi-Workflow Environments

The coordination of cooperative workflows is a problem that occurs in parallel to that of the definition of a common communications infrastructure among organizations. In this paper, we present a library of coordination mechanisms modeled with Petri Nets. These mechanisms specify and control the interaction between workflow processes. The separation between activities and dependencies, managed by the coordination mechanisms, allows the reuse of these mechanisms in other environments and also the use of different coordination policies in the same environment.

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

[2]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[3]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[4]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[5]  Anatol W. Holt.  Coordination technology and Petri nets , 1985, Applications and Theory in Petri Nets.

[6]  Hartmann J. Genrich,et al.  Predicate/Transition Nets , 1986, Advances in Petri Nets.

[7]  Kurt Jensen,et al.  Coloured Petri Nets: Modelling and Validation of Concurrent Systems , 2009 .

[8]  Carla Simone,et al.  The communication disciplines of CHAOS , 1987 .

[9]  Kevin Crowston,et al.  What is coordination theory and how can it help design cooperative work systems? , 1990, CSCW '90.

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

[11]  Wil M.P. van der Aalst.  Modelling and analysing workflow using a Petri-net based approach , 1994 .

[12]  P. David Stotts,et al.  Interpreted collaboration protocols and their use in groupware prototyping , 1994, CSCW '94.

[13]  W. Keith Edwards,et al.  Policies and roles in collaborative applications , 1996, CSCW '96.

[14]  Christoph Bussler,et al.  Workflow Management: Modeling Concepts, Architecture and Implementation , 1996 .

[15]  Winfried Lamersdorf,et al.  Using Mobile Agents to Support Interorganizational Workflow Management , 1997, Appl. Artif. Intell..

[16]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[17]  Hamideh Afsarmanesh,et al.  Flexible coordination in virtual enterprises , 1998 .

[18]  W.M.P. van der Aalst,et al.  Interorganizational workflows: An approach based on message sequence charts and petri nets , 1999 .

[19]  Alberto Raposo,et al.  Coordinating Activities in Collaborative Environments: A High Level Petri Nets Based Approach , 2000 .