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

Cong Liu, Feng Zhang

    Research output: Contribution to journalArticleAcademicpeer-review

    15 Citations (Scopus)
    158 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