A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures

Proceedings of the American Control Conference

Volumn 2015-July, Issue , 2015, Pages 365-370

  Ma, Ziyue ^a   Li, Zhiwu ^a,b,d   Giua, Alessandro ^a,c,e  

^a XIDIAN UNIVERSITY   (China)

^b KING ABDULAZIZ UNIVERSITY   (Saudi Arabia)

^c AIX MARSEILLE UNIVERSITY   (France)

^d MACAU UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Macao)

^e UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL ENGINEERING;

COMPOSITION TECHNIQUE; CONFLICT FREE; CONSTRAINT TRANSFORMATION; SPECIAL CLASS;

PETRI NETS;

EID: 84940950614     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2015.7170763     Document Type: Conference Paper

References (17)

1. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints for Petri nets with uncontrollable transitions," in Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, Chicago, USA, 1992, pp. 947-949.
2. Z. W. Li, N. Q. Wu, and M. C. Zhou, "Deadlock control of automated manufacturing systems based on Petri nets - a literature review," IEEE Transactions on Systems, Man, and Cybernetics, Part C, vol. 42, pp. 437-462, 2012.
3. F. Basile, C. Carbone, and P. Chiacchio, "Feedback control logic for backward conflict free choice nets," IEEE Trans. On Automatic Control, vol. 52, pp. 387-400, 2007.
4. J. Moody and P. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions," IEEE Trans. on Automatic Control, vol. 45, pp. 462-476, 2000.
5. L. Holloway, A. Khare, and Y. Gong, "Computing bounds for forbidden state reachability functions for controlled Petri nets," IEEE Transactions on Systems, Man, and Cybernetics, Part A, vol. 34, pp. 219-228, 2004.
6. J. L. Luo, W. M. Wu, H. Y. Su, and J. Chu, "Supervisor synthesis for enforcing GMECs on a controlled Petri net," in Proc. American Control Conference, 2006, pp. 4165-4170.
7. -, "Supervisor synthesis for a class of forbidden state problems in Petri nets," in Proc. American Control Conference, 2006, pp. 4171-4176.
8. S. G. Wang, C. Y. Wang, and M. C. Zhou, "A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions," in Proc. IEEE Int. Conf. on Robotics and Automation, 2011, pp. 3745-3750.
9. F. Basile, P. Chiacchio, and A. Giua, "Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places," Automatica, vol. 42, pp. 995-1004, 2006.
10. F. Basile, R. Cordone, and L. Piroddi, "Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models," Automatica, vol. 49, pp. 3432-3439, 2013.
11. J. L. Luo, H. Shao, K. Nonami, and F. J. Jin, "Maximally permissive supervisor synthesis based on a new constraint transformation method," Automatica, vol. 48, pp. 1097-1101, 2012.
12. Z. Y. Ma, Z. W. Li, and A. Giua, "Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101]," Automatica, vol. 51, pp. 131-134, 2015.
13. -, "A constraint transformation technique for Petri nets with certain uncontrollable structures," in Proc. IEEE International Workshop on Discrete Event Systems, Cachan, France, 2014, pp. 66-72.
14. A. Giua, "Supervisory control of Petri nets with language specifications," in Control of discrete-event systems, C. Seatzu, M. Silva, and J. van Schuppen, Eds. London: Springer, 2013, vol. 433, pp. 235-255.
15. M. Iordache and P. Antsaklis, "Petri net supervisors for disjunctive constraints," in Proc. American Control Conference, 2007, pp. 4951-4956.
16. Z. Y. Ma, Z. W. Li, and A. Giua, "Petri net controllers for disjunctive generalized mutual exclusion constraints," in Proc. IEEE Int. Conf. on Emerging Technologies and Factory Automation, Cagliari Italy, 2013, pp. 1-8.
17. -, "An approach to determine controllability of monolithic supervisors," in Proc. International Federation of Automatic Control, Capetown, South Africa, 2014, pp. 2429-2434.