电子产品世界

　　图3 petri网模型

　　根据图3知源库所为{p1，p2，p3，p4，p5，p6，p7}，目标库所为{p12};假定征兆 “吸收电阻烧毁”出现即p6中含有托肯，于是

　　m0=(0，0，0，0，0，1，0，0，0，0，0，0)则关联矩阵

　　t6可点火，于是uo=(0 0 0 0 0 1 0 0 0 0 0)t,有状态方程知下一状态：m1=m0+ct*uo=(0 0 0 0 0 0 0 0 1 0 0 0)t，可知托肯从p6转移到p9，根据petri网模型知如果t9可以点火, 库所中的托肯又可以继续转入下一状态，于是得到 u1=「0 0 0 0 0 0 0 0 1 0 0 」t，m2=m1+ct*u1=「0 0 0 0 0 0 0 0 0 0 0 1」t,在此没有下一级转移使能，m2为系统的最终状态：p12=1即电源柜故障发生。

　　4 结束语

　　本文对petri网在机车故障诊断领域的应用研究做了新的探索。在分析机车故障的基本特性的基础上，建立故障树模型，结合petri网建模理论，提出了一种适合故障特性的故障petri网模型，该模型能够很好地描述故障的演变和传播特点，解决故障的各种传播模式问题;并提出了故障petri网的诊断方法，该方法可以方便快速地找出故障的传播路径，并应用实际的例子证明了该方法的可行性。

关键词： 诊断 方法研究 故障 机车 Petri 基于