Petri net based modeling and correctness verification of collaborative emergency response processes

Cong Liu, Feng Zhang

Research output: Contribution to journalArticleAcademicpeer-review

16 Citations (Scopus)
186 Downloads (Pure)

Abstract

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.

Original languageEnglish
Pages (from-to)122-136
Number of pages15
JournalCybernetics and Information Technologies
Volume16
Issue number3
DOIs
Publication statusPublished - 1 Jan 2016

Keywords

  • Collaboration patterns
  • Collaborative emergency management
  • Correctness verification
  • Emergency process modeling
  • Petri net

Fingerprint

Dive into the research topics of 'Petri net based modeling and correctness verification of collaborative emergency response processes'. Together they form a unique fingerprint.

Cite this