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

作者：Liu Cong; Zhang Feng

来源：Cybernetics and Information Technologies, 2016, 16(3): 122-136.

DOI：10.1515/cait-2016-0038

<jats:title>Abstract</jats:title>
<jats:p> 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.</jats:p>

• 出版日期2016-9