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

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.107Search 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.003Search 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.061Search 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-7Search 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-1Search 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-0092Search 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-XSearch 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.01420546993Search 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.002Search 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.003Search 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.774Search 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.2330555Search 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-xSearch 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.375Search 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.24143Search 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.1009Search 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.02290Search 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-9Search 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.006Search 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/S0218126698000043Search 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.986215Search 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.002Search 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.2015EDP7397Search 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.2334276Search 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_1Search 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.001Search 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.2293879Search 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.395Search in Google Scholar