中文摘要：

针对Petri网的S^3PMR中的死锁预防问题,提出一种优化的控制器设计方法。当控制器的优化性不能保证时,要对所添加的控制器进行结构分析,提出了一个输出弧位置最优化的死锁预防控制算法。将S^3PMR中的严格极小信标分为基本信标和从属信标,对每一个基本信标添加一个控制库所,使其P-不变式可控,且不会产生新的可被清空信标,对从属信标的控制则通过调整基本信标的控制深度变量来实现。从而用少量的控制库所得到结构更简单、许可行为更多的活性Petri网控制器。

英文摘要：

To solve the problem of deadlock prevention for a class of Petri nets, S^3PMR, an optimal deadlock prevention policy was proposed. Once the optimality couldn＇t be guaranteed, the position of the output arcs was optimized by structural analysis of the supervisor. Strict minimal siphons of an S^3PMR were divided into elementary and subordinate ones. For each elementary siphon, a monitor was added to ensure invariant-controlled without generating emptiable control-induced siphons. The controllability of a subordinate siphon was ensured by changing the control depth variables of its related elementary siphons, which led to a liveness-enforcing Petri net supervisor for a plant model. Furthermore, the methodology of this research would lead to a structurally simple liveness-enforcing supervisor with more permissive behaviors.