Supervisor synthesis for enforcing a class of generalized mutual exclusion constraints on Petri nets

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 39, Issue 6, 2009, Pages 1237-1246

  Luo, Jiliang ^a   Wu, Weimin ^b   Su, Hongye ^b   Chu, Jian ^b  

^a HUAQIAO UNIVERSITY   (China)

^b STATE KEY LABORATORY OF INDUSTRIAL CONTROL TECHNOLOGY   (China)

Author keywords

Discrete event systems (DES); Forbidden states; Petri nets; Supervisory control

Indexed keywords

DISCRETE EVENT SYSTEMS; FORBIDDEN STATE; FORBIDDEN STATES; GENERALIZED MUTUAL EXCLUSION CONSTRAINT; MANUFACTURING SYSTEM; POLYNOMIAL-TIME; SUBNETS; SUFFICIENT CONDITIONS; SUPERVISORY CONTROL;

PETRI NETS; POLYNOMIAL APPROXIMATION; SUPERVISORY PERSONNEL; WAVELET TRANSFORMS;

GRAPH THEORY;

EID: 77953707812     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2009.2027111     Document Type: Article

References (40)

1. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event systems", SIAM J. Control Optim., vol. 25, no. 1, pp. 206-230, Jan. 1987.
2. P. J. Ramadge and W. M. Wonham, "Modular feedback logic for discrete-event systems", SIAM J. Control Optim., vol. 25, no. 5, pp. 1202-1218, Sep. 1987.
3. R. K. Boel, L. Ben-Naoum, and V. Van Breusegem, "On forbidden-state problems for a class of controlled Petri nets", IEEE Trans. Autom. Control, vol. 40, no. 10, pp. 1717-1731, Oct. 1995.
4. A. Ghaffari, N. Rezg, and X. Xie, "Feedback control logic for forbidden-state problems of marked graphs: Application to a real manufacturing system", IEEE Trans. Autom. Control, vol. 48, no. 1, pp. 18-29, Jan. 2003.
5. B. H. Krogh and L. E. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems", Automatica, vol. 27, no. 4, pp. 641-651, Apr. 1991.
6. Z. W. Li and M. C. Zhou, "Clarifications on the definitions of elementary siphons of Petri nets", IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 6, pp. 1227-1229, Nov. 2006.
7. Z. W. Li and M. C. Zhou, "On controllability of dependent siphons for deadlock prevention in generalized Petri nets", IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 2, pp. 369-384, Mar. 2008.
8. Z. W. Li and M. C. Zhou, "Control of elementary and dependent siphons of Petri nets and their application", IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 133-148, Jan. 2008.
9. A. Giua, "Petri net techniques for supervisory control of discrete event systems", in Proc. 1st Workshops Manuf. Petri Nets, Osaka, Japan, Jun. 1996, pp. 1-21.
10. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete event system", Discret. Event Dyn. Syst.: Theory Appl., vol. 7, no. 2, pp. 151-190, Apr. 1997.
11. M. V. Iordache and P. J. Antsaklis, "Supervision based on 800 place invariants: A survey", Discret. Event Dyn. Syst. vol. 16, no. 4, pp. 451-492, Dec. 2006.
12. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions", in Proc. IEEE Int. Conf. SMC, Chicago, IL, Oct. 1992, pp. 974-979.
13. J. O. Moody and P. J. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets. Norwell, MA: Kluwer, 1998.
14. H. Chen, "Control synthesis of Petri nets based on s-decrease", Discret. Event Dyn. Syst.: Theory Appl., vol. 10, no. 3, pp. 233-249, Mar. 2000.
15. L. E. Holloway, A. S. Khare, and Y. Gong, "Computing bounds for forbidden state reachability functions for controlled Petri nets", IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 2, pp. 219-228, Mar. 2004.
16. M. Uzam, "Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions", Int. J. Adv. Manuf. Technol., vol. 24, no. 1/2, pp. 48-69, Jul. 2004.
17. P. Darondeau and X. Xie, "Linear control of live marked graphs", Auto-matica, vol. 39, no. 3, pp. 429-440, Mar. 2003.
18. F. Basile, C. Carbone, and P. Chiacchio, "Feedback control logic for backward conflict free choice nets", IEEE Trans. Autom. Control, vol. 52, no. 3, pp. 387-400, Mar. 2007.
19. F. Basile, P. Chiacchio, and A. Giua, "Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places", Automatica, vol. 42, no. 6, pp. 995-1004, Jun. 2006.
20. K. Yamalidou, J. O. Moody, M. Lemmon, and P. Antsaklis, "Feedback control of Petri nets based on place invariants", Automatica, vol. 32, no. 1, pp. 15-28, Jan. 1996.
21. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems", Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
22. H. Chen, "Net structure and control logic synthesis of controlled Petri nets", IEEE Trans. Autom. Control, vol. 43, no. 10, pp. 1446-1450, Oct. 1998.
23. R. K. Boel, B. Bordbar, and G. Stremersch, "A min-plus polynomial approach to forbidden-state control for general Petri nets", in Proc. WODES, Cagliari, Italy, Aug. 1998, pp. 79-84.
24. R. Bouyekhf and A. El Moudni, "On the analysis of some structural properties of Petri nets", IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 35, no. 6, pp. 784-794, Nov. 2005.
25. Y. Li and W. M. Wonham, "Control of vector discrete-event systems II-Controller synthesis", IEEE Trans. Autom. Control, vol. 39, no. 3, pp. 512-531, Mar. 1994.
26. F. Basile, P. Chiacchio, and A. Giua, "Supervisory control of Petri nets based on suboptimal monitor places", in Proc. WODES, Cagliari, Italy, Aug. 1998, pp. 85-87.
27. F. Basile, C. Carbone, and P. Chiacchio, "An approach to enforce disjunction of GMECs on controlled Petri nets", in Proc. IEEE Int. Conf. Syst., Man, Cybern., Washington, DC, Oct. 2003, pp. 1852-1859.
28. A. Ghaffari, N. Rezg, and X. Xie, "Design of a live and maximally permissive Petri net controller using the theory of region", IEEE Trans. Robot. Autom., vol. 19, no. 1, pp. 137-142, Jan. 2003.
29. L. E. Holloway and B. H. Krogh, "Synthesis of feedback control logic for a class of controlled Petri nets", IEEE Trans. Autom. Control, vol. 35, no. 5, pp. 514-523, May 1990.
30. G. Stremersch and R. K. Boel, "Enforcing k-safeness in controlled state machine", in Proc. IEEE 38th Conf. Decision Control, Phoenix, AZ, Dec. 1999, pp. 1737-1742.
31. G. Stremersch and R. K. Boel, "Structuring acyclic Petri nets for reachability analysis and control", Discret. Event Dyn. Syst.: Theory Appl., vol. 12, no. 1, pp. 7-41, Jan. 2002.
32. L. E. Holloway, X. Guan, and L. Zhang, "A generalization of state avoidance polices for controlled Petri nets", IEEE Trans. Autom. Control, vol. 41, no. 6, pp. 804-816, Jun. 1996.
33. L. Dong, W. Wu, H. Su, and J. Chu, "Normalized cascade structures and state feedback control logic synthesis", in Proc. IEEE 42nd Conf. Decision Control, Maui, HI, Dec. 2003, pp. 3203-3208.
34. J. Luo, W. Wu, H. Su, and J. Chu, "Supervisor synthesis for enforcing GMECs on a controlled Petri net", in Proc. Amer. Control Conf., Minneapolis, MN, Jun. 2006, pp. 4165-4170.
35. J. Luo, W. Wu, H. Su, and J. Chu, "Supervisor synthesis for a class of forbidden state problems in Petri nets", in Proc. Amer. Control Conf., Minneapolis, MN, Jun. 2006, pp. 4171-4176.
36. Y. L. Lien, "Termination properties of generalized Petri nets", SIAM J. Comput., vol. 5, no. 2, pp. 251-265, 1976.
37. C. Amer-Yahia, N. Zarhouni, A. El Moudni, and M. Ferney, "Some subclasses of Petri nets and the analysis of their structural properties: A new approach", IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 29, no. 2, pp. 164-172, Mar. 1999.
38. M. Hack, "Analysis of production schemata by Petri nets", M. S. thesis, MIT, Cambridge, MA, 1972.
39. M. V. Iordache and P. J. Antsaklis, "Synthesis of supervisors enforcing general linear constraints in Petri nets", IEEE Trans. Autom. Control, vol. 48, no. 11, pp. 2036-2039, Nov. 2003.
40. J. O. Moody, P. J. Antsaklis, and M. Lemmon, "Feedback Petri net control design in the presence of uncontrollable transitions", in Proc. IEEE 34th Conf. Decision Control, New Orleans, LA, Dec. 1995, pp. 3104-3109.