Petri網(wǎng)活性判定方法的探討.pdf

1、活性是Petri網(wǎng)的基本的動(dòng)態(tài)性質(zhì)之一，在實(shí)際系統(tǒng)中，尤其在火箭控制系統(tǒng)、醫(yī)學(xué)上的生命維護(hù)系統(tǒng)、核電站的安全系統(tǒng)等有關(guān)生命、財(cái)產(chǎn)安全的系統(tǒng)中更為至關(guān)重要，在這些系統(tǒng)中死鎖的檢驗(yàn)與避免（即活性問題的一個(gè)方面――弱活性的判斷）是系統(tǒng)控制研究中的一個(gè)重要課題。因此，活性判定問題是Petri網(wǎng)理論研究的一個(gè)重要方面?，F(xiàn)有的文獻(xiàn)大多從兩個(gè)方面來分析Petri網(wǎng)的活性：一種是從Petri網(wǎng)自身的結(jié)構(gòu)來分析，這種方法一般局限于結(jié)構(gòu)特殊的Petri網(wǎng)子

2、類；另一種方法是借助Petri網(wǎng)的分析工具――可達(dá)標(biāo)識(shí)圖，這種方法簡(jiǎn)單直接，不受限于Petri網(wǎng)的結(jié)構(gòu)。對(duì)有界Petri網(wǎng)，通過構(gòu)造其可達(dá)標(biāo)識(shí)圖來判定其活性是容易的，但對(duì)于大量的無界Petri網(wǎng)，找到一個(gè)判定其活性的一般性算法并不容易。本文通過尋找一種可覆蓋圖的修改形式而減少無界Petri網(wǎng)運(yùn)行過程中信息的丟失，并利用這個(gè)修改的形式給出一個(gè)Petri網(wǎng)子類――無關(guān)聯(lián)ω?cái)?shù)網(wǎng)系統(tǒng)的活性判定方法，然后在這個(gè)修改形式的基礎(chǔ)上進(jìn)一步修改而使無界P