Control synthesis of Petri nets based on S-decreases

Discrete Event Dynamic Systems: Theory and Applications

Volumn 10, Issue 3, 2000, Pages 233-249

  Chen, Haoxun ^a  

^a XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS; LINEAR SYSTEMS; MATHEMATICAL MODELS; SET THEORY;

CONTROLLED PETRI NET; DISCRETE EVENT SYSTEMS; LINEAR INEQUALITY CONSTRAINTS;

PETRI NETS;

EID: 0034227686     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008397810443     Document Type: Article

References (15)

1. Chen, H., and Hu, B. 1994. Monitor-based control of a class of CtlPNs. Proc. of the 3rd Int. Conf. on Automation, Robotics and Computer Vision, Singapore.
2. Chen, H. 1994. Synthesis of feedback control logic for CtlPNs with forward and backward conflict-free uncontrolled subnet. Proc. of the 33rd IEEE Conf. on Decision and Control, Florida.
3. Chen, H. 1998. Net structure and control logic synthesis of controlled Petri nets. IEEE Trans. on Automatic Control 43(10): 1446-1451.
4. Giua, A., DiCesare, F., and Silva, M. 1992. Generalized mutual exclusion constraints on nets with uncontrollable transitions. Proc. of 1992 IEEE Int. Conf. on Systems, Man and Cybernetics, Chicago, pp. 947-979.
5. Giua, A., DiCesare, F., and Silva, M. 1993. Petri net supervisors for generalized mutual exclusion constraints. Proc. of 1993 IFAC Congress, Vol. 1, Sydney, Australia, pp. 267-270.
6. Holloway, L. E., and Krogh, B. H. 1990. Synthesis of feedback control logic for a class of CtlPNs. IEEE Trans. on Automatic Control 35(5): 514-523.
7. Krogh, B. H., and Holloway, L. E. 1991. Synthesis of feedback control logic for discrete manufacturing systems. Automatica 27(4): 641-651.
8. Li, Y., and Wonham, W. M. 1993. Control of vector discrete-event systems I - the base model. IEEE Trans, on Automatic Control 38(8): 1214-1127.
9. Li, Y., and Wonham, W. M. 1994. Control of vector discrete event systems II - controller synthesis. IEEE Trans. on Automatic Control 39(3): 512-531.
10. Martinez, J., and Silva, M. 1981. A simple and fast algorithm to obtain all invariants of a generalized Petri nets. In Application and Theory of Petri Nets, Selected Papers from the First and Second European Workshop on Application and Theory of Petri Nets. Informatik-Fachberichte, No. 52, Springer-Verlag.
11. Moody, J. O., Antsaklis, P. J., and Lemmon, M. D. 1995. Feedback Petri net control design in the presence of uncontrollable transitions. Proc. of the 34th Conf. on Decision and Control, Vol. 1, New Orleans, LA, pp. 905-906.
12. Moody, J. O., and Antsaklis, P. J. 1996. Supervisory control of Petri nets with uncontrollable/unobservable transitions. Technical Report of the ISIS Group, ISIS-96-004, University of Dame, USA.
13. Murata, T. 1989. Petri nets: properties, analysis and applications. Proc. of the IEEE, Vol. 77, No. 4, pp. 540-580.
14. Yamalidou, K., Moody, J., Lemmon, M., and Antsaklis, P. 1996. Feedback control of Petri nets based on place invariants. Automatica 32(1): 15-28.
15. Zhou, M. C., and DiCesare, F. 1993. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, Massachusetts: Kluwer Academic Publishers.