一类petri网—s4r的死锁预防策略

s4r网作为一种特殊的petri网子类，与s'pr网相比可以建模更为复杂的、拥有多个并行加工进程的资源分配系统。针对s4r网提出了一种综合的死锁预防策略。利用mip检验由s4r网建模的柔性制造系统的活性，在新的信标控制概念的基础上对需要控制的系统进行控制。再利用mip检验受控网系统的活性，进一步控制不活的网系统。避免了对一些网不必要的控制以及一些网过于保守的控制，得到许可行为较多的控制器。