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

Cong Liu; Feng Zhang

doi:10.1515/cait-2016-0038

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

Cong Liu, Feng Zhang

Process Analytics

Research output: Contribution to journal › Article › Academic › peer-review

19 Citations (Scopus)

216 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 language	English
Pages (from-to)	122-136
Number of pages	15
Journal	Cybernetics and Information Technologies
Volume	16
Issue number	3
DOIs	https://doi.org/10.1515/cait-2016-0038
Publication status	Published - 1 Jan 2016

Funding

This work is supported by Scientific Research Foundation of Shandong University of Science and Technology for Recruited Talents under Grant No 2014RCJJ049

Keywords

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

Access to Document

10.1515/cait-2016-0038

publishers versionFinal published version, 373 KBLicence: CC BY-NC-ND

Cite this

@article{b6b8cfb5efb54be4a40f22f6c1e21a2d,

title = "Petri net based modeling and correctness verification of collaborative emergency response processes",

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.",

keywords = "Collaboration patterns, Collaborative emergency management, Correctness verification, Emergency process modeling, Petri net",

author = "Cong Liu and Feng Zhang",

year = "2016",

month = jan,

day = "1",

doi = "10.1515/cait-2016-0038",

language = "English",

volume = "16",

pages = "122--136",

journal = "Cybernetics and Information Technologies",

issn = "1311-9702",

publisher = "Institute of Information and Communication Technologies, Bulgarian Academy of Sciences",

number = "3",

}

TY - JOUR

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

AU - Liu, Cong

AU - Zhang, Feng

PY - 2016/1/1

Y1 - 2016/1/1

N2 - 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.

AB - 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.

KW - Collaboration patterns

KW - Collaborative emergency management

KW - Correctness verification

KW - Emergency process modeling

KW - Petri net

UR - http://www.scopus.com/inward/record.url?scp=84983542218&partnerID=8YFLogxK

U2 - 10.1515/cait-2016-0038

DO - 10.1515/cait-2016-0038

M3 - Article

AN - SCOPUS:84983542218

SN - 1311-9702

VL - 16

SP - 122

EP - 136

JO - Cybernetics and Information Technologies

JF - Cybernetics and Information Technologies

IS - 3

ER -

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

Abstract

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this