Parsimonious Monitor Control of Petri Net Models of Flexible Manufacturing Systems

被引:40
作者
Cordone, Roberto [1 ]
Piroddi, Luigi [2 ]
机构
[1] Univ Milan, Dipartimento Sci Informaz, I-20135 Milan, Italy
[2] Politecn Milan, Dipartimento Elettron & Informaz, I-20133 Milan, Italy
来源
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS | 2013年 / 43卷 / 01期
关键词
Branch and bound; deadlock prevention; flexible manufacturing systems; Petri nets; supervisory control; LIVENESS-ENFORCING SUPERVISORS; DEADLOCK PREVENTION POLICY; SIPHON CONTROL; DESIGN; RESOURCES;
D O I
10.1109/TSMCA.2012.2190139
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Most approaches for deadlock prevention and liveness enforcement in Petri nets rely on siphon control methods or the theory of regions to derive monitor-based supervisors. These techniques raise methodological and computational issues, from the existence of feasible solutions to the hardness of guaranteeing maximal permissivity and optimality in the size and cost of the control subnet. Recently, the supervisor design problem has also been reformulated as a direct monitor optimization task based on integer linear programming, which can more effectively deal with the mentioned issues and objectives. This paper introduces an efficient branch-and-bound scheme for the exploration of the solution space of the direct monitor optimization problem. An extensive computational analysis on a set of benchmark instances demonstrates the efficiency of the approach.
引用
收藏
页码:215 / 221
页数:7
相关论文
共 32 条
[1]  
Barkaoui K., LECT NOTES COMPUTER, V1091, P57
[2]   Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems [J].
Chen, YuFeng ;
Li, Zhiwu .
AUTOMATICA, 2011, 47 (05) :1028-1034
[3]   Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems [J].
Chen, YuFeng ;
Li, Zhiwu ;
Khalgui, Mohamed ;
Mosbahi, Olfa .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2011, 8 (02) :374-393
[4]   Enumeration. algorithms for minimal siphons in Petri nets based on place constraints [J].
Cordone, R ;
Ferrarini, L ;
Piroddi, L .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2005, 35 (06) :844-854
[5]   A PETRI-NET BASED DEADLOCK PREVENTION POLICY FOR FLEXIBLE MANUFACTURING SYSTEMS [J].
EZPELETA, J ;
COLOM, JM ;
MARTINEZ, J .
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1995, 11 (02) :173-184
[6]   Deadlock control methods in automated manufacturing systems [J].
Fanti, MP ;
Zhou, MC .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2004, 34 (01) :5-22
[7]  
Fumagalli I, 2010, P AMER CONTR CONF, P3365
[8]   Design of a live and maximally permissive Petri net controller using the theory of regions [J].
Ghaffari, A ;
Rezg, N ;
Xie, XL .
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2003, 19 (01) :137-142
[9]  
GIUA A, 1992, 1992 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1 AND 2, P974, DOI 10.1109/ICSMC.1992.271666
[10]   Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems [J].
Hu, Hesuan ;
Zhou, MengChu ;
Li, Zhiwu .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2011, 41 (02) :201-212