A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets

Automatica

Volumn 49, Issue 11, 2013, Pages 3167-3179

  Liu, Ding ^a   Li, Zhiwu ^a   Zhou, Mengchu ^b,c  

^a XIDIAN UNIVERSITY   (China)

^b Department of Computer Science and Technology   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Flexible manufacturing system; Liveness enforcing supervisor; Monitor; Petri net; Ratio enforcing supervisor

Indexed keywords

FLEXIBLE MANUFACTURING SYSTEMS; MONITORING; PETRI NETS;

CONTROL PARAMETERS; INDUSTRIAL PRACTITIONERS; INITIAL MARKING; LIVENESS-ENFORCING SUPERVISOR; RESOURCE USAGE; SHARED RESOURCES; SYNTHESIS METHOD; TOPOLOGICAL STRUCTURE;

SUPERVISORY PERSONNEL;

EID: 84885620005     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2013.07.023     Document Type: Article

References (54)

1. E. Badouel, and P. Darondeau Theory of regions Lectures on petri nets I: basic models LNCS vol. 1491 1998 529 586
2. Barkaoui, K.; Chaoui, A.; & Zouari, B. (1997). Supervisory control of discrete event systems based on structure theory of Petri nets. In Proceedings of IEEE international conference on systems, man, and cybernetics (pp. 3750-3755). Orlando, USA, Oct. 12-15.
3. K. Barkaoui, J.M. Couvreur, and K. Klai On the equivalence between liveness and deadlock-freeness in Petri nets Proceedings of the 26th international conference on application and theory of Petri nets LNCS vol. 3536 2005 90 107
4. Barkaoui, K.; & Petrucci, L. (1998). Structural analysis of workflow nets with shared resources. In Proceedings of the workshop on workflow management: net-based concepts, models, techniques and tools (pp. 82-95). Lisbon, Portugal, Jun. 22.
5. Barkaoui, K.; & Pradat-Peyre, J. F. (1996). On liveness and controlled siphons in Petri nets. In Proceedings of the 17th international conference on application and theory of petri nets (pp. 57-72). Osaka, Japan, Jun. 24-28.
6. 2 IET Control Theory and Applications 1 4 2007 933 936
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. 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
9. H. Cho, T.K. Kumaran, and R.A. Wysk Graph-theoretic deadlock detection and resolution for flexible manufacturing systems IEEE Transactions on Robotics and Automation 11 3 1995 413 421
10. J. Ezpeleta, J.M. Colom, and J. Martínez A petri net based deadlock prevention policy for flexible manufacturing systems IEEE Transactions on Robotics and Automation 11 2 1995 173 184
11. Ezpeleta, J.; García-Vallés, F.; & Colom, J.M. (1998). A class of well structured Petri nets for flexible manufacturing systems. In Proceedings of the 19th international conference on application and theory of petri nets (pp. 64-83). Lisbon, Portugal, Jun. 22-26.
12. M.P. Fanti, B. Maione, and B. Turchiano Comparing digraph and Petri net approaches to deadlock avoidance in FMS IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics 30 5 2000 783 798
13. M.P. Fanti, and M.C. Zhou Deadlock control methods in automated manufacturing systems IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 34 1 2004 5 22
14. 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
15. C. Girault, and R. Valk Petri nets for systems engineering - a guide to modeling, verification, and applications 2003 Springer-Verlag Berlin, Germany
16. F.S. Hsieh Robustness analysis of non-ordinary Petri nets for flexible assembly systems International Journal of Control 83 5 2010 928 939
17. F.S. Hsieh Robustness analysis of non-ordinary Petri nets for flexible assembly/disassembly processes based on structural decompostion International Journal of Control 84 3 2011 496 510
18. Hu, H.S.; Zhou, M.C.; & Li, Z.W. (2009). A new class of Petri nets for modeling and control of ratio-enforced resource allocation systems. In Proceedings of 2009 ieee international conference on systems, man, and cybernetics (pp. 199-204). San Antonio, USA, Oct. 11-14.
19. H.S. Hu, M.C. Zhou, and Z.W. Li Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets IEEE Transactions on Automation Science and Engineering 7 4 2010 933 944
20. H.S. Hu, M.C. Zhou, and Z.W. Li Supervisor design to enforc production ratio and absence of deadlock in automated manufacturing systems IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 41 2 2011 201 212
21. H.S. Hu, M.C. Zhou, Z.W. Li, and Y. Tang An optimization approach to improved Petri net controller design for automated manufacturing systems IEEE Transactions on Automation Science and Engineering 10 3 2013 772 782
22. I. Koh, and F. DiCesare Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems IEEE Transactions on Systems, Man, and Cybernetics 21 6 1991 1512 1522
23. J.K. Lee, and O. Korbaa Modeling and scheduling of ratio-driven FMS using unfolding time Petri nets Computers & Industrial Engineering 46 4 2004 639 653
24. F.L. Lewis, A. Gürel, S. Bogdan, A. Doǧanalp, and O.C. Pastravanu Analysis of deadlock and circular waits using a matrix model for flexible manufacturing systems Automatica 34 9 1998 1083 1100
25. Z.W. Li, and M. Zhao On controllability of dependent siphons for deadlock prevention in generalized Petri nets IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 38 2 2008 369 384
26. 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: Systems and Humans 34 1 2004 38 51
27. Z.W. Li, and M.C. Zhou Deadlock resolution in automated manufacturing systems - a novel Petri net approach 2009 Springer London
28. 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
29. 3PR Automatica 46 6 2010 1008 1018
30. 3PR [Automatica 46 (2010) 1008-1018] Automatica 48 5 2012 1003 1004
31. D. Liu, Z.W. Li, and M.C. Zhou Hybrid liveness-enforcing policy for generalized Petri net models of flexible manufacturing systems IEEE Transactions on Systems, Man, and Cybernetics: Systems 43 1 2013 85 97
32. G.J. Liu, C.J. Jiang, M.C. Zhou, and P.C. Xiong Interactive Petri nets IEEE Transactions on Systems, Man, and Cybernetics: Systems 43 2 2013 291 302
33. R.M. Mahoney High-mix-low-volume manufacturing 1997 Prentice Hall PTR
34. O. Marchetti, and A. Munier-Kordon A sufficient condition for the liveness of weighted event graphs European Journal of Operational Research 197 2 2009 532 540
35. Ohl, H.; Camus, H.; Castelain, E.; & Gentina, J.C. (1995). Petri net modeling of ratio-driven flexible manufacturing systems and implications on the WIP for cyclic schedules. In Proceedings of the 1995 ieee international conference on systems, man, and cybernetics (pp. 3081-3086). Vancouver, Canada, Oct. 22-25.
36. Ohta, A.; & Tsuji, A. (2003). Insufficiently marked siphon of Petri nets-extension of token-free siphon. In Proceedings of the 2003 International Symposium on Circuits and Systems (pp. III244-III247). Bangkok, Thailand, May 25-28.
37. J. Park, and S.A. Reveliotis Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings IEEE Transactions on Automatic Control 46 10 2001 1572 1583
38. Petri, C.A.; & Reisig, W. (2008). Petri net. Scholarpedia, 3(4):6477. http://www.scholarpedia.org/article/Petri
39. P.J. 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
40. S. Reveliotis Implicit siphon control and its role in the liveness-enforcing supervision of sequential resource allocation systems IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 37 3 2007 319 328
41. Tricas, F. (2003). Deadlock analysis, prevention and avoidance in sequential resource allocation systems, Ph.D. Dissertation, University of Zaragoza, Spain.
42. Tricas, F.; García-Vallés, F.; Colom, J.M.; & Ezpeleta, J. (2000). An iterative method for deadlock prevention in FMS. In Proceedings of the 5th workshop on discrete event systems (pp. 139-148) Ghent, Belgium, Aug. 21-23.
43. Tricas, F.; & Martínez, J. (1995). An extension of the liveness theory for concurrent sequential processes competing for shared resources. In Proceedings of the 1995 IEEE international conference on systems, man, and cybernetics. (pp. 3035-3040) Vancouver, Canada, Oct. 22-25.
44. 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
45. 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: Systems and Humans 37 3 2007 362 371
46. W.M. Wonham, and P.J. Ramadeg Modular supervisory control of discrete-evnet systems Mathematics of Control, Signals, and Systems 1 1 1988 13 30
47. N.Q. Wu, and M.C. Zhou System modeling and control with resource-oriented Petri nets 2010 CRC Press New York
48. K.Y. Xing, M.C. Zhou, F. Wang, H.X. Liu, and F. Tian Resource-transition circuits and siphons for deadlock control of automated manufacturing systems IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 41 1 2011 74 84
49. C.F. Zhong, and Z.W. Li Design of liveness-enforcing supervisors via transforming plant Petri net models of FMS Asian Journal of Control 12 3 2010 240 252
50. C.F. Zhong, and Z.W. Li Self-liveness of a class of Petri net models for flexible manufacturing systems IET Control Theory and Applications 4 3 2010 403 410
51. M.C. Zhou Petri nets in flexible and agile automation 1995 Kluwer Academic Publishers London
52. M.C. Zhou, and F. DiCesare Petri net synthesis for discrete event control of manufacturing systems 1993 Kluwer London
53. M.C. Zhou, and M.P. Fanti Deadlock resolution in computer-integrated systems 2005 Marcel Dekker New York
54. M.C. Zhou, and K. Venkatesh Modeling, simulation and control of flexible manufacutirng systems - a Petri net approach 1998 World Scientific Singapore