Resource Conflict Checking and Resolution Controller Design for Cross-Organization Emergency Response Processes

A group of geographically dispersed and logically collaborated emergency organizations are involved when emergency occurs. Two challenging issues are a reasonable emergency resource allocation mechanism and an efficient resource conflict checking and resolution control mechanism to ensure the conflict-free execution of global cross-organization emergency response processes. To address them, this paper proposes an approach to support emergency resource management including both intraorganization private resource management and cross-organization public resource management. The former has been fully discussed in our previous work using E-net. To cope with the latter, this paper presents a novel type of Petri net that is extended with both time and resource factors to model cross-organization emergency response processes. Then, according to the resource requirement analysis, their worst, delayed, and best cases are obtained. Next, emergency resource conflict checking and four conflict resolution strategies are proposed to resolve the detected resource conflicts for the delayed execution case. This paper shows how to use different resolution strategies to construct the conflict-free model by designing corresponding resolution controllers. Finally, their performance is evaluated by a fire emergency response example.

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

[2]  Qingtian Zeng,et al.  A Package Reduction Approach To Modeling and Analysis of Cross-Organization Emergency Response Processes With Privacy Protected , 2018, IEEE Access.

[3]  Qingtian Zeng,et al.  Towards Comprehensive Support for Privacy Preservation Cross-Organization Business Process Mining , 2019, IEEE Transactions on Services Computing.

[4]  Robert H. Sloan,et al.  Reduction rules for time Petri nets , 1996, Acta Informatica.

[5]  Qingtian Zeng,et al.  Modeling and Analysis of Subway Fire Emergency Response: An Empirical Study , 2016 .

[6]  Remco M. Dijkman,et al.  Petri Net Transformations for Business Processes - A Survey , 2009, Trans. Petri Nets Other Model. Concurr..

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

[8]  Maria E. Orlowska,et al.  Facilitating cross-organisational workflows with a workflow view approach , 2004, Data Knowl. Eng..

[9]  Qingtian Zeng,et al.  Refinement-Based Hierarchical Modeling and Correctness Verification of Cross-Organization Collaborative Emergency Response Processes , 2020, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[10]  Robert Valette,et al.  Analysis of Petri Nets by Stepwise Refinements , 1979, J. Comput. Syst. Sci..

[11]  Qingtian Zeng,et al.  Cross-organizational collaborative workflow mining from a multi-source log , 2013, Decis. Support Syst..

[12]  Qingtian Zeng,et al.  Towards Comprehensive Support for Business Process Behavior Similarity Measure , 2019, IEICE Trans. Inf. Syst..

[13]  MengChu Zhou Reduction of timed marked graphs and its applications to manufacturing systems , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[14]  Qingtian Zeng,et al.  E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[15]  MengChu Zhou,et al.  Compositional time Petri nets and reduction rules , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[16]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets definitions, properties, and applications , 1991 .

[17]  Qingtian Zeng,et al.  Resource conflict detection and removal strategy for nondeterministic emergency response processes using Petri nets , 2016, Enterp. Inf. Syst..

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

[19]  Wil M. P. van der Aalst,et al.  Loosely coupled interorganizational workflows: : modeling and analyzing workflows crossing organizational boundaries , 2000, Inf. Manag..

[20]  Jiujun Cheng,et al.  Automatic Composition of Semantic Web Services Based on Fuzzy Predicate Petri Nets , 2015, IEEE Transactions on Automation Science and Engineering.

[21]  Chun Ouyang,et al.  Comparing and evaluating Petri net semantics for BPEL , 2009, Int. J. Bus. Process. Integr. Manag..

[22]  Cong Liu,et al.  Automatic Discovery of Behavioral Models From Software Execution Data , 2018, IEEE Transactions on Automation Science and Engineering.

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

[24]  Hua Duan,et al.  Petri Net Based Behavior Description of Cross-Organization Workflow with Synchronous Interaction Pattern , 2014 .

[25]  Jiujun Cheng,et al.  Time Performance Optimization and Resource Conflicts Resolution for Multiple Project Management , 2016, IEICE Trans. Inf. Syst..

[26]  Qingtian Zeng,et al.  Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

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

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

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

[30]  Kamel Barkaoui,et al.  Uniform verification of workflow soundness , 2011 .

[31]  Qingtian Zeng,et al.  A Visual Management and Monitoring Tool for Cross-organization Emergency Response Workflows , 2012 .

[32]  Qingtian Zeng,et al.  Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach , 2014 .

[33]  Kamel Barkaoui,et al.  Compatibility Analysis of Time Open Workflow Nets , 2014, PNSE @ Petri Nets.