Petri網(wǎng)結(jié)構(gòu)理論研究.pdf

1、Petri網(wǎng)是建模和分析的工具，它的主要特性包括：并行，不確定性，異步和分步描述能力和分析能力。它既有直觀的圖形表示，又有深刻的數(shù)學(xué)內(nèi)涵和基礎(chǔ)。 Petri網(wǎng)的結(jié)構(gòu)理論的思想是以某種特定結(jié)構(gòu)比如siphon(Siphon是這樣一些庫(kù)所的集合：關(guān)聯(lián)的流入變遷，一定也是關(guān)聯(lián)的流出變遷，所以一旦siphon不被標(biāo)識(shí)，將永遠(yuǎn)不被標(biāo)識(shí)，這一特征對(duì)于網(wǎng)的活性，弱活性的描述極其深刻)、不變量和子網(wǎng)覆蓋，通過(guò)這些結(jié)構(gòu)上T0ken的分布特征研究網(wǎng)的

2、動(dòng)態(tài)行為。 本人的工作是結(jié)構(gòu)理論下的研究。利用結(jié)構(gòu)性分析理論、化簡(jiǎn)技術(shù)、不變技術(shù)，對(duì)Petri網(wǎng)的主要行為特征進(jìn)行了較為深入細(xì)致的研究，得到一些新的結(jié)果： Petri網(wǎng)中，混惑會(huì)給系統(tǒng)分析和系統(tǒng)控制帶來(lái)麻煩，有混惑的系統(tǒng)不是好系統(tǒng)，有混惑的模型不是好模型。文中針對(duì)混惑的特質(zhì)進(jìn)行了研究，在已知的3種結(jié)構(gòu)混惑(增混惑、減混惑、不增不減混惑-)的基礎(chǔ)上，證明了不增不減混惑是增混惑和減混惑的復(fù)合，這使得在解決混惑的檢測(cè)與消除的時(shí)