E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations

Time and resource management and optimization are two important challenges for an emergency response process, by which all individuals and groups manage hazards in an effort to avoid or ameliorate the impact of disasters. Compared with a traditional business process, an emergency response process has its own features. To our best knowledge, there is no formal method to model and analyze emergency response processes by taking uncertain activity execution duration, resource quantity, and resource preparation duration into account. This paper presents such a method based on an E-Net that is a Petri net-based formal model for an emergency response process constrained by resources and uncertain durations. According to the number of available resources, execution of an E-Net is classified into the worst, delayed, and best cases. Based on a priority-activity-first strategy and corresponding algorithms, this paper finds the duration to execute each activity for the delayed case. By experiments, we prove that the proposed strategy can ensure shorter execution duration of the whole process than a conventional one. A running case of a chlorine tank explosion is given to validate the proposed method.

[1]  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).

[2]  Falko Bause,et al.  Stochastic Petri Nets: An Introduction to the Theory , 2012, PERV.

[3]  Feniosky Peña-Mora,et al.  Decentralized Approach Considering Spatial Attributes for Equipment Utilization in Civil Engineering Disaster Response , 2011 .

[4]  MengChu Zhou,et al.  Data-Driven Service Composition in Enterprise SOA Solutions: A Petri Net Approach , 2010, IEEE Transactions on Automation Science and Engineering.

[5]  MengChu Zhou,et al.  Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets , 2010, IEEE Transactions on Automation Science and Engineering.

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

[7]  Fritz Gehbauer,et al.  Optimized resource allocation for emergency response after earthquake disasters , 2000 .

[8]  Tadao Murata,et al.  A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs , 1988, IEEE Trans. Software Eng..

[9]  MengChu Zhou,et al.  Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[10]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

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

[12]  MengChu Zhou,et al.  Business and Scientific Workflows: A Web Service-Oriented Approach , 2013 .

[13]  MengChu Zhou,et al.  Petri Net-Based Optimal One-Wafer Scheduling of Single-Arm Multi-Cluster Tools in Semiconductor Manufacturing , 2013, IEEE Transactions on Semiconductor Manufacturing.

[14]  MengChu Zhou,et al.  A Closed-Form Solution for Schedulability and Optimal Scheduling of Dual-Arm Cluster Tools With Wafer Residency Time Constraint Based on Steady Schedule Analysis , 2010, IEEE Transactions on Automation Science and Engineering.

[15]  Wei Tan,et al.  Dynamic workflow model fragmentation for distributed execution , 2007, Comput. Ind..

[16]  MengChu Zhou,et al.  Petri nets and industrial applications: A tutorial , 1994, IEEE Trans. Ind. Electron..

[17]  Guanquan Chu,et al.  A stochastic analysis on occupant evacuation time under emergency conditions , 2011, 2011 2nd IEEE International Conference on Emergency Management and Management Sciences.

[18]  Jiacun Wang,et al.  Timed Petri Nets: Theory and Application , 1998 .

[19]  MengChu Zhou,et al.  A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language , 2009, IEEE Transactions on Automation Science and Engineering.

[20]  C. Sell,et al.  Using a Workflow Management System to Manage Emergency Plans , 2009 .

[21]  Naiqi Wu,et al.  System Modeling and Control with Resource-Oriented Petri Nets , 2009 .

[22]  René M. B. M. de Koster,et al.  A review of design and control of automated guided vehicle systems , 2006, Eur. J. Oper. Res..

[23]  MengChu Zhou,et al.  A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[24]  Haiping Xu,et al.  Automated Verification of Dynamic Reliability Block Diagrams Using Colored Petri Nets 1 , 2009 .

[25]  MengChu Zhou,et al.  Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search , 1998 .

[26]  Chi Min Shu,et al.  Emergency response plan of chlorine gas for process plants in Taiwan , 2008 .

[27]  MengChu Zhou,et al.  A vector matching method for analysing logic Petri nets , 2011, Enterp. Inf. Syst..

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

[29]  MengChu Zhou,et al.  Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets , 2014, IEEE Transactions on Automation Science and Engineering.

[30]  Jan Verelst,et al.  Techniques for Modeling Workflows and Their Support of Reuse , 2000, Business Process Management.

[31]  Yushun Fan,et al.  Approximate performance analysis of Workflow model , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[32]  MengChu Zhou,et al.  Robust control reconfiguration of resource allocation systems with Petri nets and integer programming , 2014, Autom..

[33]  Zhiwu Li,et al.  Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach , 2009 .

[34]  Cong Liu,et al.  Modeling and Analysis for Cross-Organizational Emergency Response Systems Using Petri Nets: Modeling and Analysis for Cross-Organizational Emergency Response Systems Using Petri Nets , 2014 .

[35]  D. Gaba,et al.  Emergency medicine crisis resource management (EMCRM): pilot study of a simulation-based crisis management course for emergency medicine. , 2003, Academic emergency medicine : official journal of the Society for Academic Emergency Medicine.

