<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

Publicado en línea: 19 ago 2016

Páginas: 122 - 136

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

Palabras clave
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

Publicado en línea: 19 ago 2016

Páginas: 122 - 136

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

Palabras claveCollaborative 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.

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