A generalization of state avoidance policies for controlled Petri nets

IEEE Transactions on Automatic Control

Volumn 41, Issue 6, 1996, Pages 804-816

  Holloway, Lawrence E ^a,b   Guan, Xiaoyi ^b   Zhang, Lan ^c  

^a IEEE

^b UNIVERSITY OF KENTUCKY   (United States)

^c Nextlink Solutions Inc   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; BOOLEAN FUNCTIONS; FEEDBACK CONTROL; GRAPH THEORY; MATHEMATICAL MODELS; PETRI NETS; SYNCHRONIZATION;

CONTROLLED MARKED GRAPHS; CONTROLLED PETRI NETS; DISCRETE EVENT SYSTEM CONTROL SYNTHESIS; STATE GRAPH STRUCTURES;

CONTROL SYSTEM SYNTHESIS;

EID: 0030164453     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.506233     Document Type: Article

References (22)

1. P. J. Ramadge and W. M. Wonham, "Modular feedback logic for discrete-event system," SIAM J. Contr. Optimization, vol. 25, Sept. 1987.
2. _, "Supervisory control of a class of discrete-event processes," SIAM J. Contr. Optimization, vol. 25, Jan. 1987.
3. L. E. Holloway and B. H. Krogh, "Synthesis of feedback control logic for a class of controlled Petri nets," IEEE Trans. Automat. Contr., vol. 35, no. 5, pp. 514-523, May 1990;
4. also appears in Discrete Event Dynamic Systems: Analyzing Complexity and Performance in the Modern World, Y. C. Ho. New York: IEEE, 1992.
5. B. H. Krogh, "Controlled Petri nets and maximally permissive feedback logic," in Proc. 25th Annu. Allerton Conf., Univ. Illinois, Urbana, Sept. 1987.
6. A. Ichikawa and K. Khiraishi, "Analysis and control of discrete event systems represented by Petri nets," in Proc. Discrete Event Systems: Models and Applications, vol. HASA Conf., Sopron, Hungary, Aug. 3-7, 1987, 1988.
7. Y. Li and W. M. Wonham, "Control of vector discrete-event systems I - The base model," IEEE Trans. Automat. Contr., vol. 38, no. 8, pp. 1214-1227, Aug. 1993.
8. _, "Control of vector discrete-event systems II - Controller synthesis," IEEE Trans. Automat. Contr., vol. 39, no. 3, Mar. 1994.
9. K. Yamalidou, J. Moody, M. Lemman, and P. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, 1996.
10. A. Giua and F. DiCesare, "Petri net structural analysis for supervisory control," IEEE Trans. Robotics Automation, Apr. 1994.
11. R. S. Sreenivas, "A note on deciding the controllability of a language K with respect to a language L," IEEE Trans. Automat. Contr., pp. 658-662, Apr. 1993.
12. R. K. Boel, L. Ben-Naoum, and V. Van Breusegem, "On forbidden state problems for a class of controlled Petri nets," IEEE Trans. Automat. Contr., vol. 40, no. 10, pp. 1717-1731, 1995.
13. L. E. Holloway and B. H. Krogh, "Controlled Petri nets: A tutorial survey," in Proc. 11th Int. Conf. Analysis Optimization Syst. Discrete Event Syst., Sophia-Antipolis, France, June 1994.
14. B. H. Krogh, J. Magott, and L. E. Holloway, "On the complexity of forbidden state problems for controlled marked graphs," in Proc. Conf. Decision Contr., Brighton, UK, Dec. 1991.
15. B. H. Krogh and L. E. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems," Automatica, July 1991.
16. L. E. Holloway, X. Guan, and Z. Lar., "A generalization of state avoidance policies for controlled Petri nets," Center for Robotics and Manufacturing Systems, Univ. Kentucky, Lexington, Tech. Rep. CRMS-TR-93-2 - Rev. 2, 1995.
17. C. Haoxun, "Synthesis of feedback control logic for controlled Petri nets with forward and backward conflict-free uncontrolled subnet," in Proc. 33rd IEEE Conf. Decision Contr., Lake Buena Vista, FL, Dec. 1994, pp. 3098-3103.
18. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
19. R. David and H. Alla, "Petri nets for modeling of dynamic systems - A survey," Automatica, vol. 30, no. 2, pp. 175-202, 1994.
20. L. E. Holloway and B. H. Krogh, "On closed-loop liveness of discrete event systems under maximally pernissive control," IEEE Trans. Automatic Contr., vol. 37, no. 5, May 1992.
21. A. Finkel, "The minimal coverability graph for Petri nets," in Advances in Petri Nets 1993, G. Rozenberg, Ed. Berlin: Springer-Verlag, 1994, pp. 210-243.
22. M. Hiriyannaiah and L. E. Holloway, "Improved path evaluation technique for characterizing uncontrollable reachability in controlled Petri nets," in Proc. 32nd Allerton Conf. Communication Cont., Monticello, IL, Oct. 1994.