Equivalent Transformation of Nonlinear Constraints to Linear Constraints in Petri Nets

This paper focuses on the enforcement of nonlinear constraints in Petri nets. An integer linear programming model is formulated to transform a nonlinear constraint to a minimal number of conjunctive linear constraints that have the same admissible marking space as the nonlinear one does in Petri net...

Ausführliche Beschreibung