Equivalent transformation of nonlinear constraints to linear constraints in Petri nets
From MaRDI portal
Publication:1666226
DOI10.1155/2015/640917zbMath1394.68245OpenAlexW1621270329WikidataQ59119213 ScholiaQ59119213MaRDI QIDQ1666226
YuFeng Chen, Abdulrahman Al-Ahmari, Chi Tin Hon, NaiQi Wu
Publication date: 27 August 2018
Published in: Mathematical Problems in Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1155/2015/640917
Integer programming (90C10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Unnamed Item
- Unnamed Item
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Supervision based on place invariants: a survey
- Feedback control of Petri nets based on place invariants
- Deadlock prevention policy based on Petri nets and siphons
- Supervisory Control of a Class of Discrete Event Processes
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case
This page was built for publication: Equivalent transformation of nonlinear constraints to linear constraints in Petri nets