A deadlock control policy for a subclass of Petri nets G-system

被引：1

作者：

Li, Shao-Yong ^{[1
]}

An, Ai-Min ^{[2
]}

Cai, Ying ^{[1
]}

Hou, Cai-Qin ^{[1
]}

Han, Xi-Lian ^{[1
]}

Wang, Ying ^{[1
]}

机构：

[1] School of Civil Engineering, Lanzhou University of Technology

[2] College of Electrical and Information Engineering, Lanzhou University of Technology

来源：

Kongzhi Lilun Yu Yingyong/Control Theory and Applications | 2013年 / 30卷 / 11期

关键词：

Deadlock control; Flexible manufacturing system; Live controlled system; Petri nets; Smart siphon;

D O I：

10.7641/CTA.2013.21259

中图分类号：

学科分类号：

摘要：

Since deadlock problems in flexible manufacturing systems (FMSs) modeled with Petri nets are closely related to the siphons in Petri nets, how to accurately and quickly solve such problems is important for designing the control policies for siphon-based controllable deadlock. This paper proposes an iterative deadlock control policy to solve and control smart siphons (SSs) in a subclass of Petri nets, i.e., G-system. Comparing with the existing partial siphon enumeration methods for solving the siphons associated with deadlocks, the proposed method avoids the process of finding the maximal deadly marked siphons in the Petri net and then extracting from which the minimal siphons, thus improving the solution efficiency. Meanwhile, by adding the proper control places (CPs) to make the obtained smart siphons max'-controlled, we further increase the number of permissive behaviors of the corresponding live controlled Petri net system with liveness. Theoretical analysis and examples validate the efficiency of the proposed policy.

引用

页码：1429 / 1436

页数：7

共 18 条

[1]

Wu N.Q., Zhou M.C., System modeling and control with resourceoriented petri nets, Control Engineering Series, (2009)

[2]

Li Z.W., Zhou M.C., Deadlock resolution in automated manufacturing systems, A Novel Petri Net Approach, (2009)

[3]

Li Z., Zhou M., Modeling, Analysis, and Deadlock Control of Automated Manufacturing Systems: Control Technology and Automated Manufacture, (2009)

[4]

Wu Z., Introduction to Petri Nets, (2006)

[5]

Ezpeleta J., Colom J.M., Martinez J., A Petri net based deadlock prevention policy for flexible manufacturing systems, IEEE Transactions on Robotics and Automation, 11, 2, pp. 173-184, (1995)

[6]

Huang Y.S., Jeng M.D., Xie X.L., Et al., Siphon-based deadlock prevention policy for flexible manufacturing systems, IEEE Transactions on Systems, Man, and Cybernetics, Part A, 36, 6, pp. 1248-1256, (2006)

[7]

Li S., Wang A., A deadlock prevention policy in Petri nets using necessary siphons, Control Theory & Applications, 28, 6, pp. 771-780, (2011)

[8]

Li S.Y., Li Z.W., Hu H.S., Siphon extraction for deadlock control in fexible manufacturing systems by using Petri nets, International Journal of Computer Integrated Manufacturing, 24, 8, pp. 710-725, (2011)

[9]

Li S.Y., Li Z.W., Hu H.S., Et al., An extraction algorithm for a set of elementary siphons based on mixed-integer programming, Journal of Systems Science and Systems Engineering, 21, 1, pp. 106-125, (2012)

[10]

Li Z.W., Zhou M.C., Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems, IEEE Transactions on Systems, Man, and Cybernetics, Part A, 34, 1, pp. 38-51, (2004)

← 1 2 →