Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes
oleh: Liu Cong, Zhang Feng
| Format: | Article |
|---|---|
| Diterbitkan: | Sciendo 2016-09-01 |
Deskripsi
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.