關(guān)于Petri網(wǎng)中同步距離計算的探討.pdf

1、同步距離是對兩組事件間依賴程度的定量描述，也是刻畫系統(tǒng)動態(tài)行為的工具。由于同步距離的計算涉及到網(wǎng)系統(tǒng)的結(jié)構(gòu)和網(wǎng)系統(tǒng)的初始標(biāo)識，這無疑給同步距離的求解帶來了很大的難度，所以到目前為止還沒有能夠準(zhǔn)確的求解一般Petri網(wǎng)中變遷之間同步距離的算法。本文針對同步距離的定義、一些特殊的Petri網(wǎng)子類中同步距離的計算以及一般Petri網(wǎng)中同步距離的計算做了一些探討。
　　研究的主要內(nèi)容包括以下幾個方面：
　　1.通過對幾個實例的分析，

2、指出了目前關(guān)于同步距離的定義主要適用于含有有向回路的網(wǎng)系統(tǒng)。接著在現(xiàn)有定義的基礎(chǔ)上又進(jìn)一步提出了同步距離的修正定義，利用此定義一一解決了前面典型實例中提出的問題，并且說明利用修正同步距離定義和采用觀察庫所求解變遷之間的同步距離時得到的結(jié)果是一致的，簡單介紹了同步距離與系統(tǒng)行為之間的關(guān)系。
　　2.利用同步距離的修正定義對標(biāo)識S–圖中的同步距離的求解定理做了修改。證明了標(biāo)識S–網(wǎng)和標(biāo)識T–網(wǎng)的同步距離值也可以直接通過網(wǎng)結(jié)構(gòu)和初始標(biāo)識

3、的分布情況來求得，并給出了相應(yīng)的求解定理。同時指出了一些與標(biāo)識S–圖或標(biāo)識T–圖行為等價的網(wǎng)系統(tǒng)中變遷之間同步距離求解也是比較簡單，并給出了保持行為等價的化簡步驟。
　　3.利用同步距離的修正定義對觀察庫所求解同步距離的原理加以了證明。指出了文獻(xiàn)[49]中關(guān)于同步距離的求解還存在缺陷，它主要是針對出現(xiàn)網(wǎng)。為了使得求解的范圍更加廣泛和精確，本文在文獻(xiàn)[49]的基礎(chǔ)上提出了帶觀察庫所的加權(quán)網(wǎng)系統(tǒng)和增廣（可覆蓋）樹的概念，并給出公平Pe