Controller study of DES Petri net with uncontrollable transition

A detailed analysis of supervisory control with place and transition hybrid constraints for Petri net based discrete event system with uncontrollable transitions, and a new method for constructing a Petri net feedback controller based on part design and Petri net reduction technique is presented. 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 transition constraints and uncontrollable transitions. Finally, the method is proved to be simple and efficient through some examples.