Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints

IEEE Transactions on Automatic Control

Volumn 60, Issue 7, 2015, Pages 1774-1785

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

^a XIDIAN UNIVERSITY   (China)

^b MACAU UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Macao)

^c AIX MARSEILLE UNIVERSITY   (France)

Author keywords

Discrete Event Systems; Generalized Mutual Exclusion Constraints; Petri nets; Supervisory Control

Indexed keywords

PETRI NETS; SPECIFICATIONS;

CONTROL STRUCTURE; CONTROLLED SYSTEM; GENERALIZED MUTUAL EXCLUSION CONSTRAINT; MONITOR PLACES; PETRI NET CONTROLLER; SUPERVISORY CONTROL;

DISCRETE EVENT SIMULATION;

EID: 84927946434     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2015.2389313     Document Type: Article

References (23)

1. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints for Petri nets with uncontrollable transitions, " in Proc. IEEE Int. Conf. Syst., Man, Cybern., Chicago, IL, USA, 1992, pp. 947-949.
2. M. Uzam, "On suboptimal supervisory control of Petri nets in the presence of uncontrollable transitions via monitor places, " Int. J. Adv. Manufact. Technol., vol. 47, pp. 567-579, 2010.
3. S. G.Wang, C. Y.Wang, andM. C. Zhou, "A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions, " in Proc. IEEE Int. Conf. Robot. Autom., 2011, pp. 3745-3750.
4. F. Basile, C. Carbone, and P. Chiacchio, "Feedback control logic for backward conflict free choice nets, " IEEE Trans. Autom. Control, vol. 52, pp. 387-400, 2007.
5. M. Iordache and P. Antsaklis, "Petri net supervisors for disjunctive constraints, " in Proc. Amer. Control Conf., 2007, pp. 4951-4956.
6. J. Moody and P. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions, " IEEE Trans. Autom. Control, vol. 45, pp. 462-476, 2000.
7. P. Ramadge and W. Wonham, "The control of discrete event systems, " Proc. IEEE, vol. 77, pp. 81-98, 1989.
8. A. Giua and F. DiCesare, "Supervisory design using Petri nets, " in Proc. 30th IEEE Conf. Decision Control, 1991, vol. 43, pp. 92-97.
9. L. Holloway, B. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete event systems, " Discrete Event Dyn. Syst.: Theory Appl., vol. 7, pp. 151-190, 1997.
10. J. Moody and P. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets. New York: Springer, 1998.
11. J. L. Luo, W. M. Wu, H. Y. Su, and J. Chu, "Supervisor synthesis for enforcing a class of generalized mutual exclusion constraints on Petri nets, " IEEE Trans. Syst., Man, Cybern. A, vol. 39, pp. 1237-1246, 2009.
12. Z. Y. Ma, Z.W. Li, and A. Giua, "An approach to determine controllability of monolithic supervisors, " in Proc. Int. Fed. Autom. Control, Capetown, South Africa, 2014, pp. 2429-2434.
13. Z. Y. Ma, Z. W. Li, and A. Giua, "A constraint transformation technique for Petri nets with certain uncontrollable structures, " in Proc. IEEE Int. Workshop Discrete Event Syst., Cachan, France, 2014, pp. 66-72.
14. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. London, U.K.: Springer, 2009.
15. Z. W. Li, N. Q. Wu, and M. C. Zhou, "Deadlock control of automated manufacturing systems based on Petri nets-A literature review, " IEEE Trans. Syst., Man, Cybern. C, vol. 42, pp. 437-462, 2012.
16. M. Iordache, P. Wu, F. Zhu, and P. Antsaklis, "Efficient design of Petrinet supervisors with disjunctive specifications, " in Proc. IEEE Int. Conf. Autom. Sci. Eng., Madison, WI, USA, 2013, pp. 936-941.
17. Z. Y. Ma, Z.W. Li, and A. Giua, "Petri net controllers for disjunctive generalized mutual exclusion constraints, " in Proc. IEEE Int. Conf. Emerging Technol. Factory Autom., Cagliari, Italy, 2013, pp. 1-8.
18. A. Giua, "Supervisory control of Petri nets with language specifications, " in Control of Discrete-Event Systems, vol. 433, C. Seatzu, M. Silva, and J. van Schuppen, Eds. London, U.K.: Springer, 2013, pp. 235-255.
19. R. Karp and R. Miller, "Parallel program schemata, " J. Comp. Syst. Sci., vol. 3, no. 2, pp. 147-195, 1969.
20. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems, " IEEE Trans. Syst., Man, Cybern. A, vol. 34, pp. 38-51, 2004.
21. Z. W. Li and M. C. Zhou, "Clarifications on the definitions of elementary siphons in Petri nets, " IEEE Trans. Syst., Man Cybern. A, vol. 36, pp. 1227-1229, 2006.
22. Z. W. Li and M. Zhao, "On controllability of dependent siphons for deadlock prevention in generalized Petri nets, " IEEE Trans. Syst., Man, Cybern. A, vol. 38, pp. 369-384, 2008.
23. Z. W. Li and M. C. Zhou, "On siphon conputation for deadlock control in a class of Petri nets, " IEEE Trans. Syst., Man, Cybern. A, vol. 38, pp. 667-679, 2008.