Equivalent transformation of nonlinear constraints to linear constraints in Petri nets
From MaRDI portal
Publication:1666226
DOI10.1155/2015/640917zbMath1394.68245WikidataQ59119213 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
90C10: Integer programming
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Cites Work
- 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
- Unnamed Item
- Unnamed Item