Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes
und | 19. Aug. 2016
Über diesen Artikel
Online veröffentlicht: 19. Aug. 2016
Seitenbereich: 122 - 136
DOI: https://doi.org/10.1515/cait-2016-0038
Schlüsselwörter
© 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.