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

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

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