Similar articles

Abstract: This paper deals with the synthesis of petri net supervisor enforcing the more expressive constraints including marking terms, firing vector terms and parikh vector terms. The method is developed to handle uncontrollable and unobservable transitions existing in the constraints. The “greater-than or equal” general constraints can also be transformed into “less-than or equal” Parikh constraints. An example is analyzed to show how the problem is solved. General constraint is first transformed into parikh vector constraints, and Matrix-Transformation is proposed to obtain the admissible constraints without uncontrollable and unobservable transitions. Then the supervisor can be constructed based on constraints only consisting of parikh vector terms. The method is proved to be more concise and effective than the method presented by Iordache and Moody especially when applied to large scale systems.

[1] Giua, A., Dicesare, F., 1994. Petri net structural analysis for supervisory control. IEEE Trans. on Robotics and Automation, 10(2):185-195.

[2] Giua, A., Dicesare, F., Silva, M., 1992. Generalized Mutual Exclusion Constraints on Nets with Uncontrollable Transitions. Proceeding of IEEE International Conference on Systems, Man & Cybernetics, p.974-979.

[3] Holloway, L.E., Krogh, B.H., 1990. Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Trans. on Automatic Control, 35(5):514-523.

[4] Iordache, U.V., Antsaklis, P.J., 2002. Synthesis of Supervisors Enforcing General Linear Vector Constraints in Petri Nets. American Control Conference, p.154-159.

[5] Iordache, U.V., Antsaklis, P.J., 2003. Synthesis of supervisors enforcing general linear constraints in Petri nets. IEEE Trans. on Automatic Control, 48(11):2036-2039.

[6] Li, Y., Wonham, W., 1994. Control of vector discrete-event systems II—Controller synthesis. IEEE Trans. on Automatic Control, 39(3):512-530.

[7] Moody, J., Antsaklis, P., 2000. Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Trans. on Automatic Control, 45(3):462-472.

[8] Murata, T., 1989. Petri nets: Properties, analysis and applications. Proceeding of the IEEE, 77(4):541-580.

[9] Wang, S.G., Yan, G.F., 2005. A novel method of design of Petri net controller enforcing general linear constraints. Journal of Software, 16(3):960-967.

[10] Wu, W.M., Dong, L.D., Wang, X., Su, H.Y., Chu, J., 2003. Combined Petri nets controller for discrete event system. Acta Automatica Sinica, 29(5):681-688.

[11] Yamalidou, E., Moody, J.O., Antsaklis, P.J., Lemmon, M.D., 1996. Feedback control of Petri nets based on place invariants. Automatica, 32(1):15-28.