Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems

Information Sciences

Volumn 256, Issue , 2014, Pages 74-90

  Chen, Yufeng ^a,b   Li, Zhiwu ^a   Barkaoui, Kamel ^b  

^a XIDIAN UNIVERSITY   (China)

^b Bioinformatique et Chimie Moléculaire   (France)

Author keywords

Deadlock prevention; Flexible manufacturing system (FMS); Lowest implementation cost; Optimal liveness enforcing supervisor; Petri net

Indexed keywords

COMPUTATIONAL OVERHEADS; CONTROL AND OBSERVATIONS; DEADLOCK PREVENTION; IMPLEMENTATION COST; INTEGER LINEAR PROGRAMMING; LIVENESS-ENFORCING SUPERVISOR; OBJECTIVE FUNCTIONS; OPTIMAL LIVENESS-ENFORCING SUPERVISORS;

FLEXIBLE MANUFACTURING SYSTEMS; INTEGER PROGRAMMING; PETRI NETS; SUPERVISORY PERSONNEL;

COSTS;

EID: 84887238554     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2013.07.021     Document Type: Article

References (49)

1. Z. Banaszak, and B.H. Krogh Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows IEEE Transactions on Robotics and Automation 6 6 1990 724 734
2. K. Barkaoui, I. Ben Abdallah, Analysis of a resource allocation problem in FMS using structure theory of Petri nets, in: Proceedings of the First International Workshop on Manufacturing and Petri Nets, 1996.
3. K. Barkaoui, and J.F. Peyre On liveness and controlled siphons in Petri nets J. Bilington, W. Reisig, Proc. 17th Int. Conf. Appl. Theory Petri Nets Lecture Notes in Computer Science vol. 1091 1996 Springer-Verlag New York 57 72
4. F. Basile, P. Chiacchio, and A. Guia An optimization approach to Petri net monitor design IEEE Transactions on Automatic Control 52 2 2007 306 311
5. R. Cordone, L. Piroddi, Monitor optimization in Petri net control, in: 7th Annual IEEE Conference on Automation Science and Engineering, Trieste (Italy), August 24-27, 2011, pp. 413-418.
6. Y.F. Chen, Z.W. Li, M. Khalgui, and O. Mosbahi Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems IEEE Transactions on Automation Science and Engineering 8 2 2011 374 393
7. Y.F. Chen, and Z.W. Li Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems Automatica 47 5 2011 1028 1034
8. E.G. Coffman, M.J. Elphick, and A. Shoshani Systems deadlocks ACM Computing Surveys 3 2 1971 67 78
9. J. Ezpeleta, J.M. Colom, and J.A. Martinez Petri net based deadlock prevention policy for flexible manufacturing systems IEEE Transactions on Robotics and Automation 11 2 1995 173 184
10. J. Ezpeleta, and L. Recalde A deadlock avoidance approach for non-sequential resource allocation systems IEEE Transactions on Systems, Man, and Cybernetics, Part A 34 1 2004 93 101
11. M.P. Fanti, and M.C. Zhou Deadlock control methods in automated manufacturing systems IEEE Transactions on Systems, Man, and Cybernetics, Part A 34 1 2004 5 22
12. M.P. Fanti, and M.C. Zhou Deadlock control methods in automated manufacturing systems Deadlock Resolution in Computer-Integrated Systems 2005 Marcel-Dekker Co. New York 1 22
13. A. Ghaffari, N. Rezg, and X.L. Xie Design of a live and maximally permissive Petri net controller using the theory of regions IEEE Transactions on Robotics and Automation 19 1 2003 137 142
14. V. Gligor, and S. Shattuck On deadlock detection in distributed systems IEEE Transactions on Software Engineering 7 3 1980 320 336
15. B. Hruz, and M.C. Zhou Modeling and Control of Discrete Event Dynamic Systems 2007 Springer London, UK
16. F.S. Hsieh, and S.C. Chang Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems IEEE Transactions on Robotics and Automation 10 2 1994 196 209
17. F.S. Hsieh Fault-tolerant deadlock avoidance algorithm for assembly processes IEEE Transactions Systems, Man, and Cybernetics, Part A 34 1 2004 65 79
18. Y.S. Huang, M.D. Jeng, X.L. Xie, and S.L. Chung Deadlock prevention based on Petri nets and siphons International Journal of Production Research 39 2 2001 283 305
19. Y.S. Huang, M.D. Jeng, X.L. Xie, and D.H. Chung Siphon-based deadlock prevention for flexible manufacturing systems IEEE Transactions on Systems, Man, and Cybernetics, Part A 36 6 2006 1248 1256
20. M.D. Jeng, and X.L. Xie Deadlock detection and prevention of automated manufacturing systems using Petri nets and siphons M.C. Zhou, M.P. Fanti, Deadlock Resolution in Computer-Integrated Systems 2005 Marcel-Dekker Inc New York 233 281
21. T.K. Kumaran, W. Chang, H. Cho, and A. Wysk A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems International Journal of Production Research 32 10 1994 2361 2379
22. K. Lautenbach, H. Ridder, The Linear Algebra of Deadlock Avoidance - A Petri Net Approach, No. 25-1996, Technical Report, Institute of Software Technology, University of Koblenz-Landau, Koblenz, Germany, 1996.
23. Z.W. Li, and M.C. Zhou 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 2004 38 51
24. Z.W. Li, and M.C. Zhou Clarifications on the definitions of elementary siphons of Petri nets IEEE Transactions on Systems, Man, and Cybernetics, Part A 36 6 2006 1227 1229
25. Z.W. Li, H.S. Hu, and A.R. Wang Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets IEEE Transactions on Systems, Man, and Cybernetics, Part C 37 4 2007 517 526
26. Z.W. Li, and M.C. Zhou Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets IEEE Transactions on Industrial Informatics 2 4 2006 313 325
27. Z.W. Li, M.C. Zhou, and M.D. Jeng A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions IEEE Transactions on Automation Science and Engineering 5 1 2008 182 188
28. Z.W. Li, and M.C. Zhou Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach 2009 Springer London
29. Lingo, Premier Optimization Modeling Tools, < http://www.lingo.com > (accessed 10.09).
30. 3PR Automatica 46 6 2010 1008 1018
31. T. Murata Petri nets: properties, analysis and application Proceedings of the IEEE 77 4 1989 541 580
32. L. Piroddi, R. Cordone, and I. Fumagalli Selective siphon control for deadlock prevention in Petri nets IEEE Transactions on Systems, Man, and Cybernetics, Part A 8 6 2008 1337 1348
33. P. Ramadge, and W.M. Wonham Supervisory control of a class of discrete event processes SIAM journal on Control and Optimization 25 1 1987 206 230
34. P. Ramadge, and W.M. Wonham The control of discrete event systems Proceedings of the IEEE 77 1 1989 81 89
35. K.R. Rohloff, S. Khuller, and G. Kortsarz Approximating the minimal sensor selection for supervisory control Discrete Event Dynamic System 16 2006 143 170
36. F. Tricas, J. Martinez, An extension of the liveness theory for concurrent sequential processes competing for shared resources, in: Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, Vancouver, British Columbia, Canada, 1995, pp. 3035-3040.
37. M. Uzam An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions International Journal of Advanced Manufacturing Technology 19 3 2002 192 208
38. M. Uzam, and M.C. Zhou An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems International Journal of Production Research 44 10 2006 1987 2030
39. M. Uzam, and M.C. Zhou An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems IEEE Transactions on Systems, Man and Cybernetics, Part A 37 3 2007 362 371
40. N. Viswanadham, Y. Narahari, and T. Johnson Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models IEEE Transactions on Robotics and Automation 6 6 1990 713 723
41. N.Q. Wu Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model IEEE Transactions on Systems, Man, and Cybernetics, Part C, 29 2 1999 192 204
42. N.Q. Wu, and M.C. Zhou Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems IEEE Transactions on Robotics and Automation 17 5 2001 658 669
43. N.Q. Wu, and M.C. Zhou Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles IEEE Transactions on Systems, Man, and Cybernetics, Part B, 35 6 2005 193 1202
44. N.Q. Wu, and M.C. Zhou System Modeling and Control with Resource-Oriented Petri Nets 2010 CRC Press New York
45. R.A. Wysk, N.S. Yang, and S. Joshi Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches Journal of Manufacturing Systems 13 2 1994 128 138
46. K.Y. Xing, B.S. Hu, and H.X. Chen Deadlock avoidance policy for Petri-net modelling of flexible manufacturing systems with shared resources IEEE Transactions on Automatic Control 41 2 1996 289 295
47. K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis Feedback control of Petri nets based on place invariants Automatica 32 1 1996 15 28
48. S.D. Young, V.K. Garg, Optimal sensor and actuator choices for discrete event systems, in: Proceeding of 31st Allerton Conference on Communication, Control and Computing, Allerton, IL, 1993.
49. M.C. Zhou, and F. DiCesare Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources IEEE Transactions on Robotics and Automation 7 4 1991 515 527