3.1 建立故障樹

圖4為故障樹模型圖。圖中，Fn代表n號發電機故障，Kn代表n號環網開關故障。

3.2 將故障樹模型轉化為Petri網模型

圖5為Petri網模型圖，Pn分別代表圖4故障樹中對應的事件。

3.3 應用Petri網的關聯矩陣求最小割集

按照上述求最小割集的步驟可以得出：

P14=P13+P12=P10+P11+P12=P7+P8+P9+P11+P12=P1P2+P1P3P4P5+P1P3P4P6+P11+P12

從而得到其最小割集：C1={P1，P2}，C2={P1，P3，P4，P5}，C3={P1，P3，P4，P6}，C4={P12}。C5={P12}。同樣，再利用上述定量計算的方法即可得出頂事件發生的概率。

4 結束語

飛機配電系統可靠性分析中經常使用故障樹分析法，雖然較好地解決了配電系統的可靠性分析問題，但是實際應用中表現出分析復雜和計算量大的缺點，不利于對配電系統進行快速有效的評估。將故障樹模型轉化為Petri網模型進行分析計算，可以極大地簡化故障樹分析中的計算，彌補了傳統故障樹分析法的不足。