模糊Petri網(wǎng)動(dòng)態(tài)性能的研究與分析.pdf

1、Petri網(wǎng)是建模和分析的工具，它的主要特性包括：并行、不確定性、異步和分步描述和分析能力。它既有直觀的圖形表示，又有深刻的數(shù)學(xué)內(nèi)涵和基礎(chǔ)。Petri 網(wǎng)可以精確的描述系統(tǒng)中事件之間的順序和并發(fā)關(guān)系，是研究異步并發(fā)系統(tǒng)的強(qiáng)有力工具。通過對(duì)實(shí)際系統(tǒng)的網(wǎng)模型的分析，可以揭示出被模擬系統(tǒng)和行為方面的重要信息，這些信息可以用來對(duì)實(shí)際系統(tǒng)的行為進(jìn)行估計(jì)和分析?？紤]到Petri網(wǎng)系統(tǒng)狀態(tài)、變遷的模糊性，本文將經(jīng)典Petri網(wǎng)與模糊集結(jié)合，強(qiáng)調(diào)模糊P

2、etri網(wǎng)的系統(tǒng)行為，以適應(yīng)描述各種模糊系統(tǒng)的要求。模糊Petri網(wǎng)拓展了Petri網(wǎng)的知識(shí)表示和知識(shí)獲取的方法。
　　 首先介紹了本課題的研究背景，結(jié)合當(dāng)前的理論和實(shí)踐情況說明了該課題研究的目的及意義并對(duì)Petri網(wǎng)研究的內(nèi)容、現(xiàn)狀以及意義做了簡(jiǎn)介并以Petri網(wǎng)的動(dòng)態(tài)分析方法為基礎(chǔ)，提出了一種求解任意一個(gè)網(wǎng)的所有極小T-不變量的算法。其基本思路是通過求滿秩狀態(tài)方程的可達(dá)向量來求解原網(wǎng)的T-不變量，進(jìn)而求得極小T-不變量并結(jié)合

3、算例說明算法的有效性和優(yōu)越性。
　　 其次本文以模糊Petri網(wǎng)理論為基礎(chǔ)，定義了一種新型模糊Petri網(wǎng)模型Fuzzy Dynamic Petri Net (FDPN)，以此為基礎(chǔ)對(duì)具有模糊信息的實(shí)際系統(tǒng)建模。提出有回路的模糊Petri網(wǎng)，并定義了與FDPN相對(duì)應(yīng)的關(guān)系矩陣；以關(guān)系矩陣為工具，分別提出了有效形式化算法和圖形與形式化推理相結(jié)合的混合算法來研究FDPN的動(dòng)態(tài)行為過程。進(jìn)而提出了FDPN的推理算法，并通過實(shí)驗(yàn)驗(yàn)證了算

4、法的正確性。
　　 再次，本文首次引入模糊Petri網(wǎng)語(yǔ)言的概念并結(jié)合FDPN模型研究語(yǔ)言描述活性、弱活性等性質(zhì)。FDPN語(yǔ)言在一定程度上反映了FDPN的順序行為關(guān)系，對(duì)于簡(jiǎn)單的不確定系統(tǒng)可以直接利用FDPN建模，但對(duì)于復(fù)雜的模糊系統(tǒng)的設(shè)計(jì)和分析，合成運(yùn)算則是重要方法。
　　 最后，對(duì)FDPN的合成進(jìn)行研究，通過對(duì)FDPN的可達(dá)性的研究提出了基于FDPN語(yǔ)言網(wǎng)的活性分析并得到部分FDPN合成語(yǔ)言的性質(zhì)。
　　 本