Please wait a minute...
Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering)  2006, Vol. 7 Issue (4 ): 22-    DOI: 10.1631/jzus.2006.A0623
    
Synthesis of Petri net supervisors enforcing general constraints
Zhang Yao-yao, Yan Gang-feng
School of Electrical Engineering, Zhejiang University, Hangzhou 310027, China
Download:     PDF (0 KB)     
Export: BibTeX | EndNote (RIS)      

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.

Key wordsPetri net      Supervisor control      Parikh vector      Uncontrollable      Unobservable     
Received: 02 September 2005     
CLC:  TP301  
Cite this article:

Zhang Yao-yao, Yan Gang-feng. Synthesis of Petri net supervisors enforcing general constraints. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2006, 7(4 ): 22-.

URL:

http://www.zjujournals.com/xueshu/zjus-a/10.1631/jzus.2006.A0623     OR     http://www.zjujournals.com/xueshu/zjus-a/Y2006/V7/I4 /22

[1] Yao YUE, Chun-ming ZHANG, Hai-xin WANG, Guo-qiang BAI, Hong-yi CHEN. Stochastic individual predicate/transition nets[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2009, 10(2): 165-171.
[2] Ma Bin, Guo Zhi-ying, Zhou Hua-min. Development of a plastic injection molding training system using Petri nets and virtual reality[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2006, 7(3 ): 4-.