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.