Equivalent Transformation of Nonlinear Constraints to Linear Constraints in Petri Nets
Joint Authors
al-Ahmari, Abdurahman
Hon, ChiTin
Wu, Naiqi
Chen, YuFeng
Source
Mathematical Problems in Engineering
Issue
Vol. 2015, Issue 2015 (31 Dec. 2015), pp.1-11, 11 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2015-09-16
Country of Publication
Egypt
No. of Pages
11
Main Subjects
Abstract EN
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 nets.
The obtained linear constraints can be easily enforced to be satisfied by a set of control places with a place invariant based method.
The control places make up a supervisor that can enforce the given nonlinear constraint.
For a case that the admissible marking space decided by a nonlinear constraint is nonconvex, 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.
American Psychological Association (APA)
Chen, YuFeng& al-Ahmari, Abdurahman& Hon, ChiTin& Wu, Naiqi. 2015. Equivalent Transformation of Nonlinear Constraints to Linear Constraints in Petri Nets. Mathematical Problems in Engineering،Vol. 2015, no. 2015, pp.1-11.
https://search.emarefa.net/detail/BIM-1074366
Modern Language Association (MLA)
Chen, YuFeng…[et al.]. Equivalent Transformation of Nonlinear Constraints to Linear Constraints in Petri Nets. Mathematical Problems in Engineering No. 2015 (2015), pp.1-11.
https://search.emarefa.net/detail/BIM-1074366
American Medical Association (AMA)
Chen, YuFeng& al-Ahmari, Abdurahman& Hon, ChiTin& Wu, Naiqi. Equivalent Transformation of Nonlinear Constraints to Linear Constraints in Petri Nets. Mathematical Problems in Engineering. 2015. Vol. 2015, no. 2015, pp.1-11.
https://search.emarefa.net/detail/BIM-1074366
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1074366