模糊Petri網(wǎng)的合成運算等相關(guān)性態(tài)研究.pdf

1、Petri網(wǎng)是一種圖形化的網(wǎng)絡(luò)模型,對于描述分析并發(fā)、同步等現(xiàn)象有優(yōu)越之處,具有直觀、易用和易懂的優(yōu)點。另一方面,Petri網(wǎng)又可以和數(shù)學(xué)方法相結(jié)合,用于動態(tài)行為及靜態(tài)結(jié)構(gòu)的分析。經(jīng)過眾多學(xué)者近50年的努力,Petri網(wǎng)已經(jīng)形成了比較系統(tǒng)的形式化建模、模型分析驗證方法技術(shù)體系,在計算機科學(xué)技術(shù)(如網(wǎng)絡(luò)協(xié)議、軟件設(shè)計、人工智能等)、自動化科學(xué)技術(shù)(如離散事件動態(tài)系統(tǒng)、混雜系統(tǒng)等)、機械設(shè)計與制造(如柔性制造系統(tǒng))以及其他許多科學(xué)技術(shù)領(lǐng)域受

2、到人們的重視。Petri網(wǎng)與其他學(xué)科結(jié)合定義出的高級Petri網(wǎng)模型,不僅增強被建模系統(tǒng)的動態(tài)行為的分析能力,還能夠計算出各個指標的數(shù)值,更好地解決了Petri網(wǎng)的問題。本文主要介紹了模糊Petri網(wǎng)的動態(tài)行為,希望能夠更好地對實際系統(tǒng)建模和分析。模糊Petri網(wǎng)不僅保持了原型。Petri網(wǎng)的基本特征,還具有自己的獨特性質(zhì),從而拓寬了Petri網(wǎng)的應(yīng)用領(lǐng)域。
　　 本文首先介紹了本課題的研究背景及國內(nèi)外的現(xiàn)狀,在本課題的當前的研

3、究狀況的基礎(chǔ)上闡述了本課題的研究目的及意義,然后簡單介紹了Petri網(wǎng)的基本概念及其性質(zhì)運算。不同學(xué)者對于模糊Petri網(wǎng)給出過多種定義方式。本文介紹了一種以模糊推理為應(yīng)用背景的模糊Petri網(wǎng)的基本定義及運算規(guī)則并給出了一般的基于關(guān)系矩陣的形式化算法。然后簡要介紹了連續(xù)Petri網(wǎng)的基本概念,通過研究模糊Petri網(wǎng)和連續(xù)Petri網(wǎng)的運行規(guī)則討論了它們之間的關(guān)系,得出了模糊Petri網(wǎng)在一定條件下可以轉(zhuǎn)化為一個特殊的連續(xù)Petri網(wǎng)

4、,從而可以將模糊Petri網(wǎng)的問題轉(zhuǎn)化為連續(xù)Petri網(wǎng)的問題,同時利用它們之間的關(guān)系定義了模糊Petri網(wǎng)的一些性質(zhì)。由于大多數(shù)模糊Pelri網(wǎng)的應(yīng)用背景是基于模糊推理的,即有起點庫所和終點庫所的圖形,且Petri網(wǎng)是一個有向圖,本文又介紹了一種有回路的模糊Petri網(wǎng)的基本理論。文中在Petri網(wǎng)的合成運算基礎(chǔ)上提出了模糊Petri網(wǎng)的合成運算,并定義了模糊Petfi網(wǎng)的共享合成、同步合成及鏈路合成,然后從關(guān)系矩陣角度討論了子網(wǎng)與合

5、成網(wǎng)的關(guān)系,并利用子網(wǎng)的關(guān)系矩陣構(gòu)造出合成網(wǎng)的矩陣,簡捷刻畫了模糊Petri網(wǎng)合成運算的特點。
　　 本文將模糊Petri網(wǎng)在一定條件下轉(zhuǎn)化連續(xù)Petri網(wǎng),使我們借助連續(xù)Petri網(wǎng)豐富的理論更好地研究模糊Petri網(wǎng)的性質(zhì)特征。此外借鑒Petri網(wǎng)的合成運算理論定義了模糊Petri網(wǎng)的合成運算,不僅為復(fù)雜模糊Petri網(wǎng)的分析提供了很好的途徑而且豐富了模糊Petri網(wǎng)的理論。最后對本文進行了回顧,總結(jié)了本文研究內(nèi)容,展望未來