Abstract
A method for constructing a controller for a discrete event system modeled by a Petri net is presented in this paper. The control specification of the system is given by a set of linear inequality constraints defined on the marking of the net. The controller that forces the net to obey the constraints is an extended Petri net, which is synthesized based on minimal support S-decreases. The method can deal with general Petri nets with uncontrollable transitions, and then provides a systematic way for synthesizing net-based controllers for discrete event systems.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
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.
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.
Chen, H. 1998. Net structure and control logic synthesis of controlled Petri nets. IEEE Trans. on Automatic Control 43(10): 1446–1451.
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.
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.
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.
Krogh, B. H., and Holloway, L. E. 1991. Synthesis of feedback control logic for discrete manufacturing systems. Automatica 27(4): 641–651.
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.
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.
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.
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.
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.
Murata, T. 1989. Petri nets: properties, analysis and applications. Proc. of the IEEE, Vol. 77, No. 4, pp. 540–580.
Yamalidou, K., Moody, J., Lemmon, M., and Antsaklis, P. 1996. Feedback control of Petri nets based on place invariants. Automatica 32(1): 15–28.
Zhou, M. C., and DiCesare, F. 1993. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, Massachusetts: Kluwer Academic Publishers.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Haoxun, C. Control Synthesis of Petri Nets Based on S-Decreases. Discrete Event Dynamic Systems 10, 233–249 (2000). https://doi.org/10.1023/A:1008397810443
Issue Date:
DOI: https://doi.org/10.1023/A:1008397810443