活性。R114191300如果一個變遷在狀態(tài)MO和MI的轉(zhuǎn)換過程中至少觸發(fā)一次,則該變遷為活的。Pctri網(wǎng)的活性,就是所有變遷都是活的。與活性相反的描述是死鎖,死鎖是由資源不合理利用或者資源消耗完畢造成的。由于集束型裝備的機(jī)械手是各加I模塊的共享資源,在資源共享中,如果下列四種情況同時滿足,那么系統(tǒng)將造成死鎖。

   (1)互斥:一個資源不可以為兩個以上的過程同時使用,一個過程排斥其他過程對資源的占用。

   (2)占用且等待:一個過程已占用某一或某些資源,同時又在請求占用其他資源。

   (3)無搶占:已分配給某一過程的資源不能從該過程被搶走,除非該過程對該資源使用完畢并釋放。

   (4)循環(huán)等待:兩個或兩個以上過程排成一個鏈,鏈上的每一過程都在等待下一個過程己占用的資源。