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 5 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)
- (Q3621937) (← links)
