Petri Net based supervisor for hybrid-logic linear constraints

A novel extended Petri Net, Critical Arc Petri Net, is proposed in this paper to simplify the controller synthesis for hybrid-logic linear constraints, which can test negative marking when negative tokens are allowed in places. A supervisor, based on extended Petri Nets, is proposed to deal with hybrid-logic constraints including AND-logic and OR-logic constraints. In supervisor synthesis, the first step is to apply P-invariant method to obtain constraint controller for each single constraint, and the second step is to design logic controller based on extended Petri Nets. At the end of the paper, an example is provided to illustrate the procedure of supervisor synthesis.