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

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

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

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