圖3 petri網(wǎng)模型

　　根據(jù)圖3知源庫所為{p1，p2，p3，p4，p5，p6，p7}，目標(biāo)庫所為{p12};假定征兆 “吸收電阻燒毀”出現(xiàn)即p6中含有托肯，于是

　　m0=(0，0，0，0，0，1，0，0，0，0，0，0)則關(guān)聯(lián)矩陣

　　t6可點火，于是uo=(0 0 0 0 0 1 0 0 0 0 0)t,有狀態(tài)方程知下一狀態(tài)：m1=m0+ct*uo=(0 0 0 0 0 0 0 0 1 0 0 0)t，可知托肯從p6轉(zhuǎn)移到p9，根據(jù)petri網(wǎng)模型知如果t9可以點火, 庫所中的托肯又可以繼續(xù)轉(zhuǎn)入下一狀態(tài)，于是得到 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,在此沒有下一級轉(zhuǎn)移使能，m2為系統(tǒng)的最終狀態(tài)：p12=1即電源柜故障發(fā)生。

　　4 結(jié)束語

　　本文對petri網(wǎng)在機車故障診斷領(lǐng)域的應(yīng)用研究做了新的探索。在分析機車故障的基本特性的基礎(chǔ)上，建立故障樹模型，結(jié)合petri網(wǎng)建模理論，提出了一種適合故障特性的故障petri網(wǎng)模型，該模型能夠很好地描述故障的演變和傳播特點，解決故障的各種傳播模式問題;并提出了故障petri網(wǎng)的診斷方法，該方法可以方便快速地找出故障的傳播路徑，并應(yīng)用實際的例子證明了該方法的可行性。