基于Petri网的煤矿瓦斯爆炸危险源分析

Analysis of danger source of mine gas explosion based on Petri nets

通过分析与煤矿瓦斯爆炸相关的危险源,将Petri网理论与瓦斯爆炸演变过程结合起来,构建了基于Petri网的瓦斯爆炸演变模型GEFRPN,并得出了如下结论:从瓦斯爆炸演变模型的推理过程可以很清楚地看到瓦斯爆炸演变过程中各个危险源可信度的变化,从而得出各个危险源在瓦斯爆炸演变过程中所起的作用大小;由推理结果以及Petri网图可分析危险源对瓦斯爆炸的重要度,以便及早采取措施,避免瓦斯爆炸事故发生;瓦斯爆炸演变模型引入了置信度,演算结果具有模糊性,克服了事故树方法所得结果与实际情况有一定出入的不足。

By analyzing danger source associated with mine gas explosion,the evolution model GEFRPN of gas explosion based on Petri nets was constructed combining Petri nets theory and the evolution of gas explosion,and the conclusion was obtained：from reasoning process of evolution model of gas explosion,changes of confidence level of danger source in evolution process of gas explosion can be seen clearly,and so the function of each danger source in evolution process of gas explosion can be obtained.The importance of danger source to gas explosion can be analyzed by reasoning process and Petri nets diagram,so as to take early measures to avoid gas explosion accidents.The evolution model of gas explosion introduces confidence,and the calculation results have fuzziness,overcomes insufficient of fault tree method which has the results inconsistent with the actual situation.