Quantitative Analysis and Research on Emergency Linkage System Performance Based on Stochastic Petri Net
Pages 308 - 313
Abstract
With the large-scale and centralized of chemical enterprises, more and more attention has been paid to the emergency linkage system of emergencies. Perfect emergency linkage can curb or delay the development of the situation. In order to quantitatively study the performance of emergency linkage system in chemical enterprises, a stochastic Petri net structural model was built based on emergency linkage process and elements. Then, the accessible set is analyzed, isomorphic transformation is carried out in combination with Markov chain and the performance of each link in the emergency linkage action has been analyzed and calculated. Finally, the average working time of the emergency linkage system in completing all scenarios has been obtained. The analysis of the calculation results can be used to optimize the emergency linkage system.
References
[1]
U Herzog. Formal Methods for Performance Evaluation[M]. Berlin Heidelberg: Springer, 2001: 1--37.
[2]
Hao Ke-Gang, Guo Xiao-Qun. Expression of turing machines with Pi calculus. Computer Engineering and Science, 2009, 31 (10): 53--55.
[3]
Liao Jun, Tan Hao, Liu Jin-de. Describing and verifying Webservice using Pi-calculus [J]. Chinese Journal of Computers, 2005, 28( 4): 635--642.
[4]
Gu Jun, Luo Jun-zhou, Cao Jiu-xin, et al. Performance modeling and analysis of service systems using queueing Petri nets[J]. Chinese Journal of Computer, 2011, 34( 12):2435--2455.
[5]
R Hamadi, B Benatallah. A Petri net-based model for web service composition: Proceedings of the 14th Australasian database conference [C]. Australian Computer Society, 2003, 17.
[6]
Sun Xian-jun, Zhu Liang, Gao Zhi-min, et al. Analyzing surviva-bility of distributed information system using SPN [J Journal of System Simulation, 2009, 20 (S1): 181--186, 193.
[7]
Ni Yue, Fan Yu-shun. Formal verification for semantic Web serv-ices composition based on coloured Petri nets[J].Journal of Tsing-hua University ( Sci.& Tech. ), 2010, 50( 5): 714--717.
[8]
Zhai Hao. Dissertation Submitted to Shanghai Jiao Tong University for Master Degree of Engineering[D]. School of Information Security Engineering Shanghai Jiao Tong University, 2013.
[9]
Dong Bing. Dynamic Reliability Modeling and Simulating Research on Helicopter Power Transmission Systems Based on General Stochastic Petri Nets[D]. Graduate School of National University of Defense Technology, 2011.
[10]
Y J Chen, J Zhang, A C Zhou, et al. Modeling and analysis of mining subsidence disaster chains based on stochastic Petri nets[J]. Natural Hazards, 2018: 92(1), 19--41.
[11]
J F Zhou, G Reniers. Petri-net based evaluation of emergency response actions for preventing domino effects triggered by fire[J]. Journal of Loss Prevention in the Process Industries, 2018: 51, P94--101.
[12]
He Yan-xiang, Shen Hua. Prove of algorithm for converting stochastic petri net model to markov chain[J]. Journal of Chinese Computer Systems, 2014, 35(2):339--342.
[13]
ZHOU Jian-feng, LI Zi-cheng. Modeling and performance analysis for the emergency response actions to the industrial fire based on the colored time Petri net[J].Journal of Safety and Environment, 2019, 19(02): 562--568.
[14]
YANG Mingxin, WANG Min, QU Ying. Modeling and performance analysis of the emergency rescue logistics system based on Petri nets[J]. Journal of Hebei University of Science and Technology, 2017, 38(03):269--277.
Index Terms
- Quantitative Analysis and Research on Emergency Linkage System Performance Based on Stochastic Petri Net
Recommendations
Research on Process of Coal Mine Emergency Plan Based on Stochastic Petri Net
ICIII '11: Proceedings of the 2011 International Conference on Information Management, Innovation Management and Industrial Engineering - Volume 01Analytical modeling plays a crucial role in the analysis and design of computer systems. In order to improve the efficiency of coal mine emergency rescue systems and correlate the coal mine emergency plan with emergency rescue closely, it's necessary to ...
Analysis of Process of Triage in Disaster Rescue Action Using Stochastic Petri Net
ICICEE '12: Proceedings of the 2012 International Conference on Industrial Control and Electronics EngineeringTo improve the rescue process, enhance the efficiency of rescue and support the decision of health service in rescue action, the process of triage in disaster rescue action performed by mobile medical unit is analyzed. Firstly, the triage procedure is ...
Emergency Supply Chain Integration Based on Petri Net Thoery
ICEE '10: Proceedings of the 2010 International Conference on E-Business and E-GovernmentEmergency management, as a major work system, includes all aspects, among which an important one is supply of emergency materials. Whether the emergency materials can meet the emergency needs in time is vertical to the success of emergency response. By ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
September 2020
329 pages
ISBN:9781450387873
DOI:10.1145/3425329
Copyright © 2020 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].
In-Cooperation
- Wuhan Univ.: Wuhan University, China
- University of Electronic Science and Technology of China: University of Electronic Science and Technology of China
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 11 November 2020
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
WSSE 2020
WSSE 2020: 2020 The 2nd World Symposium on Software Engineering
September 25 - 27, 2020
Chengdu, China
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 23Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 16 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in