Control of Elementary and Dependent Siphons in Petri Nets and Their Application
Control of Elementary and Dependent Siphons in Petri Nets and Their Application
复制标题
DOI：
10.1109/tsmca.2007.909548
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Zhiwu Li;Mengchu Zhou
中科院分区：
文献类型：
--
作者：
Zhiwu Li;Mengchu Zhou
在Petri网的死锁分析和控制中，虹吸管的重要性已被充分认识。为了最小化需要明确控制的虹吸管的数量，将网中的虹吸管分为基本虹吸管和依赖虹吸管。新提出了富令牌、贫令牌和等价信标的概念。更一般的条件下，一个依赖的虹吸管可以始终标记成立。研究了Petri网中依赖信标的存在性。本文提出了一种在网系统中寻找基本信标集的算法，用于死锁控制。提出的基本虹吸概念，现有的死锁控制策略的应用进行了讨论。几个不同规模的制造业的例子被用来证明基本的基于虹吸的政策的优势。通过一个特定的死锁控制策略所提出的理论的显着价值。最后，一些有趣的和开放的问题进行了讨论。
The importance of siphons is well recognized in the analysis and control of deadlocks in a Petri net. To minimize the number of siphons that have to be explicitly controlled, siphons in a net are divided in a net into elementary and dependent ones. The concepts of token-rich, token-poor, and equivalent siphons are newly presented. More general conditions under which a dependent siphon can be always marked are established. The existence of dependent siphons in a Petri net is investigated. An algorithm is developed to find the set of elementary siphons in a net system for deadlock control purposes. The application of the proposed elementary siphon concept to the existing deadlock control policies is discussed. A few different-sized manufacturing examples are used to demonstrate the advantages of elementary siphon-based policies. The significant value of the proposed theory via a particular deadlock control policy is shown. Finally, some interesting and open problems are discussed.