Have a personal or library account? Click to login
Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes Cover

Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes

Cybernetics and Information Technologies
Volume 16 (2016): Issue 3 (September 2016)
By: Cong Liu and  Feng Zhang  
Open Access
|Aug 2016

Download Article

Download the full article as a PDF file.

DOI: https://doi.org/10.1515/cait-2016-0038 | Journal eISSN: 1314-4081 | Journal ISSN: 1311-9702
Journal RSS Feed
Language: English
Page range: 122 - 136
Published on: Aug 19, 2016
Published by: Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
Collaborative emergency management,
emergency process modeling,
collaboration patterns,
correctness verification,
Petri net
Related subjects:
Computer sciences,
Information technology

© 2016 Cong Liu, Feng Zhang, published by Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Previous articleVolume 16 (2016): Issue 3 (September 2016)Next article