摘要
用Ｐｅｔｒｉ网模拟和分析煤矿事故，针对无重复底事件系统，给出定性的分析方法。提出有重复底事件系统的Ｐｅｔｒｉ网形式化建模方法和基于并发机制的分析方法，包括定性、定量两个方面，通过实际问题的分析，体现了该方法的应用广泛性和有效性。
Coal mine accidents are simulated and analyzed by Petri net method. Based on non-repeat base event system a qualitative method is given. A method for establishing a model of Petri net for a repeat base event system and qualitative and quantitative analysis method on the basis of complication mechanism are proposed. The practical experience indicates that this method is effective and can be used extensively.
出处
《煤炭学报》
EI
CAS
CSCD
北大核心
1995年第4期418-422,共5页
Journal of China Coal Society
基金
国家自然科学基金
"863"高技术项目
关键词
PETRI网
煤矿
安全系统
Petri net, accidents, analysis algorithm, repeat base event
