Computing bounds for forbidden state reachability functions for controlled Petri nets

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 34, Issue 2, 2004, Pages 219-228

  Holloway, Lawrence E ^a   Khare, Ajit S ^b   Gong, Yu ^c  

^a Center for Manufacturing   (United States)

^b SpeedTrack Inc   (United States)

^c VDC Display Systems   (United States)

Author keywords

Forbidden state avoidance; Petri nets; Syntax trees

Indexed keywords

APPROXIMATION THEORY; CONTROLLABILITY; MATHEMATICAL MODELS; PETRI NETS; TREES (MATHEMATICS);

ABSTRACT SYNTAX TREE; FORBIDDEN STATE REACHABILITY FUNCTIONS;

CONTROL SYSTEM ANALYSIS;

EID: 1542605232     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2003.822279     Document Type: Article

References (10)

1. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete event systems," J. Discr. Event Dynamic Syst., vol. 7, no. 2, 1997.
2. B. H. Krogh and L. E. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems," Automatica, vol. 27, no. 4, pp. 641-651, 1991.
3. K. R. Boel, L. Ben-Naoum, and V. V. Breusegem, "On forbidden state problems for a class of controlled Petri nets," IEEE Trans. Automat. Contr., vol. 40, pp. 1717-1731, Oct. 1995.
4. L. E. Holloway, X. Guan, and L. Zhang, "A generalization of state avoidance policies for controlled Petri nets," IEEE Trans. Automat. Contr., vol. 41, June 1996.
5. A. Ghaffari, N. Rezg, and X. Xie, "Feedback control logic for forbidden-state problems of marked graphs: Application to a real manufacturing system," IEEE Trans. Automat. Contr., vol. 48, pp. 18-29, Jan. 2003.
6. K. Yamalidou, J. O. Moody, M. D. Lemmon, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, 1996.
7. Stremersch and Geert, Supervision of Petri Nets. Norwell, MA: Kluwer, 2001.
8. A. V. Aho, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques, and Tools. Reading, MA: Addison-Wesley, 1999.
9. L. E. Holloway, X. Guan, R. Sundaravadivelu, and J. Ashley, Jr., "Automated synthesis and composition of taskblocks for control of manufacturing systems," IEEE Trans. Syst., Man, Cybern. B, vol. 30, pp. 696-712, Oct. 2000.
10. L. E. Holloway and A. Khare, "Computing bounds for forbidden state reachability functions for controlled Petri nets," in Proc. 6th Int. Workshop Discrete Event Systems, Zaragoza, Spain, 2002, pp. 225-230.