活性。R114191300如果一个变迁在状态MO和MI的转换过程中至少触发一次,则该变迁为活的。Pctri网的活性,就是所有变迁都是活的。与活性相反的描述是死锁,死锁是由资源不合理利用或者资源消耗完毕造成的。由于集束型装备的机械手是各加I模块的共享资源,在资源共享中,如果下列四种情况同时满足,那么系统将造成死锁。

   (1)互斥:一个资源不可以为两个以上的过程同时使用,一个过程排斥其他过程对资源的占用。

   (2)占用且等待:一个过程已占用某一或某些资源,同时又在请求占用其他资源。

   (3)无抢占:已分配给某一过程的资源不能从该过程被抢走,除非该过程对该资源使用完毕并释放。

   (4)循环等待:两个或两个以上过程排成一个链,链上的每一过程都在等待下一个过程己占用的资源。