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.