時間Petri網的活性、有界性研究.pdf

1、Petri網是一種用于描述系統(tǒng)的動態(tài)行為和分析系統(tǒng)的動態(tài)性質的數(shù)學模型,對描述和分析并發(fā)現(xiàn)象有其獨到的優(yōu)越之處,非常適合于異步并發(fā)系統(tǒng)的建模.為了刻劃同系統(tǒng)行為密切相關的時間因素,又定義和研究了各種含時間因素的Petri網.活性和有界性是Petri網中最重要的性質,對于傳統(tǒng)Petri網中的這些性質,大都已經得到了較為滿意的判定結果,而對含時間因素的Petri網的這些相應性質研究得很少,大部分文獻都是側重于具體的應用.該文研究的Time

2、Petri Net(簡稱為TPN)簡單且模擬能力等價于圖靈機,但TPN的活性、有界性和對應的傳統(tǒng)Petri網的相應性質并無對應關系.所以該文就從這個背景出發(fā),討論了TPN的模擬能力,并給出了TPN能進行"零檢驗"的一個例子,給出了另一種含時間因素的時延Petri網向TPN的轉換方法,給出了保持活性、有界性的兩個時間區(qū)間上的充分必要條件,最后,給出了保持活性的結構上和動態(tài)上的兩個充分條件.為利用傳統(tǒng)Petri網的性質判定結果來判定時間Pe