-
题名Petri网在煤矿安全系统工程中的应用
被引量：1
- 1
-
-
作者
王培良
翟德元
-
机构
山东矿业学院
-
出处
《煤炭学报》
EI
CAS
CSCD
北大核心
1992年第2期40-48,共9页
-
基金
国家自然科学基金资助课题
-
文摘
本文用Petri网模拟和分析煤矿事故,以煤炭自然发火为例,通过构造事故的Petri网,作出Petri网的可达标识图。分析可达标识图,可求出导致顶上事件发生的最小割集和控制事故发生的最小径集,为选择控制事故的最佳方案,提供了可靠的理论根据。此方法形象、直观,为煤矿安全系统工程及其它事故分析,开辟了一条新的途径。
-
关键词
petri网
煤矿
安全系统工程
-
Keywords
petri net
reachability identification graphs
accident
-
分类号
TD7
[矿业工程—矿井通风与安全]
-
-
题名事故预测分析的PETRI网
- 2
-
-
作者
沈斐敏
-
机构
福州大学
-
出处
《中国安全科学学报》
CAS
CSCD
1995年第S2期233-238,共6页
-
基金
自然科学基金
-
文摘
对事故预测分析Ｐｅｔｒｉ网模型中的事件、逻辑门表示及其模型构造进行了讨论；文中以一事故为例，对其ｐｅｔｒｉ网、ｐｅｔｒｉ网的可达标识图制作做了较为详细的介绍。在此基础上，分析可达标识图，求出导致事故发生的最小割集和最小径集，为控制事故的措施选择提供了可靠的理论依据。该方法表现直观，为事故的预测分析开辟了一条新的途径。
-
关键词
事故
预测
petri网
可达标识图
-
Keywords
accident forecast petri net reachability identification graphs
-
分类号
X928
[环境科学与工程—安全科学]
-
