Petri net controller synthesis for discrete event systems using weighted inhibitor arc

A Petri net (PN) with weighted inhibitor arc is exploited to solve the forbidden state problem of discrete event systems (DES). The forbidden state problem considered is described as the linear inequality constraint of the place marking. We first review the relevant work on the control of DES using inhibitor arcs. Then, the design of the PN controller is introduced with two steps. The first step of the design is to track the state of the system. Then, the weighted inhibitor arcs are exploited to disable the relative transitions in the case that the firing of these transitions will violate the constraints. A simple example of a discrete manufacturing system in the reported literature is used to show the detailed procedure of the controller synthesis and the advantages of the presented method.