Selective Siphon Control for Deadlock Prevention in Petri Nets
Selective Siphon Control for Deadlock Prevention in Petri Nets
复制标题
DOI：
10.1109/tsmca.2008.2003535
复制
发表时间：
2008-11
期刊：
影响因子：
--
通讯作者：
L. Piroddi;R. Cordone;I. Fumagalli
中科院分区：
文献类型：
--
作者：
L. Piroddi;R. Cordone;I. Fumagalli
死锁预防是柔性制造系统建模中的关键步骤。在Petri网框架中，基于虹吸管控制的死锁预防策略经常被采用，因为它很容易指定广义互斥约束来避免虹吸管的清空。然而，这样的策略可能需要过多的计算负载，并导致不切实际的过大的控制开销。这通常是由虹吸管产生的控制条件中的冗余所导致的。在本文中，提出了一种新的方法，提供小尺寸的控制器，基于一组覆盖的方法，方便地将虹吸管和标记。一些例子来证明该方法的可行性，并将其与文献中提出的其他方法进行比较。
Deadlock prevention is a crucial step in the modeling of flexible manufacturing systems. In the Petri net framework, deadlock prevention policies based on siphon control are often employed, since it is easy to specify generalized mutual exclusion constraints that avoid the emptying of siphons. However, such policies may require an excessive computational load and result in impractical oversized control subnets. This is often a consequence of the redundancy in the control conditions derived from siphons. In this paper, a novel method is proposed that provides small size controllers, based on a set covering approach that conveniently relates siphons and markings. Some examples are provided to demonstrate the feasibility of the approach and to compare it with other methods proposed in the literature.