Net structure and control logic synthesis of controlled petri nets

IEEE Transactions on Automatic Control

Volumn 43, Issue 10, 1998, Pages 1446-1450

  Haoxun, Chen ^a  

^a XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

Control systems; Discrete event systems; Petri nets

Indexed keywords

CONTROL SYSTEM SYNTHESIS; FEEDBACK CONTROL; FORMAL LOGIC; LINEAR PROGRAMMING; PETRI NETS; PROBLEM SOLVING; STATE FEEDBACK; VECTORS;

CONTROLLED PETRI NETS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0032188389     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.720505     Document Type: Article

References (11)

1. R. K. Boel, L. Ben-Naom, and V. Van Breusegem, "On forbidden state problems for a class of CtlPN's," IEEE Trans. Automat. Contr., to be published.
2. C. Haoxun and H. Baosheng, "Monitor-based control of a class of CtlPN's," in Proc. 3rd Int. Conf. Automation, Robotics and Computer Vision, Singapore, Nov. 1994.
3. C. Haoxun, "Synthesis of feedback control logic for CtlPN's with forward and backward conflict-free uncontrolled subnet," in Proc. 33rd IEEE Conf. Decision and Control, Florida, Dec. 1994.
4. A. Giua, F. DiCesare, and M. Silva, "Generalized mutual exclusion constraints on nets with uncontrollable transitions," in Proc. IEEE Int. Conf. Systems, Man and Cybernetics, Chicago, IL, Oct. 1992, pp. 947-979.
5. _, "Petri net supervisors for generalized mutual exclusion constraints," in Proc. IFAC Congr., Sydney, Australia, 1993, vol. 1, pp. 267-270.
6. L. E. Holloway and B. H. Krogh, "Synthesis of feedback control logic for a class of CtlPN's," IEEE Trans. Automat. Contr., vol. 35, pp. 514-523, May 1990.
7. 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.
8. Y. Li and W. M. Wonham, "Control of vector discrete event systems II - Controller synthesis," IEEE Trans. Automat. Contr., vol. 39, pp. 512-531, Mar. 1994.
9. T. Murata, "Petri nets Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 540-580, 1989.
10. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, pp. 81-98, 1989.
11. K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, 1996.