煤矿安全系统工程一种新的分析方法—Ｐｅｔｒｉ网分析方法.pdfVIP

煤矿安全系统工程一种新的分析方法 ——Petri网分析方法。 王培良 赵义军 翟德元 (山东矿业学院·泰安271019) 摘要本文提出了煤矿安全系统：E程一种新的分析方法一PeIri网分析方法．用Petri同来模拟和 分析煤矿事故。可以求出导致顶上事件发生的最小割集和控制事故发生的最小径集。因而对于煤矿各种 系统的故障可进行诊断、预测，为控制事故的发生提供了可靠的理沦根据。作为重要的应用，用Petrl 同模拟和分析丁煤矿中瓦斯爆炸事故。 关键词Petri阿可达标识图T一不变量进程表达式事故 安全生产是煤矿中的重要问题。事故一旦发生 向弧。 特别是重大事故的发生，会给煤矿造成严重的经济 损失和人员伤亡，极大的影响了矿井的正常生产。 作(N．M)]称为一个Petri网，当且仅当 预防和控制事故的发生一直是煤矿管理中的重大问 (1)(S，T；F)是一个网。 题。人们始终在进行这方面的研究工作，提出了许 多行之有效的分析方法，像事故树分析、事件树分 析等方法。本文提出了用Petri同来模拟和分析事示时，在表示位置s的小圆圈里加入K个小圆点， 故，先做出事故的Petri网模型，再做出Petri网的并说s里有K个标记。 可达标识图。求出Petrl网的进程表达式和极小 (3)∑具有如下的发射规则： T一不变量。通过分析Petrl网的可达标识图或分 -3．)t∈T称为在标识M下使能的，当且仅当 VsE 析Petri网的进程表达式或分析Petri同的极小T一t：M(S)≥1，这时记为M[t 不变量。都可以求出导致顶上事件发生的最小割集 b)若t是在M下使能的．则t可以发射．从 和控制事故发生的最小径集。该方法具有动态、并 M发射变迁t后变得到后继标识M’： 发等特征，形象直观．能反映出更多的中间信息。 fM(s)+1当sEt’一1t 为分析事故提出了一种新的方法。 M’(s)=M(s)一1当sE’t—t’ 1基本概念 【M(s) 其它 关于Petri网的基本概念可参见文献(1]～并记为M[tM’。 (4]，本节只对本文有关的一些基本概念、术语、 记号作一简述。 }TI=n，C为N的关联矩阵，若非平凡的rl维非 定义1三元式N=(s，T；F)称为网，当负整数向量x满足CX=0，则称x为N的一个 且仅当： 卜不变量。 (1)sNT=中，SUT≠中； x 定义4设x为网N的一个T一不变量。0 (2)F￡(s×T)U(T×s)； |I=T。．如果任意以TI为支集的T-一不变量x’， (3)dom(F)Ucod(F)=SUT。 均有x≤x’，则称x为立于支集T．上的极小t一 集合s的元素称为S元，集合T的元素称为T不变量。 元。用图来表示时，把每个S元画成一个小圆圈， 定义5 每个T元画成一个小方块(或短横线)，F称为网(∑))是以=的基本子进程集为字母表的一个正规 的流关系，若(x．Y)∈F，则从x到Y画一条有表达式，它所表示的正规集记为RS(P(z))，如果 ·煤炭科学基金、国家自然科学基金资助课题 煤矿安全系统工程一种新的分析方法——Petri网分析方法 633 ∑的每个满进程都是集合 再通过结构重要度分析找出导致瓦斯爆炸事故发生 U 的主要因素，消除这些事故因素或制定相应对策，