Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets
Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets
复制标题
DOI：
10.1109/tii.2006.885185
复制
发表时间：
2006-11
影响因子：
12.3
通讯作者：
Zhiwu Li;Mengchu Zhou
中科院分区：
文献类型：
--
作者：
Zhiwu Li;Mengchu Zhou
提出了一种两阶段综合柔性制造系统(FMS)活性强化监控器的方法，该方法可以用一类Petri网建模。首先，我们找出需要使用混合整数规划(MIP)方法控制的信标。这种方法避免了对于较大的植物模型而言比MIP方法更耗时的完全虹吸枚举。仅为需要它们的信标添加监视器。其次，在保持活跃度的前提下，对监视器的输出弧线进行重新排列。活性验证采用了基于MIP的死锁检测方法，而不是耗时的可达性分析。实验研究表明，与已有方法相比，该方法具有更高的效率，产生的监控器具有更大的容许性和结构上的简单性。本文为基于信标的死锁控制方法在工业规模的FMS中的应用提供了可能
This paper develops a two-stage approach to synthesizing liveness-enforcing supervisors for flexible manufacturing systems (FMS) that can be modeled by a class of Petri nets. First, we find siphons that need to be controlled using a mixed integer programming (MIP) method. This way avoids complete siphon enumeration that is more time-consuming for a sizable plant model than the MIP method. Monitors are added for only those siphons that require them. Second, we rearrange the output arcs of the monitors on condition that liveness is still preserved. The liveness is verified by an MIP-based deadlock detection method instead of much time-consuming reachability analysis. Experimental studies show that the proposed approach is more efficient than the existing ones and can result in more permissive and structurally simpler liveness-enforcing supervisors than all the known existing methods. This paper makes the application of siphon-based deadlock control methods to industrial-size FMS possible