基于Petri網(wǎng)結(jié)構(gòu)分析的從屬信標(biāo)存在性研究.pdf

1、本文致力于研究Petri網(wǎng)的一個(gè)子類——L-S<'3>PR(Linear S<'3>PR)網(wǎng)的結(jié)構(gòu)特性，分析在何種結(jié)構(gòu)下從屬信標(biāo)必然存在。 信標(biāo)是網(wǎng)的結(jié)構(gòu)特性，作為信標(biāo)的子集嚴(yán)格極小信標(biāo)(Strict MinimalSiphon，簡(jiǎn)稱SMS)更是能反映出網(wǎng)結(jié)構(gòu)的活性，資源的不合理分配必然會(huì)導(dǎo)致SMS的出現(xiàn)。由各個(gè)順序進(jìn)程通過共享資源連接起來(lái)的S<'3>PR網(wǎng)系統(tǒng)可以為一大類柔性制造系統(tǒng)(Flexibile Manufactory

2、 System，F(xiàn)MS)建模，由于其良好的特性引起了人們的廣泛興趣。在其子類L-S<'3>pR網(wǎng)中，資源的環(huán)形等待是死鎖出現(xiàn)的充要條件。 把由資源節(jié)點(diǎn)及之間的變遷組成的強(qiáng)連通子網(wǎng)抽象出來(lái)，并稱之為資源有向圖。資源的循環(huán)等待在有向圖中表現(xiàn)為圓圈的出現(xiàn)，稱之為資源回路。經(jīng)研究發(fā)現(xiàn)，在L-S<'3>PR．網(wǎng)中SMS與資源回路是——對(duì)應(yīng)的關(guān)系。 在S<'3>PR(System of Simple Sequential Proce

3、sses witll Resource)網(wǎng)中，正是由于補(bǔ)集的存在導(dǎo)致了在網(wǎng)的進(jìn)化過程中，SMS被清空。依照SMS的T-特征向量矩陣的特性，SMS被分成基本信標(biāo)、強(qiáng)從屬和弱從屬信標(biāo)。任一個(gè)從屬信標(biāo)的補(bǔ)集均可以被一組基本信標(biāo)的補(bǔ)集線性表示，且組合關(guān)系完全等同于該從屬信標(biāo)特征T-向量與該組基本信標(biāo)特征T-向量之間的組合關(guān)系?；芈肪仃囀且粋€(gè)資源有向圖全部資源回路的代數(shù)描述，并且它與補(bǔ)集及T-特征向量矩陣相互等價(jià)。因此可以方便地、直觀地利用資源回