Pages that link to "Item:Q2663929"
From MaRDI portal
The following pages link to Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets (Q2663929):
Displaying 4 items.
- Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets (Q2489594) (← links)
- Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming (Q3058342) (← links)
- Design of T-liveness enforcing supervisors in petri nets (Q5266683) (← links)
- Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software (Q5353204) (← links)