時(shí)間Petri網(wǎng)的活性、有界性研究.pdf

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

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