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

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

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