Controller Design for Petri Net with Uncontrollable and Unobservable transitions
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.
Petri net controller Parikh vector uncontrollable transitions unobservable transitions
Ze Tao Xiaoxia Liu
School of Mechanical Engineering, Shenyang Ligong University, Shenyang, 110159,China School of Electrical &Mechanical Engineering, Henan University of Technology, Zhengzhou,450007, Chin
国际会议
台湾
英文
3855-3859
2011-12-11（万方平台首次上网日期，不代表论文的发表时间）