Controller Design for Petri Net with Uncontrollable and Unobservable Transitions

Abstract:

A controller design method for Petri net with uncontrollable and unobservable transitions that enforces the conjunction of a set of linear inequalities on the Parikh vector is proposed. The method is based on the theory that each place can be described with a Parikh vector inequality. Constraints are classified into admissible and inadmissible constraints. An inadmissible constraint cannot be directly enforced on a plant because of the uncontrollability or unobservability of certain transitions. Construct the controller though transforming the inadmissible constraint into admissible one. The method eases the design of controller, because it is based on part net design, and it only considers the direct or indirect transitions related to the constraints. So the computation required to find the Petri net controller is quite simple. Finally, the method is proved to be simple and efficient through one example.

• Periodical: Applied Mechanics and Materials (Volumes 121-126)
• Pages: 3855-3859
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.121-126.3855
• Online since: October 2011
• Authors: Ze Tao, Xiao Xia Liu
• Keywords: Controller, Parikh Vector, Petri Net, Uncontrollable Transition, Unobservable Transitions

References

[1] M. Uzam: On suboptimal supervisory control of Petri nets in the presence of uncontrollable transitions via monitor places, The International Journal of Advanced Manufacturing Technology, Vol. 47, No. 5, pp.567-579, (2009).

DOI: 10.1007/s00170-009-2219-0

[2] Zhong C F, Li Z W: A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models, Engineering with Computers, Vol. 25, pp.269-278, (2009).

DOI: 10.1007/s00366-008-0122-1

[3] Hesuan Hu, Zhiwu Li: Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons. Journal of Intelligent Manufacturing, 21: pp.555-567, ( 2010).

DOI: 10.1007/s10845-009-0238-1

[4] Tao Z, Xie L Y, Liang D: Controller design of DES Petri nets with mixed constraint, Chinese journal of aeronautics, Vol. 18, Nol3, pp.283-288, (2005).

DOI: 10.1016/s1000-9361(11)60311-7

[5] M. Uzam: On suboptimal supervisory control of Petri nets in the presence of uncontrollable transitions via monitor places, The International Journal of Advanced Manufacturing Technology, Vol. 47, No. 5, pp.567-579(2009).

DOI: 10.1007/s00170-009-2219-0

[6] Zhang Y Y: Supervisor synthesis for discrete event system based on constraint transformation, Zhejiang university, (2007).