Pages that link to "Item:Q5266683"
From MaRDI portal
The following pages link to Design of T-liveness enforcing supervisors in petri nets (Q5266683):
Displaying 8 items.
- Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching (Q665122) (← links)
- Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement (Q838995) (← links)
- Supervision based on place invariants: a survey (Q858151) (← links)
- Observable liveness of Petri nets (Q2340254) (← links)
- 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)
- (Q3621937) (← links)
- Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software (Q5353204) (← links)