Computationally Improved Optimal Deadlock Control Policy for Flexible Manufacturing Systems

被引：68

作者：

Huang, Yi-Sheng ^{[1
]}

Pan, Yen-Liang ^{[2
]}

Zhou, MengChu ^{[3
,4
]}

机构：

[1] Natl Ilan Univ, Dept Elect Engn, Ilan 260, Taiwan

[2] AF Acad, Dept Avion Engn, Kaohsiung 820, Taiwan

[3] Tongji Univ, Minist Educ, Key Lab Embedded Syst & Serv Comp, Shanghai 200092, Peoples R China

[4] New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA

来源：

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS | 2012年 / 42卷 / 02期

基金：

中国国家自然科学基金;

关键词：

Deadlock prevention; discrete event system; flexible manufacturing system (FMS); Petri net (PN); theory of regions; LIVENESS-ENFORCING SUPERVISORS; PARTIAL SET 2-STRUCTURES; PETRI-NET SYNTHESIS; PREVENTION POLICY; SIPHON CONTROL; DESIGN; FMS; AVOIDANCE; MODELS;

D O I：

10.1109/TSMCA.2011.2164241

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

080201 [机械制造及其自动化];

摘要：

Deadlock prevention, deadlock detection, and deadlock avoidance strategies are used to solve the deadlock problems of flexible manufacturing systems. The theory of regions is recognized as the unique method for obtaining maximally permissive (i.e., optimal) controllers in the existing literature. All legal and live maximal behavior of a Petri net model can be preserved by using a marking/transition-separation instance (MTSI). However, obtaining them is an extremely time consuming problem. This work proposes crucial MTSIs that allow designers to employ much fewer MTSIs to deal with deadlocks. The advantage of the proposed policy is that an optimal deadlock controller can be obtained with drastically reduced computation. Experimental results, by varying the markings of given net structures, indicate that it is the most efficient policy to obtain such controllers.

引用

页码：404 / 415

页数：12

共 45 条

[1]

Deadlock prevention and avoidance in FMS: A Petri net based approach [J].

Abdallah, IB ;

ElMaraghy, HA .

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1998, 14 (10) :704-715

[2]

Badouel E, 1995, LECT NOTES COMPUT SC, V915, P364

[3]

Badouel E., 1996, SYNTHESIS GEN PETRI

[4]

Badouel E., 1998, 3 ADV COURSE PETRI N

[5]

Barkaoui K., 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95 (Cat. No.95TH8056), P499, DOI 10.1109/ETFA.1995.496690

[6]

Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems [J].