Decentralized control approach of petri nets based on net structuredecomposition methods

2009 International Conference on Computers and Industrial Engineering, CIE 2009

Volumn , Issue , 2009, Pages 1560-1567

  Luo, Jiliang ^a  

^a HUAQIAO UNIVERSITY   (China)

Author keywords

Decomposition control; Discrete event systems; Supervisory control

Indexed keywords

CLOSED SYSTEMS; CONFLICT FREE; CONTROL PROBLEMS; DECOMPOSITION TECHNIQUE; DISCRETE EVENT SYSTEMS; STATE GRAPHS; SUPERVISORY CONTROL;

CONCURRENCY CONTROL; GRAPH THEORY; INDUSTRIAL ENGINEERING; PETRI NETS;

DECENTRALIZED CONTROL;

EID: 77956109850     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)

1. A. Ghaffari, N. Rezg, and X. Xie, "Feedback control logic forforbidden-state problems of marked graphs: application to a real manufacturingsystem," IEEE Transactions on Automatic Control, vol. 48, no. 1, pp. 18-29,Jan. 2003.
2. Z. W. Li and M. C. Zhou, "Control of elementary and dependentsiphons of Petri nets and their application," IEEE Transactions on Systems,Man, and Cybernetics-Part A: Systems and Humans, vol. 38, no. 1, pp. 133-148,Jan. 2008.
3. R. K. Boel, L. Ben-Naoum, and V. V. Breusegem, "On forbidden-stateproblems for a class of controlled Petri nets," IEEE Transactions onAutomatic Control, vol. 40, no. 10, pp. 1717-1731, Oct. 1995.
4. A. Giua, "Petri net techniques for supervisory control of discreteevent sysems," in Proceedings of 1st Workshops on Manufacturing and PetriNets, Osaka,japan, June 1996, pp. 1-21.
5. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petrinetmethods for controlled discrete event system," Discrete Event DynamicSystems: Theory and Applications, vol. 7, no. 2, pp. 151-190, 1997.
6. M. V. Iordache and P. J. Antsaklis, "Supervision based on placeinvariants: A survey.," Discrete Event Dynamic Systems, vol. 16, no. 4, pp.451-492, Dec. 2006, URL: http://dx.doi.org/10.1007/s10626-006-0021-9.
7. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusionconstraints on nets with uncontrollable transitions," in Proc. of the 1992IEEE Int. Conf on SMC, Chicago, USA, Oct. 1992, pp. 974-979.
8. J. O. Moody and P. J. Antsaklis, Supervisory control of ciscrete eventsystems using Petri nets, Kluwer Academic Publishers, New Jersey, USA, 1998.
9. J. O. Moody and P. J. Antsaklis, "Petri net supervisors for des withuncontrollable and unobservable transitions," IEEE Transactions onAutomatic Control, vol. 45, no. 3, pp. 462-476, Mar. 2000.
10. Haoxun Chen, "Control synthesis of Petri nets based ons-decrease," Discrete Event Dynamic Systems: Theory and Application, vol.10, no. 3, pp. 233-249, 2000.
11. L. E. Holloway, A. S. Khare, and Yu Gong, "Computing bounds forforbidden state reachability functions for controlled Petri nets," IEEETransactions on Systems, Man and Cybernetics-Part A: Systems and Humans, vol.34, no. 2, pp. 219-228, Mar. 2004.
12. M. Uzam, "Synthesis of feedback control elements for discrete eventsystems using Petri net models and theory of regions," InternationalJournal of Advanced Manufacturing Technology, vol.24, no.1-2, pp. 48-69, July2004.
13. Ph. Darondeau and X. Xie, "Linear control of live markedgraphs," Automatica, vol. 39, no. 3, pp. 429-440, Mar. 2003.
14. F. Basile, C. Carbone, and P. Chiacchio, "Feedback control logic forbackward conflice free choice nets," IEEE Transactions on AutomaticControl, vol. 52, no. 3, pp. 387-400, Mar. 2007.
15. F. Basile, P. Chiacchio, and A. Giua, "Suboptimal supervisorycontrol of Petri nets in presence of uncontrollable transitions via monitorplaces," Automatica, vol. 42, no. 6, pp. 995-1004, 2006.
16. F. Basile, P. Chiacchio, and A. Giua, "Supervisory control of Petrinets based on suboptimal monitor places," in Proc. WODES'98, Cagliari,Italy, Aug. 1998, pp. 85-87.
17. F. Basile, C. Carbone, and B. Chiacchio, "An approach to enforcedisjunction of gmecs on controlled Petri nets," in IEEE Int. Conf. System,Man and Cybertics, Washington, USA, Oct. 2003, pp. 1852-1859.
18. Y. Li and W. M. Wonham, "Control of vector discrete-event systems II- controller synthesis," IEEE Transactions on Automatic Control, vol. 39,no. 3, pp. 512-531, Mar. 1994.
19. B. H. Krogh and L. E. Holloway, "Synthesis of feedbackcontrol logicfor discrete manufacturing systems," Automatica, vol. 27, no. 4, pp.641-651, Apr. 1991.
20. L. E. Holloway and B. H. Krogh, "Synthesis of feedback control logicfor a class of controlled Petri nets," IEEE Transactions on AutomaticControl, vol. 35, no. 5, pp. 514-523, May 1990.
21. G. Stremerch and R. K. Boel, "Enforcing k-safeness in controlledstate machine," in Proc. IEEE of the 38th Conference on Decision andControl, Phoenix, Arizona, USA, Dec. 1999, pp. 1737-1741.
22. R. K. Boel, B. Bordar, and G. Stremersch, "A min-plus polynomialapproach to forbidden-state control for general Petri nets," in Proc.WODES'98, Cagliari, Italy, Aug. 1998, pp. 79-84.
23. G. Stremersch and R. K. Boel, "Structuring acyclic Petri nets forreachability analysis and control," Discrete Event Dynamic Systems: Theoryand Application, vol. 12, no. 1, pp. 7-41, Jan. 2002.
24. L. E. Holloway, X. Guan, and L. Zhang, "A generalization of stateavoidance polices for controlled Petri nets," IEEE Transactions onAutomatic Control, vol. 41, no. 6, pp. 804-816, June 1996.
25. Lida Dong, Weimin Wu, Hongye Su, and Jian Chu, "Normalized cascadestructures and state feedback control logic synthesis," in Proc. IEEE ofthe 42nd Conference on Decision and Control, Maui, Harwaii, Dec. 2003, pp.3203-3208.
26. Jiliang Luo, Weimin Wu, Hongye Su, and Jian Chu, " Supervisorsynthesis for enforcing GMECs on a controlled Petri net," in Proceedings ofthe 2006 American Control Conference, Minneapolis, Minnesota, USA, June 2006,pp. 4165-4170.
27. Jiliang Luo, Weimin Wu, Hongye Su, and Jian Chu, " Supervisorsynthesis for a class of forbidden state problems in Petri nets," inProceedings of the 2006 American Control Conference, Minneapolis, Minnesota,USA, June 2006, pp. 4171-4176. (Pubitemid 46531473)
28. Jiliang Luo, Weimin Wu, Hongye Su, and Jian Chu, " Supervisorsynthesis for enforcing a class of GMECs on Petri nets," .
29. Y. L. Lien, "Termination properties of generalized Petri nets,"SIAM J. Comput, vol. 5, no. 2, pp. 251-265, 1976.
30. M. Hack, "Analysis of production schemata by Petri nets," M.S.thesis, Massachusetts Institute of Technology, Cambridge, 1972.