Petri Net Based Modeling and Correctness Verification of Collaborative Emergency Response Processes-Reference-Cited by-同舟云学术

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

Published:2016-08-19 Issue:3 Volume:16 Page:122-136
ISSN:1314-4081
Container-title:Cybernetics and Information Technologies
language:en
Short-container-title:

Author:

Liu Cong¹²,Zhang Feng¹

Affiliation:

1. Shandong University of Science and Technology, Qingdao, 266590 China

2. Eindhoven University of Technology, 5600MB Netherland

Abstract

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.

Publisher

Walter de Gruyter GmbH

Subject

General Computer Science

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Correctness Analysis of Cross-Organization Emergency Response Processes Based on Petri Nets;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2024-02

2. Analysis on the accessibility of urban rescue in extreme weather;2022 5th International Conference on Computer Science and Software Engineering (CSSE 2022);2022-10-21

3. Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns;IEEE Transactions on Automation Science and Engineering;2021-07

4. Cross-Organization Emergency Response Process Mining: An Approach Based on Petri Nets;Mathematical Problems in Engineering;2020-11-17

5. Resource Conflict Checking and Resolution Controller Design for Cross-Organization Emergency Response Processes;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2020-10