This paper focuses on the enforcement of nonlinear constraints in Petri nets. An integer linear programming model is formulated\nto transform a nonlinear constraint to a minimal number of conjunctive linear constraints that have the same admissible marking\nspace as the nonlinear one does in Petri nets. The obtained linear constraints can be easily enforced to be satisfied by a set of control\nplaces with a place invariant based method.Thecontrol places make up a supervisor that can enforce the given nonlinear constraint.\nFor a case that the admissible marking space decided by a nonlinear constraint is nonconvex, another integer linear programming\nmodel is developed to obtain a minimal number of constraints whose disjunctions are equivalent to the nonlinear constraint with\nrespect to the reachable markings. Finally, a number of examples are provided to demonstrate the proposed approach.
Loading....