Skip to main content
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:  and    
Open Access
|Aug 2016
References

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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch 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.
    Open DOISearch in Google Scholar
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)
Previous article
Next article