A constraint transformation technique for petri nets with certain uncontrollable structures

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 9, Issue 3, 2014, Pages 66-72

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

^a XIDIAN UNIVERSITY   (China)

^b UNIVERSITY OF CAGLIARI   (Italy)

^c AIX MARSEILLE UNIV   (France)

Author keywords

Controllability; Discrete event system; Petri Net; Supervisory control

Indexed keywords

CONTROLLABILITY; PETRI NETS;

CONFLICT FREE; CONSTRAINT TRANSFORMATION; FLOW SYSTEMS; SUPERVISORY CONTROL;

DISCRETE EVENT SIMULATION;

EID: 84945930860     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20140514-3-FR-4046.00085     Document Type: Conference Paper

References (13)

1. Basile, F., Carbone, C., and Chiacchio, P. (2007). Feedback control logic for backward conflict free choice nets. IEEE Trans. On Automatic Control, 52, 387-400.
2. Giua, A. (2013). Supervisory control of Petri nets with language specifications. In C. Seatzu, M. Silva, and J. van Schuppen (eds.), Control of discrete-event systems, volume 433, 235-255. Springer, London.
3. Giua, A., DiCesare, F., and Silva, M. (1992). Generalized mutual exclusion constraints for Petri nets with uncontrollable transitions. In Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, 947-949. Chicago, USA.
4. Holloway, L., Khare, A., and Gong, Y. (2004). Computing bounds for forbidden state reachability functions for controlled Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 34, 219-228.
5. Iordache, M. and Antsaklis, P. (2007). Petri net supervisors for disjunctive constraints. In Proc. American Control Conference, 4951-4956.
6. Li, Z., Wu, N., and Zhou, M. (2012). Deadlock control of automated manufacturing systems based on Petri nets - a literature review. IEEE Transactions on Systems, Man, and Cybernetics, Part C, 42, 437-462.
7. Luo, J., Wu, W., Su, H., and Chu, J. (2006a). Supervisor synthesis for a class of forbidden state problems in Petri nets. In Proc. American Control Conference, 4171-4176.
8. Luo, J., Wu, W., Su, H., and Chu, J. (2006b). Supervisor synthesis for enforcing GMECs on a controlled Petri net. In Proc. American Control Conference, 4165-4170.
9. Luo, J., Shao, H., Nonami, K., and Jin, F. (2012). Maximally permissive supervisor synthesis based on a new constraint transformation method. Automatica, 48, 1097-1101.
10. Ma, Z., Li, Z., and Giua, A. (2013a). A note on the transformation of non admissible generalized mutual exclusion constraints for Petri nets. Automatica, Submitted. http://www.diee.unica.it/giua/ma14aut.pdf.
11. Ma, Z., Li, Z., and Giua, A. (2013b). Petri net controllers for disjunctive generalized mutual exclusion constraints. In Proc. IEEE Int. Conf. on Emerging Technologies and Factory Automation, 10.1109/ETFA.2013.6648003. Cagliari Italy.
12. Moody, J. and Antsaklis, P. (2000). Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Trans. on Automatic Control, 45, 462-476.
13. Wang, S., Wang, C., and Zhou, M. (2011). 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, 3745-3750.