Emergency Response Workflow Resource Requirements Modeling and Analysis

A workflow management system determines the flow of work according to predefined business process definitions. It manages the resources required to meet goals and provides monitoring facilities and control capabilities. Resources can become important decision factors when combined with control flow information. This is particularly true in an emergency response system where large quantities of resources, including emergency responders, ambulances, fire trucks, medications, food, clothing, etc., are required. In this paper, we introduce a resource-constrained and decision support workflow model. This model enables users to specify resource consumption and production when executing a task, and decision policies to choose a path at a given situation where multiple execution branches are available. The paper also presents an efficient resource requirement analysis algorithm that can be used to decide the minimum resource set that, if satisfied, the workflow can be executed along any possible path till finish without the occurrence of resource shortage. A case study is presented to show the use of the proposed approach.

[1]  Paulo E. Miyagi,et al.  On Resource Arc for Petri Net Modelling of Complex Resource Sharing System , 1999, J. Intell. Robotic Syst..

[2]  Daniela Rosca,et al.  Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle , 2002, Automated Software Engineering.

[3]  L. Sha,et al.  The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks , 1988, IRTAW '88.

[4]  Naiqi Wu,et al.  Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model , 1999, IEEE Trans. Syst. Man Cybern. Part C.

[5]  Amit P. Sheth,et al.  Specifying and Enforcing Intertask Dependencies , 1993, VLDB.

[6]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[7]  Wil M. P. van der Aalst,et al.  Verification Of Workflow Task Structures: A Petri-net-baset Approach , 2000, Inf. Syst..

[8]  William M. Tepfenhart,et al.  Dynamic Workflow Modeling and Analysis in Incident Command Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[9]  M. Stoute,et al.  Workflow Management Tool Support for Incident Command Systems , 2006, 2006 IEEE International Conference on Networking, Sensing and Control.

[10]  M. Z. Muehlen,et al.  Workflow Management Coalition , 2000 .

[11]  Zhiming Wu,et al.  Deadlock-free scheduling method using genetic algorithm and timed S/sup 3/PR nets , 2004, Proceedings of the 2004 American Control Conference.

[12]  Kees M. van Hee,et al.  Resource-Constrained Workflow Nets , 2006, Fundam. Informaticae.

[13]  Nathaniel Palmer,et al.  Workflow Management Coalition , 2009, Encyclopedia of Database Systems.

[14]  MengChu Zhou,et al.  Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

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

[16]  Paul Dourish,et al.  Process descriptions as organisational accounting devices: the dual use of workflow technologies , 2001, GROUP.

[17]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[18]  Peter Lawrence Workflow Handbook 1997 , 1997 .

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

[20]  Daniela Rosca,et al.  Dynamic Workflow Modeling and Verification , 2006, CAiSE.

[21]  William M. Tepfenhart,et al.  An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis , 2005, Business Process Management.

[22]  Mathias Weske,et al.  Formal foundation and conceptual design of dynamic adaptations in a workflow management system , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[23]  MengChu Zhou,et al.  Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems , 2001, IEEE Trans. Robotics Autom..

[24]  Rajesh K. Thiagarajan,et al.  BPML : a process modeling language for dynamic business models , 2002, Proceedings Fourth IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS 2002).

[25]  Jiacun Wang,et al.  Incident Command System Workflow Modeling and Analysis: A Case Study , 2006 .

[26]  William M. Tepfenhart,et al.  UML and C++: A Practical Guide to Object-Oriented Development , 1997 .

[27]  Lars G Fischer Workflow Handbook 2002, Workflow Management Coalition , 2002 .

[28]  Munindar P. Singh,et al.  An Event Algebra for Specifying and Scheduling Workflows , 1995, DASFAA.

[29]  MengChu Zhou,et al.  Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.