Synthesis of supervisor enforcing Parikh constraints with uncontrollable transitions in Petri Nets

A detailed analysis of supervisory control with Parikh vector constraints for Petri Net based discrete event systems with uncontrollable transitions. Constraints were divided into controllable part and uncontrollable part, which can be called admissible and forbidden constraints. Matrix-Transformation method was proposed to transform the forbidden constraint into admissible one to obtain the controller. Through examples, the method given here was proved to be clear in structure and concise in computation, and would greatly simplify controller synthesis when applied to constraints in complex Petri Net.