Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons
Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons
复制标题
设计具有更简单结构的活性执行监控器，以便使用必要的虹吸管在灵活的制造系统中实现无死锁操作
DOI：
10.1007/s10845-012-0647-4
复制
发表时间：
2012-05
影响因子：
8.3
通讯作者：
Cai, Ying
中科院分区：
文献类型：
--
作者：
Li, Shao Yong;An, Ai Min;Wang, Ying;Wang, Gang;Hou, Cai Qin;Cai, Ying
虹吸可以用来表征死锁状态和解决死锁问题的Petri网建模柔性制造系统。结合混合整数规划（MIP）和必要虹吸管（NSs）的概念，提出了一种基于迭代虹吸管的Petri网死锁预防策略。在ISC策略的每次迭代中，通过基于mip的死锁检测方法可以方便地找到与Petri网死锁密切相关的最大致命标记虹吸。然后对其中的位置进行分类，并从分类的位置推导出NS。对于找到的每个NS，根据其互补集，建议的策略添加适当的控制位置（CP）以使其标记为（最大控制）。此外，在ISC过程中，为了避免相应cp的添加，在一定条件下进行冗余np的测试。虹吸式控制过程迭代进行，直到被控系统运行为止。与现有的方法相比，所提出的策略通常通过添加尽可能少的cp来实现结构简单的执行活跃度的监管，并获得更好的控制效果。介绍了一些例子来说明所提出的方法。
Siphons can be used to characterize deadlock states and solve deadlock problems in Petri nets that model flexible manufacturing systems. This paper presents an iterative siphon-based control (ISC) deadlock prevention policy for Petri nets via the combination of mixed integer programming (MIP) and the concept of necessary siphons (NSs). At each iteration in this ISC policy, a maximal deadly marked siphon that is closely related to deadlocks in a Petri net can be conveniently found by an MIP-based deadlock detection method. Then the places in it are classified and an NS is derived from the classified places. For each NS found, depending on its complementary set, the proposed policy adds a proper control place (CP) to make it marked (max-controlled). Moreover, during the ISC procedure, a test for redundant NSs is carried out under a certain condition in order to avoid the addition of the corresponding CPs. The siphon control process proceeds iteratively until the controlled system is live. Compared with the existing approaches, the proposed policy usually leads to a structurally simple liveness-enforcing supervisor by adding as few CPs as possible and achieves better control results. Some examples are introduced to illustrate the proposed approach.
登录
查看更多内容
影响因子：
8.3
作者：
K. Saitou;S. Malpathak;Helge Qvam
通讯作者：
K. Saitou;S. Malpathak;Helge Qvam
DOI：
10.1109/tsmca.2008.918605
发表时间：
2008-05
期刊：
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
影响因子：
--
作者：
Zhiwu Li;Mengchu Zhou
通讯作者：
Zhiwu Li;Mengchu Zhou
DOI：
--
发表时间：
2008-02
期刊：
--
影响因子：
--
作者：
P. Dimitrijevic
通讯作者：
P. Dimitrijevic
DOI：
10.1109/tsmca.2008.2003535
发表时间：
2008-11
期刊：
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
影响因子：
--
作者：
L. Piroddi;R. Cordone;I. Fumagalli
通讯作者：
L. Piroddi;R. Cordone;I. Fumagalli
DOI：
10.6688/jise.2007.23.6.11
发表时间：
2007-11
期刊：
J. Inf. Sci. Eng.
影响因子：
--
作者：
D. Chao
通讯作者：
D. Chao