Controller Design for Petri Net with Uncontrollable Transition

IA Petri net controller method for Petri net model with uncontrollable transitions that enforces the conjunctions a set of linear inequalities on the Parikh vector or place markings is proposed. The method for constructing a Petri net feedback controller is based on part design and Petri net reduction technique. Constraints are classified into admissible and inadmissible constraints. Matrix-Transformation method is proposed to transform the inadmissible constraint into admissible one to construct the controller. The method eases the design of controller and holds remarkable advantages especially for systems with large scale, because it only considers local incident matrix related to the place and Parikh constraints and uncontrollable transitions. Finally, the method is proved to be simple and efficient through some examples.

[1]  W. M. Wonham,et al.  A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets , 2006 .

[2]  Di Liang,et al.  Controller Design of DES Petri Nets with Mixed Constraint , 2005 .

[3]  Panos J. Antsaklis,et al.  Petri net supervisors for DES with uncontrollable and unobservable transitions , 2000, IEEE Trans. Autom. Control..

[4]  Shou-Guang Wang.  A Method for the Design of Petri Net Controller Enforcing General Linear Constraints , 2005 .

[5]  Panos J. Antsaklis,et al.  Synthesis of deadlock prevention supervisors using Petri nets , 2002, IEEE Trans. Robotics Autom..

[6]  Yi-Sheng Huang.  Design of deadlock prevention supervisors using Petri nets , 2007 .

[7]  Panos J. Antsalclis,et al.  AUTOMATED DESIGN OF A PETRI NET FEEDBACK CONTROLLER FOR A ROBOTIC ASSEMBLY CELL , 2009 .

[8]  Panos J. Antsaklis,et al.  Characterization of feasible controls for Petri nets with unobservable transitions , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[9]  Murat Uzam.  Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions , 2003 .

[10]  ZhiWu Li,et al.  A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models , 2008, Engineering with Computers.

[11]  Alessandro Giua,et al.  Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places , 2006, Autom..