Efficient computation of strict minimal siphons for a class of Petri nets models of automated manufacturing systems
Efficient computation of strict minimal siphons for a class of Petri nets models of automated manufacturing systems
复制标题
自动化制造系统一类 Petri 网模型的严格最小虹吸管的高效计算
DOI：
10.1177/0142331208095678
复制
发表时间：
2011-02
影响因子：
1.8
通讯作者：
Jia, Jianyuan
中科院分区：
文献类型：
--
作者：
Wang, Anrong;Li, Zhiwu;Jia, Jianyuan
作为Petri网的结构对象，信标在资源分配系统的死锁预防策略中起着关键作用。在Petri网的虹吸解决方案已被广泛研究的文献。由于网中虹吸管的数量快速增长，并且在最坏的情况下，相对于网的大小呈指数增长，因此它们的计算是昂贵的。本文的目的是寻找一类Petri网中的严格最小信标数，这类Petri网称为带资源的线性简单顺序过程扩展系统，它可以模拟除了空闲状态之外不存在柔性加工路线的柔性制造系统，并且每个操作状态可能需要多种资源。首先，验证了Petri网类中结构性质与严格极小信标之间的关系。其次，我们定义了类网的资源有向图。最后，基于所得结果，提出了一种求严格极小信标集的方法。一个运行的例子被用来证明所提出的方法。
As a structural object of Petri nets, siphons play a key role in the development of deadlock prevention policies for resource allocation systems. The siphon solution in Petri nets has been extensively investigated in the literature. Since the number of siphons in a net grows quickly and in the worst case grows exponentially with respect to the size of a net, their computation is expensive. This paper aims to find the strict minimal number of siphons in a class of Petri nets, called extended systems of linear simple sequential process with resources, which can model flexible manufacturing systems where there exist no flexible processing routings except for the idle state and each operation state may require more than one sort of resources. First, a relationship between structural properties and strict minimal siphons in the class of Petri net is verified. Second, we define the resource digraph of the class net. Finally, based on the obtained results, a method to find the set of strict minimal siphons is proposed. A running example is used to demonstrate the proposed methods.
登录
查看更多内容
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：
10.1007/3-540-61363-3_4
发表时间：
1996-06
期刊：
--
影响因子：
--
作者：
Kamel Barkaoui;Jean-François Pradat-Peyre
通讯作者：
Kamel Barkaoui;Jean-François Pradat-Peyre
DOI：
10.1109/tsmca.2003.820576
发表时间：
2004-01
期刊：
IEEE Trans. Syst. Man Cybern. Part A
影响因子：
--
作者：
Zhiwu Li;Mengchu Zhou
通讯作者：
Zhiwu Li;Mengchu Zhou
DOI：
10.1109/tsmca.2007.909548
发表时间：
2008
期刊：
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
影响因子：
--
作者：
Zhiwu Li;Mengchu Zhou
通讯作者：
Zhiwu Li;Mengchu Zhou
影响因子：
12.3
作者：
Zhiwu Li;Mengchu Zhou
通讯作者：
Zhiwu Li;Mengchu Zhou