<abstract xmlns="http://www.w3.org/1999/xhtml"><p> 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.</p></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.

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

Shandong University of Science and Technology, Qingdao, 266590 China

Eindhoven University of Technology, 5600MB Netherland

Cybernetics and Information Technologies

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Petri net extended with resource and message factors, RMWF-Net for short, is proposed to model collaborative emergency response processes with various...

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

Published Online: Aug 19, 2016

Page range: 122 - 136

DOI: https://doi.org/10.1515/cait-2016-0038

Keywords
Collaborative emergency management, emergency process modeling, collaboration patterns, correctness verification, Petri net

© by Cong Liu

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

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

Published Online: Aug 19, 2016

Page range: 122 - 136

DOI: https://doi.org/10.1515/cait-2016-0038

KeywordsCollaborative emergency management, emergency process modeling, collaboration patterns, correctness verification, Petri net

© by Cong Liu

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Keywords
Collaborative emergency management, emergency process modeling, collaboration patterns, correctness verification, Petri net