關(guān)于Petri網(wǎng)匯合性質(zhì)和家態(tài)的一些探討.pdf

1、匯合性質(zhì)和家態(tài)是Petri網(wǎng)的兩種重要的性質(zhì)，它們?cè)趹?yīng)用領(lǐng)域有著重要的作用和價(jià)值。然而在純Petri網(wǎng)理論里，關(guān)于匯合性質(zhì)和家態(tài)的系統(tǒng)的研究工作卻很少。本文即針對(duì)Petri網(wǎng)的匯合性質(zhì)和家態(tài)性質(zhì)做了一些探討。
　　本文研究的主要內(nèi)容包括以下幾個(gè)方面：
　　1．從簡(jiǎn)單的Petri網(wǎng)子類入手來(lái)研究什么樣的Petri網(wǎng)具有匯合性質(zhì)，先后證明了活的標(biāo)識(shí)S-圖、活的標(biāo)識(shí)T-圖、有界的沖突無(wú)關(guān)的Petri網(wǎng)、有界的標(biāo)識(shí)T-圖（T-網(wǎng)）、

2、不含源變遷的標(biāo)識(shí)T-圖、活的有界的標(biāo)識(shí)自由選擇網(wǎng)等Petri網(wǎng)子類具有匯合性質(zhì)。
　　2．討論了行為等價(jià)于上述特殊Petri網(wǎng)子類的網(wǎng)系統(tǒng)的匯合性質(zhì)，由于根據(jù)定義直接判定兩個(gè)網(wǎng)系統(tǒng)是否行為等價(jià)非常地復(fù)雜，針對(duì)這點(diǎn)我們給出了一種保持行為等價(jià)的化簡(jiǎn)方法，使得判定一個(gè)給定的網(wǎng)系統(tǒng)是否行為等價(jià)于前述的那些特殊子類變得比較簡(jiǎn)單，若給定的網(wǎng)系統(tǒng)行為等價(jià)于某個(gè)特殊子類，從而可以容易地判定出其匯合性質(zhì)。
　　3．討論了同步合成與共享合成操作