Petri網(wǎng)計(jì)算圖.pdf

1、Petri網(wǎng)的可覆蓋性圖(可達(dá)標(biāo)識圖)是分析Petri網(wǎng)的最常用方法之一，它能很好的分析Petri網(wǎng)的安全性、有界性、守恒性和可覆蓋性等問題，但由于無界量符號ω的引入引起信息丟失，因而Petri網(wǎng)的可覆蓋性圖不能完全模擬Petri網(wǎng)的運(yùn)行。向量加法系統(tǒng)和向量置換系統(tǒng)能完全模擬Petri網(wǎng)的運(yùn)行，但它缺少像可覆蓋性圖那樣直觀的表現(xiàn)形式。本文所提出的Petri網(wǎng)計(jì)算圖就是以上述兩種方法為基礎(chǔ)提出的一種新的Petri網(wǎng)的分析方法，它整合了上述

2、兩種方法的優(yōu)點(diǎn)，即具有像Petri網(wǎng)的可覆蓋性圖那樣直觀的表現(xiàn)形式，又完全包含Petri網(wǎng)的運(yùn)行信息，而不至造成信息丟失，從而與Petri網(wǎng)具有等價(jià)的模擬能力。
　　本文給出了Petri網(wǎng)的計(jì)算圖的生成算法，并以向量運(yùn)算系統(tǒng)的基礎(chǔ)理論為依據(jù)，對Petri網(wǎng)與Petri網(wǎng)計(jì)算圖的模擬能力的完全等價(jià)性進(jìn)行了嚴(yán)格的證明，同時得出了Petri網(wǎng)的保性刪除等初步的結(jié)論，也為進(jìn)一步的研究Petri網(wǎng)的活性和可達(dá)性問題提供了一種新的形式和契機(jī)。