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

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

19 Citaten (Scopus)

216 Downloads (Pure)

Samenvatting

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.

Originele taal-2	Engels
Pagina's (van-tot)	122-136
Aantal pagina's	15
Tijdschrift	Cybernetics and Information Technologies
Volume	16
Nummer van het tijdschrift	3
DOI's	https://doi.org/10.1515/cait-2016-0038
Status	Gepubliceerd - 1 jan. 2016

Financiering

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

Toegang tot document

10.1515/cait-2016-0038

publishers versionDefinitieve gepubliceerde versie, 373 KBLicentie: CC BY-NC-ND

Andere bestanden en links

Link to publication in Scopus

Citeer dit

@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

Samenvatting

Financiering

Toegang tot document

Andere bestanden en links

Vingerafdruk

Citeer dit