Full Text:   <2686>

CLC number: TP301

On-line Access: 

Received: 2005-09-02

Revision Accepted: 2005-11-08

Crosschecked: 0000-00-00

Cited: 0

Clicked: 5089

Citations:  Bibtex RefMan EndNote GB/T7714

-   Go to

Article info.
1. Reference List
Open peer comments

Journal of Zhejiang University SCIENCE A 2006 Vol.7 No.4 P.623-628


Synthesis of Petri net supervisors enforcing general constraints

Author(s):  Zhang Yao-yao, Yan Gang-feng

Affiliation(s):  School of Electrical Engineering, Zhejiang University, Hangzhou 310027, China

Corresponding email(s):   flyingyaoyao@hotmail.com

Key Words:  Petri net, Supervisor control, Parikh vector, Uncontrollable, Unobservable

Zhang Yao-yao, Yan Gang-feng. Synthesis of Petri net supervisors enforcing general constraints[J]. Journal of Zhejiang University Science A, 2006, 7(4): 623-628.

@article{title="Synthesis of Petri net supervisors enforcing general constraints",
author="Zhang Yao-yao, Yan Gang-feng",
journal="Journal of Zhejiang University Science A",
publisher="Zhejiang University Press & Springer",

%0 Journal Article
%T Synthesis of Petri net supervisors enforcing general constraints
%A Zhang Yao-yao
%A Yan Gang-feng
%J Journal of Zhejiang University SCIENCE A
%V 7
%N 4
%P 623-628
%@ 1673-565X
%D 2006
%I Zhejiang University Press & Springer
%DOI 10.1631/jzus.2006.A0623

T1 - Synthesis of Petri net supervisors enforcing general constraints
A1 - Zhang Yao-yao
A1 - Yan Gang-feng
J0 - Journal of Zhejiang University Science A
VL - 7
IS - 4
SP - 623
EP - 628
%@ 1673-565X
Y1 - 2006
PB - Zhejiang University Press & Springer
ER -
DOI - 10.1631/jzus.2006.A0623

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.

Darkslateblue:Affiliate; Royal Blue:Author; Turquoise:Article


[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.

Open peer comments: Debate/Discuss/Question/Opinion


Please provide your name, email address and a comment

Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail: cjzhang@zju.edu.cn
Copyright © 2000 - 2024 Journal of Zhejiang University-SCIENCE