Computing bounds for forbidden state reachability functions for controlled Petri nets

Proceedings - 6th International Workshop on Discrete Event Systems, WODES 2002

Volumn , Issue , 2002, Pages 225-230

  Holloway, L E ^a   Khare, A S ^a  

^a UNIVERSITY OF KENTUCKY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; TREES (MATHEMATICS);

ABSTRACT SYNTAX TREES; CONTROL ACTIONS; CONTROL SET; CONTROLLED PETRI NETS; FORBIDDEN STATE; GENERAL CLASS; PETRI NET MODELS; REACHABILITY;

DISCRETE EVENT SIMULATION;

EID: 84936774969     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2002.1167692     Document Type: Conference Paper

References (8)

1. A.V. Aho, R. Sethi, J.D. Ullman. "Compilers: Principles, Techniques, and Tools" published by Addison Wesley Longman (Singapore) Pte.Ltd. Delhi 1999.
2. Boel, R. K., L. Ben-Naoum, and V. Van Breusegem. "On Forbidden State Problems for a Class of Controlled Petri Nets", IEEE Trans. on Automatic Control., 40(10), Oct. 1995.
3. L.E. Holloway, X. Guan, R. Sundaravadivelu, and J. Ashley Jr., "Automated Synthesis and Composition of Taskblocks for Control of Manufacturing Systems, " IEEE Transactions on Systems, Man, and Cybernetics Part B, volume 30(5), October 2000, pp696-712.
4. L.E. Holloway, B.H. Krogh, and A. Giua, "A Survey of Petri Net Methods for Controlled Discrete Event Systems". Journal of Discrete Event Dynamic Sys., Vol 7(2), 1997.
5. L.E. Holloway, X. Guan, and L. Zhang, "A Generalization of State Avoidance Policies for Controlled Petri Nets", IEEE Trans. on Auomatic Control. 41(6), June 1996.
6. Bruce H. Krogh and L.E. Holloway. "Synthesis of Feedback Control Logic for Discrete Manufacturing Systems", Automatica, Vol. 27, No. 4, pp. 641-651, 1991.
7. Stremersch, Geert, Supervision of Petri Nets, Kluwer Academic Publishers, Boston, 2001.
8. Yamalidou, K., Moody, J.O., Lemmon, M.D., and Antsaklis, P.J. "Feedback control of Petri nets based on place invariants." Automatica, 32(1). 1996.