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

Cong Liu, Feng Zhang

Research output: Contribution to journalArticleAcademicpeer-review

19 Citations (Scopus)
216 Downloads (Pure)

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.

Computer Science

Engineering