Pages that link to "Item:Q838995"
From MaRDI portal
The following pages link to Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement (Q838995):
Displaying 3 items.
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net (Q2058574) (← links)
- Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets (Q2663929) (← links)