<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

Data publikacji: 19 sie 2016

Zakres stron: 122 - 136

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

Słowa kluczowe
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

Data publikacji: 19 sie 2016

Zakres stron: 122 - 136

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

Słowa kluczoweCollaborative 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.

Słowa kluczowe
Collaborative emergency management, emergency process modeling, collaboration patterns, correctness verification, Petri net