Acceso abierto

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

y

19 ago 2016

Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes's Cover Image

Cybernetics and Information Technologies

Volumen 16 (2016): Edición 3 (Septiembre 2016)

Acerca de este artículo

Artículo anterior

Artículo siguiente

Cite

Compartir

Descargar portada

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

Idioma:: Inglés

Calendario de la edición:: 4 veces al año
Temas de la revista:: Informática, Tecnologías de la información

RSS Feed de revista