Petri網活性判定方法的探討.pdf

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

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