Have a personal or library account? Click to login
Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes Cover

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

References

  1. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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
DOI: https://doi.org/10.1515/cait-2016-0038 | Journal eISSN: 1314-4081 | Journal ISSN: 1311-9702
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
Publication frequency: 4 issues per year
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.

Previous articleVolume 16 (2016): Issue 3 (September 2016)Next article