Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes

Liu, Cong; Zhang, Feng

doi:10.1515/cait-2016-0038

Abstract

Petri net extended with resource and message factors, RMWF-Net for short, is proposed to model collaborative emergency response processes with various collaboration patterns. Correctness of a RMWF-Net is formally defined and verified using reachability analysis. A running case of collaborative fire emergency response processes is given to validate the approach.

References

1. Bisri, M. B. Examining Inter-Organizational Network during Emergency Response of West Java Earthquake 2009, Indonesia. - Procedia Environmental Sciences, Vol. 17, 2013, pp. 889-898.10.1016/j.proenv.2013.02.107
Search in Google Scholar
2. Chen, G., X. Zhang. Fuzzy-Based Methodology for Performance Assessment of Emergency Planning and Its Application. - Journal of Loss Prevention in the Process Industries, Vol. 22, 2009, No 2, pp. 125-132.10.1016/j.jlp.2008.10.003
Search in Google Scholar
3. Cheng, C. Y., X. Qian. Evaluation of Emergency Planning for Water Pollution Incidents in Reservoir Based on Fuzzy Comprehensive Assessment. - Procedia Environmental Sciences, Vol. 2, 2010, pp. 566-570.10.1016/j.proenv.2010.10.061
Search in Google Scholar
4. Fiedrich, F., F. Gehbauer, U. Rickers. Optimized Resource Allocation for Emergency Response after Earthquake Disasters. - Safety Science, Vol. 35, 2000, No 1, pp. 41-57.10.1016/S0925-7535(00)00021-7
Search in Google Scholar
5. Ford, J. K., A. M. Schmidt. Emergency Response Training: Strategies for Enhancing Real-World Performance. - Journal of Hazardous Materials, Vol. 75, 2000, No 2, pp. 195-215.10.1016/S0304-3894(00)00180-1
Search in Google Scholar
6. Guo, X., N. Kapucu. Examining Coordination in Disaster Response Using Simulation Methods. - Journal of Homeland Security and Emergency Management, Vol. 12, 2015, No 4, pp. 891-914.10.1515/jhsem-2014-0092
Search in Google Scholar
7. He, Q., et al., Development and Application of a Water Pollution Emergency Response System for the Three Gorges Reservoir in the Yangtze River. - Journal of Environmental Sciences, Vol. 23, 2011, No 4, pp. 595-600.10.1016/S1001-0742(10)60424-X
Search in Google Scholar
8. Karagiannis, G. M., E. Piatyszek, J. M. Flaus. Industrial Emergency Planning Modeling: A First Step towarda Robustness Analysis Tool. - Journal of Hazardous Materials, Vol. 181, 2010, No 1, pp. 324-334.10.1016/j.jhazmat.2010.05.01420546993
Search in Google Scholar
9. Lee, S. J., P. H. Seong. Development of Automated Operating Procedure System Using Fuzzy Colored Petri Nets for Nuclear Power Plants. - Annals of Nuclear Energy, Vol. 31, 2004, No 8, pp. 849-869.10.1016/j.anucene.2003.12.002
Search in Google Scholar
10. Li, Q., Y. Deng, C. Liu, Q. Zeng, Y. Lu. Modeling and Analysis of Subway Fire Emergency Response: An Empirical Study. - Safety Science, Vol. 84, 2016, pp. 171-180.10.1016/j.ssci.2015.12.003
Search in Google Scholar
11. Liu, C., et al. Invariant Decomposition Conditions for Petri Nets Based on the Index of Transitions. - Information Technology Journal, Vol. 11, 2012, pp. 768-774.10.3923/itj.2012.768.774
Search in Google Scholar
12. Liu, C., Q. Zeng, H. Duan, M. Zhou, F. Lu, J. Cheng. E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations. - IEEE Transactions on Systems, Man, and Cybernetics: Systems, Vol. 45, 2015, No 1, pp. 84-96.10.1109/TSMC.2014.2330555
Search in Google Scholar
13. Lumbroso, D., K. Stone, F. Vinet. An Assessment of Flood Emergency Plans in England and Wales, France and the Netherlands. - Natural Hazards, Vol. 58, 2001, No 1, pp. 341-363.10.1007/s11069-010-9671-x
Search in Google Scholar
14. Meng, D., Q. Zeng, F. Lu, J. Sun, J. An. Cross-Organization Task Coordination Patterns of Urban Emergency Response Systems. - Information Technology Journal, Vol. 10, 2001, No 2, pp. 367-375.10.3923/itj.2011.367.375
Search in Google Scholar
15. Murata, T. Petri Nets: Properties, Analysis and Applications. - Proceedings of the IEEE, Vol. 77, 1989, No 4, pp. 541-580.10.1109/5.24143
Search in Google Scholar
16. Liu, C., Q. Zeng, H. Duan. Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net Based Approach. - International Journal of Science and Engineering Applications, Vol. 3, 2014, No 4, pp. 107-112.10.7753/IJSEA0304.1009
Search in Google Scholar
17. Zeng Q., F. Lu, C. Liuet al. Modeling and Analysis for Cross-Organizational Emergency Response Systems Using Petri Net. - Chin. J. Comput., Vol. 36, 2013, pp. 2291-2301.10.3724/SP.J.1016.2013.02290
Search in Google Scholar
18. Reisig, W. Petri Nets: An Introduction. Monographs in Theoretical Computer Science: An EATCS Series. Vol. 4, Berlin, Springer-Verlag, 1985.10.1007/978-3-642-69968-9
Search in Google Scholar
19. Tsenga, J., M. Liub, R. Chang, J. Sud, C. Shua. Emergency Response Plan of Chlorine Gas for Process Plants in Taiwan. - Journal of Loss Prevention in the Process Industries, Vol. 21, 2008, No 4, pp. 393-399.10.1016/j.jlp.2008.01.006
Search in Google Scholar
20. Van Der Aalst, W. M. P. The Application of Petri Nets to Workflow Management. - Journal of Circuits, Systems, and Computers, Vol. 8, 1998, No 1, pp. 21-66.10.1142/S0218126698000043
Search in Google Scholar
21. Wang, G. L., Y. L. Lu, J. Xu. Application of GIS Technology in Chemical Emergency Response. - Journal of Environmental Science, Vol. 12, 2000, No 2, pp. 172-177.
Search in Google Scholar
22. Zeng, Q., C. Liu, H. Duan. Resource Conflict Detection and Removal Strategy for Nondeterministic Emergency Response Processes Using Petri Nets. - Enterprise Information Systems, 2015, pp. 1-22.10.1080/17517575.2014.986215
Search in Google Scholar
23. Zhou, J. Petri Net Modeling for the Emergency Response to Chemical Accidents. - Journal of Loss Prevention in the Process Industries. Vol. 26, 2013, No 4, pp. 766-770.10.1016/j.jlp.2013.02.002
Search in Google Scholar
24. Liu, C., J. Cheng, Y. Wang, S. Gao. Time Performance Optimization and Resource Conflicts Resolution for Multi-Project Management. - IEICE Transactions on Information and Systems, Vol. E99-D, 2016, No 3, pp. 650-660.10.1587/transinf.2015EDP7397
Search in Google Scholar
25. Zeng, Q., F. Lu, C. Liu, H. Duan, C. Zhou. Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets. - IEEE Transactions on Systems, Man, and Cybernetics: Systems, Vol. 45, 2015, No 2, pp. 349-362.10.1109/TSMC.2014.2334276
Search in Google Scholar
26. Liu, C., Q. Zeng, H. Duan, F. Lu. Petri Net Based Behavior Description of Cross-Organization Workflow with Synchronous Interaction Pattern. - In: Process-Aware Systems. Vol. 495. Berlin, Heidelberg, Springer, 2014, pp. 1-10.10.1007/978-3-662-46170-9_1
Search in Google Scholar
27. Zeng, Q., S. X. Sun, H. Duan, C. Liu, H. Wang. Cross-Organizational Collaborative Workflow Mining froma Multi-Source Log. - Decision Support Systems, Vol. 54, 2013, No 3, pp. 1280-1301.10.1016/j.dss.2012.12.001
Search in Google Scholar
28. Cheng, J., C. Liu, M. Zhou, Q. Zeng, A. Yl a-Jaaski. Automatic Composition of Semantic Web Services Based on Fuzzy Predicate Petri Nets. - IEEE Transactions on Automation Science and Engineering, Vol. 12, 2015, No 2, pp. 680-689.10.1109/TASE.2013.2293879
Search in Google Scholar
29. Hua, R., Y. Fu, J. Z. Yu, C. Liu. Petri Net-Based Modeling and Verification of Automatic Train Speed Control System. - Int. J. of Applied Mechanics and Materials, Vol. 571, 2014, pp. 395-399. 10.4028/www.scientific.net/AMM.571-572.395
Search in Google Scholar

Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes

Abstract

Paradigm

My account