Petri網中的網狀路徑及其性能的研究.pdf

1、隨著系統(tǒng)復雜程度不斷提高，系統(tǒng)的Petri網模型越來越龐大，出現(xiàn)了難以確定路徑元素并進行分析的網狀路徑，然而對大規(guī)模復雜Petri網模型性能的快速求解是系統(tǒng)性能分析無法回避的問題。大多數(shù)Petri網的性能分析是建立在其狀態(tài)空間與馬爾可夫鏈(MC)同構的基礎上的，其狀態(tài)空間會隨著系統(tǒng)復雜性的增大而指數(shù)性地增長，使得系統(tǒng)性能難以求解。
　　 本文剛開始考慮了較簡單的賦時Petri網中網狀路徑的定義和尋找問題，將蟻群算法用于解決賦時P

2、etri網的路徑尋找問題，提出Petri_ACO_Routc算法。要使該算法得到好的效果，保持蟻群算法特有的尋優(yōu)機制，和合理處理petri網的特殊結構是問題的關鍵。此外，本文還提出了全路徑和部分路徑的概念，并給出一個電路設計一的例子，顯示該算法在復雜的Petri網中解決問題的能力。接著，我們研究了網狀路徑尋找方法在SPN性能求解中的應用。SPN的性能求解方法包括:
　　 解方程組的方法來求解模型的性能指標，和使用模擬技術來分析S

3、PN模型的方法。模擬方法避過狀態(tài)空間爆炸的問題，適合于解算大規(guī)模系統(tǒng)的性能指標。我們用啟發(fā)式算法在復雜的SPN環(huán)境中尋找網狀路徑，并結合概率論相關理論計算系統(tǒng)性能，解決了大規(guī)模冗余系統(tǒng)的性能分析問題。最后重點研究網狀路徑尋找方法在CSPN性能求解中的應用，并將這路徑性能的分析方法用于解決使用控制模型 (Usage Control，UCON)的可靠性分析中去。
　　 本文重點研究了賦時Petri網，SPN，CSPN中的路徑尋找問題