Cyclic workflow resource requirement analysis and application in healthcare

In our previous work, we proposed a resource-oriented workflow nets (ROWN) approach for acyclic workflow resource requirement analysis. Resource requirements analysis for general workflows can be done through reachability analysis. For a class of well-structured workflows, an efficient resource analysis algorithm was also developed. In this paper, we discuss how to analyze the resource requirements of workflows with loops. The main idea is to convert a cyclic workflow into an equivalent acyclic workflow in terms of maximum resource requirements and net resource consumption. An application to emergency healthcare workflow resource requirement analysis is presented to illustrate how the approach works step-by-step.

[1]  MengChu Zhou,et al.  Resource-oriented Petri nets in deadlock avoidance of AGV systems , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[2]  Ross A. Brown,et al.  Workflow resource pattern modelling and visualization , 2012 .

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

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

[5]  Gabriel Juhás,et al.  Instance Deadlock: A Mystery behind Frozen Programs , 2010, Petri Nets.

[6]  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.

[7]  William M. Tepfenhart,et al.  Emergency Response Workflow Resource Requirements Modeling and Analysis , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[8]  Jiacun Wang,et al.  Resource Oriented Workflow Nets and Workflow Resource Requirement Analysis , 2013, Int. J. Softw. Eng. Knowl. Eng..

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

[10]  Fernando Rosa-Velardo,et al.  Dynamic Soundness in Resource-Constrained Workflow Nets , 2011, FMOODS/FORTE.

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

[12]  Wil M. P. van der Aalst,et al.  Workflow Resource Patterns: Identification, Representation and Tool Support , 2005, CAiSE.