[36]  Jianguo Li,et al.  Simulation and Analysis of Time-Consumption of Emergency Supplies Loading Services Based on Queue Theory , 2011 .

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

[38]  Wolfgang Reisig,et al.  Understanding Petri nets , 1995, IEEE Parallel & Distributed Technology: Systems & Applications.

[39]  MengChu Zhou,et al.  Petri Net-Based Scheduling of Single-Arm Cluster Tools With Reentrant Atomic Layer Deposition Processes , 2011, IEEE Transactions on Automation Science and Engineering.

[40]  MengChu Zhou,et al.  Analysis and Application of Logical Petri Nets to E-Commerce Systems , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[41]  Qingtian Zeng,et al.  Invariant Decomposition Conditions for Petri Nets Based on the Index of Transitions , 2012 .

[42]  MengChu Zhou,et al.  Transition Cover-Based Design of Petri Net Controllers for Automated Manufacturing Systems , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[43]  Wolfgang Reisig Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[44]  MengChu Zhou,et al.  A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems , 2009, IEEE Trans. Syst. Man Cybern. Part A.

[45]  Zeng Qing Modeling and Analysis for Cross Organizational Emergency Response Systems Using Petri Nets , 2013 .

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

[47]  MengChu Zhou,et al.  Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[48]  Sea Ling,et al.  Time Petri nets for workflow modelling and analysis , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[49]  MengChu Zhou,et al.  Design of industrial automated systems via relay ladder logic programming and Petri nets , 1998, IEEE Trans. Syst. Man Cybern. Part C.

[50]  MengChu Zhou,et al.  Performance modeling and analysis of workflow , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[51]  Jiacun Wang,et al.  Emergency Healthcare Workflow Modeling and Timeliness Analysis , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[52]  MengChu Zhou,et al.  Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[53]  MengChu Zhou,et al.  Petri Net Modeling and Cycle-Time Analysis of Dual-Arm Cluster Tools With Wafer Revisiting , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[54]  Woongsup Kim,et al.  A Web Service Support to Collaborative Process with Semantic Information , 2005, WISE.

[55]  Qingtian Zeng,et al.  Conflict detection and resolution for workflows constrained by resources and non-determined durations , 2008, J. Syst. Softw..

[56]  MengChu Zhou,et al.  Modular Design of Urban Traffic-Light Control Systems Based on Synchronized Timed Petri Nets , 2014, IEEE Transactions on Intelligent Transportation Systems.

[57]  MengChu Zhou,et al.  A Configurable State Class Method for Temporal Analysis of Time Petri Nets , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[58]  Iris F. A. Vis,et al.  Survey of research in the design and control of automated guided vehicle systems , 2006, Eur. J. Oper. Res..

[59]  NaiQi Wu,et al.  Colored timed Petri nets for modeling and analysis of cluser tools , 2010, Asian Journal of Control.

[60]  MengChu Zhou,et al.  A Petri Net-Based Heuristic Algorithm for Realizability of Target Refining Schedule for Oil Refinery , 2008, IEEE Transactions on Automation Science and Engineering.

[61]  Qingtian Zeng,et al.  Process-Mining-Based Workflow Model Fragmentation for Distributed Execution , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[62]  MengChu Zhou,et al.  A Petri-Net-Based Scheduling Strategy for Dual-Arm Cluster Tools With Wafer Revisiting , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[63]  Wil M. P. van der Aalst Interval Timed Coloured Petri Nets and their Analysis , 1993, Application and Theory of Petri Nets.

[64]  Wolfgang Reisig,et al.  Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies , 2013, Bull. EATCS.

[65]  Xiaokuan Yang,et al.  Theory Model for Earthquake Emergency Shelter Choice Based on the Shortest Overall Evacuation Time , 2011 .

[66]  W.M.P. van der Aalst,et al.  Interval timed Petri nets and their analysis , 1991 .

[67]  MengChu Zhou,et al.  Scheduling of Dual-Arm Cluster Tools With Wafer Revisiting and Residency Time Constraints , 2014, IEEE Transactions on Industrial Informatics.

[68]  MengChu Zhou,et al.  Timing constraint workflow nets for workflow analysis , 2003, IEEE Trans. Syst. Man Cybern. Part A.

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

[70]  Liwei Chen,et al.  Path Selection Algorithms for Emergency Logistics Based Time Expectation , 2010 .

[71]  Kai Kang,et al.  Application of Code Approach for Emergency Evacuation in a Rail Station , 2007 .

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

[73]  MengChu Zhou,et al.  Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach , 2014, IEEE Transactions on Automation Science and Engineering.

[74]  MengChu Zhou,et al.  Schedulability Analysis and Optimal Scheduling of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation , 2012, IEEE Transactions on Automation Science and Engineering.