|
 
|
[CAH15] Equivalent Transformation of Nonlinear Constraints to Linear Constraints in Petri Nets
Revue Internationale avec comité de lecture : Journal Mathematical Problems in Engineering, pp. 1-17, 2015
motcle:
Résumé:
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 markings space as
the nonlinear one does in Petri nets. The obtained linear
constraints can be easily enforced by a set of control places by
using a place invariant based method. The control places make up a
supervisor that can enforce the given nonlinear constraint. On
condition that the admissible markings space decided by 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 with respect
to the reachable markings. Finally, a number of examples are
provided to demonstrate the proposed approach.
Equipe:
sys
BibTeX
| @article { | |||
| CAH15, | |||
| title | = | "{Equivalent Transformation of Nonlinear Constraints to Linear Constraints in Petri Nets}", | |
| author | = | "Y. Chen and A. Al-Ahmari and C. Hon and N. Wu", | |
| journal | = | "Mathematical Problems in Engineering", | |
| year | = | 2015, | |
| pages | = | "1-17", | |
| } | |||
