Petri網(wǎng)中的網(wǎng)狀路徑及其性能的研究.pdf

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

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

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