An approach to enforce disjunction of GMECs on controlled petri nets

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 2, Issue , 2003, Pages 1852-1859

  Basile, F ^a   Carbone, C ^b   Chiacchio, P ^b  

^a UNIVERSITY OF SALERNO   (Italy)

^b UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

Disjunction of GMECs; GMEC; Maximal permissiveness; Petri nets; Supervisory control

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; FORMAL LOGIC; SCADA SYSTEMS; SET THEORY;

GENERALIZED MUTUAL EXCLUSION CONSTRAINTS; MAXIMAL PERMISSIVENESS; UNCONTROLLABLE TRANSITIONS;

PETRI NETS;

EID: 0242408660     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Alessandro Giua, Frank DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," 1992 IEEE Int. Conf. on Systems, Man, and Cybernetics (Chicago, Illinois), pp. 974-979, October 1992.
2. Yong Li and W.M. Wonham, "Control of vector discrete-event systems II - controller synthesis," IEEE Trans. on Automatic Control, vol. 39, no. 3, pp. 512-531, March 1994.
3. Katherina Yalimandou, John Moody, Michael Lemmon, and Panos Antsaklis, "Feedback control of petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, January 1996.
4. Bruce H. Krogh and Lawrence E. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems," Automatica, vol. 27, no. 4, pp. 641-651, July 1991.
5. G. Stremersch and R.K. Boel, "Structuring acyclic petri nets for reachability analysis and control," Discrete Event Dynamic Systems: Theory and Applications, vol. 12, pp. 7-41, 2002.
6. Young Cheol Cho, Logical Control and Optimization of Discrete Event Systems in Petri Net Model, Ph.D. thesis, Seul National University, Aug 2000.
7. J. Moody and P. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions," IEEE Trans. on Automatic Control, vol. 45, no. 3, pp. 462-476, March 2000.
8. Young Cheol Cho and Wook Hyun Kwon, "Inhibitor arc based state avoidance controller for non-convex forbidden state problems in petri nets," 39th IEEE Conf. on Decision and Control, (Sydney, Australia), pp. 2682-2687, December 2000.
9. Francesco Basile, Ciro Carbone, and Pasquale Chiachio, "Petri net controllers to enforce disjunction of GMECs," 2003 IEEE Int. Conf. on Robotics and Automation (Taipei, Taiwan), 2003.
10. John Moody and Panos Antsaklis, Supervisory Control of Discrete Event System Using Petri Nets, Kluwer Ac., 1998.