Optimal supervisory control of flexible manufacturing systems by petri nets: A set classification approach

IEEE Transactions on Automation Science and Engineering

Volumn 11, Issue 2, 2014, Pages 549-563

  Chen, Yufeng ^a   Li, Zhiwu ^a   Zhou, Meng Chu ^b  

^a XIDIAN UNIVERSITY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Deadlock prevention; first met bad marking (FBM); flexible manufacturing system (FMS); maximal permissiveness; Petri net; supervisory control

Indexed keywords

CONTROL; FLEXIBLE MANUFACTURING SYSTEMS; INTEGER PROGRAMMING;

CLASSIFICATION APPROACH; DEADLOCK PREVENTION; FIRST-MET BAD MARKING (FBM); INTEGER LINEAR PROGRAMMING MODELS; LINEAR CONSTRAINTS; MAXIMAL PERMISSIVENESS; OPTIMAL SUPERVISORY CONTROL; SUPERVISORY CONTROL;

PETRI NETS;

EID: 84898789971     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2013.2241762     Document Type: Article

References (52)

1. Z. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturingsystems with concurrently competing process flows," IEEETrans. Robot. Autom., vol. 6, no. 6, pp. 724-734, Dec. 1990.
2. Y. F. Chen, Z. W. Li, M. Khalgui, and O. Mosbahi, "Design of a maximallypermissive liveness-enforcing Petri net supervisor for flexiblemanufacturing systems," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 2,pp. 374-393, Apr. 2011.
3. Y. F. Chen and Z. W. Li, "Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structurefor flexible manufacturing systems," Automatica, vol. 47, no. 5, pp.1028-1034, 2011.
4. Y. F. Chen and Z.W. Li, "On structural minimality of optimal supervisorsfor flexible manufacturing systems," Automatica, vol. 48, no. 10,pp. 2647-2656, 2012.
5. Y. F. Chen and Z.W. Li, "Behaviorally optimal and structurally simpleliveness-enforcing supervisors of flexible manufacturing systems,"IEEE Trans. Syst. Man, Cybern., Part A, vol. 42, no. 3, pp. 615-629,May 2012.
6. Y. F. Chen and Z.W. Li, Optimal Supervisory Control of AutomatedManufacturing Systems. Boca Raton, FL, USA: CRC Press, 2013.
7. E. G. Coffman, M. J. Elphick, and A. Shoshani, "System deadlocks,"ACM Comput. Surveys, vol. 3, no. 2, pp. 67-78, 1971.
8. J. Ezpeleta, J. M. Colom, and J. A.Martinez, "Petri net based deadlockprevention policy for flexible manufacturing systems," IEEE Trans.Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
9. J. Ezpeleta, F. Tricas, F. Garcia-Valles, and J. M. Colom, "A banker'ssolution for deadlock avoidance in FMS with flexible routing andmultiresource states," IEEE Trans. Robot. Autom., vol. 18, no. 4, pp.621-625, Aug. 2002.
10. M. P. Fanti and M. C. Zhou, "Deadlock control methods in automatedmanufacturing systems," IEEE Trans. Syst. Man, Cybern., Part A, vol.34, no. 1, pp. 5-22, Jan. 2004.
11. A. Ghaffari, N. Rezg, and X. L. Xie, "Design of a live and maximallypermissive Petri net controller using the theory of regions," IEEETrans. Robot. Autom., vol. 19, no. 1, pp. 137-141, Feb. 2003.
12. F. S. Hsieh and S. C. Chang, "Dispatching-driven deadlock avoidancecontroller synthesis for flexible manufacturing systems," IEEE Trans.Robot. Autom., vol. 10, no. 2, pp. 196-209, Apr. 1994.
13. H. S. Hu,M. C. Zhou, and Z.W. Li, "Liveness enforcing supervision ofvideo streaming systems using nonsequential Petri nets," IEEE Trans.Multimedia, vol. 11, no. 8, pp. 1457-1465, 2009.
14. H. S. Hu, M. C. Zhou, and Z. W. Li, "Algebraic synthesis of timed supervisorfor automated manufacturing systems using Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 3, pp. 549-557, Jul. 2010.
15. Y. S. Huang, M. D. Jeng, X. L. Xie, and D. H. Chung, "Siphon- baseddeadlock prevention for flexible manufacturing systems," IEEE Trans.Syst. Man, Cybern., Part A, vol. 36, no. 6, pp. 1248-1256, Nov. 2006.
16. M. V. Iordache and P. J. Antsaklis, Supervision Based on Place Invariants:A Survey. Boston, MA, USA: Kluwer, 2005.
17. M. V. Iordache and P. J. Antsaklis, "A structural approach to the enforcementof language and disjunctive constraints," in Proc. Amer.Control Conf., 2005, pp. 3920-3925.
18. M. V. Iordache and P. J. Antsaklis, "Petri net supervisors for disjunctiveconstraints," in Proc. Amer. Control Conf., 2007, pp. 4951-4956.
19. M.D. Jeng and X. L. Xie, "Deadlock detection and prevention of automatedmanufacturing systems using Petri nets and siphons," in DeadlockResolution in Computer-Integrated Systems,M. C.Zhou andM. P.Fanti, Eds. New York, NY,USA:Marcel-Dekker, 2005, pp. 233-281.
20. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri nets and theirapplication to deadlock prevention in flexible manufacturing systems,"IEEE Trans. Syst. Man, Cybern., Part A, vol. 34, no. 1, pp. 38-51, Jan.2004.
21. Z.W. Li and M. C. Zhou, "Clarifications on the definitions of elementarysiphons of Petri nets," IEEE Trans. Syst. Man, Cybern., Part A,vol. 36, no. 6, pp. 1227-1229, 2006.
22. Z.W. Li andM. C. Zhou, "Two-stage method for synthesizing livenessenforcingsupervisors for flexible manufacturing systems using Petrinets," IEEE Trans. Ind. Informat., vol. 2, no. 4, pp. 313-325, Nov.2006.
23. Z. W. Li, H. S. Hu, and A. R. Wang, "Design of liveness- enforcingsupervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Syst., Man, Cybern., Part C, vol. 37, no. 4, pp. 517-526, Jul.2007.
24. Z. W. Li and M. C. Zhou, "Control of elementary and dependentsiphons in Petri nets and their application," IEEE Trans. Syst. Man,Cybern., Part A, vol. 38, no. 1, pp. 133-148, Jan. 2008.
25. Z. W. Li, M. C. Zhou, and N. Q. Wu, "A survey and comparison ofPetri net-based deadlock prevention policies for flexible manufacturingsystems," IEEE Trans. Syst. Man, Cybern., Part C, vol. 38, no. 2, pp.173-188, Mar. 2008.
26. Z. W. Li,M. C. Zhou, and M. D. Jeng, "A maximally permissive deadlockprevention policy for FMS based on Petri net siphon control andthe theory of regions," IEEE Trans. Autom. Sci. Eng., vol. 5, no. 1, pp.182-188, Jan. 2008.
27. Z. W. Li and M. Zhao, "On controllability of dependent siphons fordeadlock prevention in generalized Petri nets," IEEE Trans. Syst. Man,Cybern., Part A, vol. 38, no. 2, pp. 369-384, Mar. 2008.
28. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated ManufacturingSystems: A Novel Petri Net Approach. London, U.K.:Springer, 2009.
29. Z. W. Li, G. Y. Liu, M.-H. Hanisch, and M. C. Zhou, "Deadlock preventionbased on structure reuse of Petri net supervisors for flexiblemanufacturing systems," IEEE Trans. Syst., Man, Cybern., Part A:Syst. Humans, vol. 42, no. 1, pp. 178-191, Jan. 2012.
30. Z. W. Li, N. Q. Wu, and M. C. Zhou, "Deadlock control of automatedmanufacturing systems based on Petri nets-A literature review,"IEEE Trans. Syst. Man, Cybern., Part C: Appl. Rev., vol. 42,no. 4, pp. 437-462, Jul. 2012.
31. Premier Optimization Modeling Tools, Lingo, Oct. 2009. [Online].Available: http://www.lingo.com
32. D. Liu, Z. W. Li, and M. C. Zhou, "Liveness of an extended ,"Automatica, vol. 46, no. 6, pp. 1008-1018, 2010.
33. D. Liu, Z. W. Li, and M. C. Zhou, "Hybrid liveness-enforcing policyfor generalized Petri net models of flexible manufacturing systems,"IEEE Trans. Syst. Man, Cybern.: Syst., vol. 43, no. 1, pp. 85-97, Jan.2013.
34. T. Murata, "Petri nets: Properties, analysis and application," Proc.IEEE, vol. 77, no. 4, pp. 541-580, 1989.
35. A. Nazeem and S. A. Reveliotis, "A practical approach for maximallypermissive liveness-enforcing supervision of complex resource allocationsystems," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 4, pp. 766-779,Oct. 2011.
36. A. Nazeem and S. A. Reveliotis, "Designing maximally permissivedeadlock avoidance policies for sequential resource allocation systemsthrough classification theory," in Proc. IEEE Conf. Autom. Sci. Eng.,2011, pp. 405-412.
37. A. Nazeem and S. A. Reveliotis, "Designing compact and maximallypermissive deadlock avoidance policies for complex resource allocationsystems through classification theory: The nonlinear case," IEEE Trans. Autom. Control, vol. 57, no. 7, pp. 1670-1684, 2012.
38. J. Park and S. A. Reveliotis, "Algebraic synthesis of efficient deadlockavoidance policies for sequential resource allocation systems," IEEE Trans. Robot. Autom., vol. 16, no. 2, pp. 190-195, Apr. 2000.
39. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequentialresource allocation systems with multiple resource acquisitions andflexible routings," IEEE Trans. Autom. Control, vol. 46, no. 10, pp.1572-1583, 2001.
40. P. H. Starke, INA: Integrated Net Analyzer, 2003. [Online]. Available:http://www2.informatik.huberlin.de/starke/ina.html
41. F. Tricas and J.Martinez, "An extension of the liveness theory for concurrentsequential processes competing for shared resources," in Proc.IEEE Int. Conf. Syst. Man, Cybern., Vancouver, BC, Canada, 1995, pp.3035-3040.
42. F. Tricas, F. Garcia-Valles, J. M. Colom, and J. Ezpelata, "A structuralapproach to the problem of deadlock prevention in processes with resources,"in Proc. WODES'98, Italy, Aug. 26-28, 1998, pp. 273-278.
43. F. Tricas, F. Garcia-Valles, J. M. Colom, and J. Ezpelata, "An iterativemethod for deadlock prevention in FMS," in Discrete Event Systems:Analysis and Control,G. Stremersch, Ed. Boston,MA:Kluwer,2000, pp. 139-148.
44. F. Tricas, F. Garcia-Valles, J. M. Colom, and J. Ezpelata, "A Petri netstructure-based deadlock prevention solution for sequential resourceallocation systems," in Proc. IEEE Trans. Conf. Robot. Autom.,Barcelona, Spain, Apr. 18-22, 2005, pp. 271-277.
45. M. Uzam, "An optimal deadlock prevention policy for flexible manufacturingsystems using Petri net models with resources and the theoryof regions," Int. J. Adv. Manuf. Technol., vol. 19, no. 3, pp. 192-208,2002.
46. M. Uzam and M. C. Zhou, "An improved iterative synthesis methodfor liveness enforcing supervisors of flexible manufacturing systems,"Int. J. Prod. Res., vol. 44, no. 10, pp. 1987-2030, 2006.
47. M. Uzam andM. C. Zhou, "An iterative synthesis approach to Petri netbased deadlock prevention policy for flexible manufacturing systems,"IEEE Trans. Syst., Man, Cybern., Part A, vol. 37, no. 3, pp. 362-371,May. 2007.
48. N. Q.Wu, M. C. Zhou, and Z.W. Li, "Resource-oriented Petri net fordeadlock avoidance in flexible assembly systems," IEEE Trans. Syst.Man, Cybern., Part A, vol. 38, no. 1, pp. 56-69, 2008.
49. N. Q. Wu and M. C. Zhou, System Modeling and Control with Resource-Oriented Petri Nets. New York, NY, USA: CRC Press, 2010.
50. K. Y. Xing, B. S. Hu, and H. X. Chen, "Deadlock avoidance policyfor flexible manufacturing systems," in Petri Nets in Flexible andAgile Automation, M. C. Zhou, Ed. Boston, MA: Kluwer, 1995, pp.239-263.
51. K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, " Feedbackcontrol of Petri nets based on place invariants," Automatica, vol. 32,no. 1, pp. 15-28, 1996.
52. M. C. Zhou and F. DiCesare, "Parallel and sequential mutual exclusionsfor Petri net modeling of manufacturing systems with shared resources,"IEEE Trans. Robot. Autom., vol. 7, no. 4, pp. 515-527, Aug.1991