Accès libre

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

 et    | 19 août 2016
À propos de cet article

Citez

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.

eISSN:
1314-4081
Langue:
Anglais
Périodicité:
4 fois par an
Sujets de la revue:
Informatique