基于Petri網的機車故障診斷方法研究

　　圖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網的診斷方法，該方法可以方便快速地找出故障的傳播路徑，并應用實際的例子證明了該方法的可行性。