S3PR网的一种死锁预防策略 (2008年)

针对S3PR网的死锁预防问题，提出了一个有效的死锁预防控制算法，将用于死锁避免的C/DRUN控制策略扩展到基于信标的死锁预防策略中，合理分配控制库所的资源，从而保证不存在死锁的状态和步骤。首先将S3PR网中的严格极小信标分为基本信标和从属信标，由基本信标集合得出一组状态向量表示的线性不等式约束，然后将这组约束用C/D-RUN策略进行优化，得到一组标识向量满足的广义相互抑制约束。根据所得标识约束添加控制库所，使所有基本信标均为P-不变式可控，得到活的、结构简单的、许可行为更多的Petri网监督控制器。