A transformation algorithm for optimal admissible generalized mutual exclusion constraints on petri nets with uncontrollable transitions

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2011, Pages 3745-3750

  Wang, Shouguang ^a   Wang, Chengying ^a   Zhou, Mengchu ^b,c  

^a ZHEJIANG GONGSHANG UNIVERSITY   (China)

^b Department of Computer Science and Technology   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Automated manufacturing systems; Discrete event systems; Forbidden state problem; Mutual exclusion; Petri nets; Supervisory control

Indexed keywords

AUTOMATED MANUFACTURING SYSTEMS; CONFLICT FREE; CONSTRAINT TRANSFORMATION; FORBIDDEN STATE; GENERALIZED MUTUAL EXCLUSION CONSTRAINT; MUTUAL EXCLUSIONS; PATH-BASED; STRUCTURE AND PROPERTIES; SUBNETS; SUPERVISORY CONTROL; TRANSFORMATION ALGORITHM; WORK STUDY;

ALGORITHMS; DISCRETE EVENT SIMULATION; OPTIMIZATION; PETRI NETS;

ROBOTICS;

EID: 84871704420     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRA.2011.5979727     Document Type: Conference Paper

References (16)

1. 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.
2. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. IEEE Internat. Conf. Syst., Man, Cybern., 1992, pp. 974-979.
3. 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.
4. H. Chen, "Net structure and control logic synthesis of controlled Petri nets," IEEE Trans. Autom. Control, 43(10), pp. 1446-1450, Oct. 1998.
5. J. Moody and P. Antsaklis, "Petri net supervisors for DBS with uncontrollable and unobservable transitions," IEEE Trans. Autom. Control, vol. 45, no. 3, pp. 462-476, Mar. 2000.
6. 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.
7. 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.
8. 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.
9. J. L. Luo,W. M. Wu, H.Y. Su, and J. Chu, "Supervisor Synthesis for Enforcing a class of GMECs on Petri Nets," IEEE Trans. Syst., Man, Cybern., A, Syst., Humans, vol. 39, no. 6, pp. 1237-1246, Nov. 2009.
10. M. Uzam, "On suboptimal supervisory control of Petri nets in the presence of uncontrollable transitions via monitor places," Int. J. of Advanced Manufacturing Technology, vol. 47, pp. 567-579, 2010.
11. Z. W. Li, M. C. Zhou, "Synthesis of structurally simple supervisors enforcing generalized mutual exclusion constraints in Petri nets," IEEE Trans.s on Systems, Man, and Cyber., Part C, 40(3), pp.330-340, 2010.
12. Zhou, M. C. and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer, London, 1993.
13. 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.
14. Y. L. Lien, "Termination properties of generalized Petri nets," SIAM J. Comput., vol. 5, no. 2, pp. 251-265, 1976.
15. J. O. Moody and P. J. Antsaklis, "Supervisory Control of Discrete Event Systems Using Petri Nets," Norwell, MA: Kluwer, 1998.
16. S. G. Wang, C.Y. Wang, and M.C. Zhou, "Optimal supervisory control of a class of Petri nets with uncontrollable transitions," Technical Report 2011-1. DES Laboratory, ECE Department, New Jersey Institute of Technology, Newark, NJ, January 2011.