Using the RTPN Model for the Modeling of Complex Workflow Systems

Dealing with synchronization in time constrained workflow is becoming a challenging issue. In this paper, we present a modelling approach based on Petri nets formalism for timed workflow systems with complex synchronization among tasks of different privileges (Master/Slave). To this aim, we consider the concept of rendezvous already introduced in the RTPN (Time Petri Nets with rendezvous), to define a subclass of RTPNs called Time Workflow-nets with Rendezvous (RTWF-nets). We discuss how this model can cover a large range of timed synchronization patterns in a very smart and compact framework.

[1]  Qingtian Zeng,et al.  Modeling and Analysis for Workflow Constrained by Resources and Nondetermined Time: An Approach Based on Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[2]  Johann Eder,et al.  Time Constraints in Workflow Systems , 1999, CAiSE.

[3]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

[4]  Franco Cicirelli,et al.  Using time stream Petri nets for workflow modelling analysis and enactment , 2013, Simul..

[5]  Jirí Srba,et al.  Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets , 2012, FHIES.

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

[7]  Theresa Beaubouef,et al.  Statechart: A Visual Language for Workflow Specification , 2012 .

[8]  Amit P. Sheth,et al.  Specifying interdatabase dependencies in a multidatabase environment , 1991, Computer.

[9]  Abdelkrim Abdelli.  Towards a General Model to Handle Multi-enabledness in Time Petri Nets , 2014, FM 2014.

[10]  Mathias Weske,et al.  Reflections on a Decade of Interorganizational Workflow Research , 2013, Seminal Contributions to Information Systems Engineering.

[11]  Kamel Barkaoui,et al.  Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets , 2008, WS-FM.

[12]  Kamel Barkaoui,et al.  Partial order reduction for checking soundness of time workflow nets , 2014, Inf. Sci..

[13]  Wil M. P. van der Aalst,et al.  From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system , 2007, International Journal on Software Tools for Technology Transfer.

[14]  Mourad Oussalah,et al.  Adaptation and Evolution Frameworks for Service Based Inter-Organizational Workflows , 2017, Int. J. E Bus. Res..

[15]  Abdelkrim Abdelli,et al.  Time Petri net with rendezvous , 2017, 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT).

[16]  Carl A. Gunter,et al.  Specifying and Analyzing Workflows for Automated Identification and Data Capture , 2009 .

[17]  Essameddin Badreddin,et al.  Synchronization among activities in a workflow using extended workflow Petri nets , 2005, Seventh IEEE International Conference on E-Commerce Technology (CEC'05).

[18]  Carlo Combi,et al.  Controllability in Temporal Conceptual Workflow Schemata , 2009, BPM.

[19]  Stéphane Julia,et al.  Modeling of Video Games Using Workflow Nets and State Graphs , 2017, SBES'17.

[20]  Arthur H. M. ter Hofstede,et al.  newYAWL: Towards Workflow 2.0 , 2009, Trans. Petri Nets Other Model. Concurr..

[21]  Vijayalakshmi Atluri,et al.  Modeling and Analysis of Workflows Using Petri Nets , 1998, Journal of Intelligent Information Systems.