<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

Publié en ligne: 19 août 2016

Pages: 122 - 136

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

Mots clés
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

Publié en ligne: 19 août 2016

Pages: 122 - 136

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

Mots clésCollaborative 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.

Mots clés
Collaborative emergency management, emergency process modeling, collaboration patterns, correctness verification, Petri net