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

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

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

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