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 3 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)
