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

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

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