Skip to Main content Skip to Navigation
Journal articles

On the enforcement of a class of nonlinear constraints on Petri nets

Abstract : This paper focuses on the enforcement of nonlinear constraints in Petri nets. First, a supervisory structure is proposed for a nonlinear constraint. The proposed structure consists of added places and transitions. It controls the transitions in the net to be controlled only but does not change its states since there is no arc between the added transitions and the places in the original net. Second, an integer linear programming model is proposed to transform a nonlinear constraint to a minimal number of conjunc-tive linear constraints that have the same control performance as the nonlinear one. By using a place invariant based method, the obtained linear constraints can be easily enforced by a set of control places. The control places consist to a supervisor that can enforce the given nonlinear constraint. On condition that the admissible markings space of a nonlinear constraint is non-convex, another integer linear programming model is developed to obtain a minimal number of constraints whose disjunctions are equivalent to the nonlinear constraint. Finally, a number of examples are provided to demonstrate the proposed approach.
Document type :
Journal articles
Complete list of metadatas

Cited literature [39 references]  Display  Hide  Download
Contributor : Kamel Barkaoui <>
Submitted on : Wednesday, April 15, 2020 - 3:54:52 PM
Last modification on : Monday, April 20, 2020 - 9:28:47 AM


Files produced by the author(s)



Yufeng Chen, Zhiwu Li, Kamel Barkaoui, Alessandro Giua. On the enforcement of a class of nonlinear constraints on Petri nets. Automatica, Elsevier, 2015, 55, pp.116-124. ⟨10.1016/j.automatica.2015.02.014⟩. ⟨hal-02479661⟩



Record views


Files downloads