论文部分内容阅读
本文用Petri网模拟和分析煤矿事故,以煤炭自然发火为例,通过构造事故的Petri网,作出Petri网的可达标识图。分析可达标识图,可求出导致顶上事件发生的最小割集和控制事故发生的最小径集,为选择控制事故的最佳方案,提供了可靠的理论根据。此方法形象、直观,为煤矿安全系统工程及其它事故分析,开辟了一条新的途径。