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

Cong Liu; Feng Zhang

doi:10.1515/cait-2016-0038

.blurhash-client-img { display: none !important; }

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

Cybernetics and Information Technologies

Volume 16 (2016): Issue 3 (September 2016)

By: Cong Liu and Feng Zhang

Open Access

|Aug 2016

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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI 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.
Open DOI Search in Google Scholar

Articles in this issue

DOI: https://doi.org/10.1515/cait-2016-0038 | Journal eISSN: 1314-4081 | Journal ISSN: 1311-9702 (formerly 1314-4081)

Journal RSS Feed

Language: English

Page range: 122 - 136

Published on: Aug 19, 2016

Published by: Bulgarian Academy of Sciences, Institute of Information and Communication Technologies

In partnership with: Paradigm Publishing Services

Keywords:

Collaborative emergency management,

emergency process modeling,

collaboration patterns,

correctness verification,

Petri net

Related subjects:

Computer sciences,

Information technology

© 2016 Cong Liu, Feng Zhang, published by Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Volume 16 (2016): Issue 3 (September 2016)