基于Petri网的煤矿安全系统分析  

ANALYSIS OF MINE SAFETY SYSTEM BASED ON PETRI NET

作　　者：蒋昌俊[1] 疏松桂[1] 

机构地区：[1]山东矿业学院,中国科学院自动化研究所

出　　处：《煤炭学报》1995年第4期418-422,共5页Journal of China Coal Society

基　　金：国家自然科学基金;"863"高技术项目

摘　　要：用Ｐｅｔｒｉ网模拟和分析煤矿事故，针对无重复底事件系统，给出定性的分析方法。提出有重复底事件系统的Ｐｅｔｒｉ网形式化建模方法和基于并发机制的分析方法，包括定性、定量两个方面，通过实际问题的分析，体现了该方法的应用广泛性和有效性。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.

关 键 词：PETRI网 煤矿 安全系统 

分 类 号：TD76[矿业工程—矿井通风与安全]