Pages that link to "Item:Q5853943"
From MaRDI portal
The following pages link to On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets (Q5853943):
Displayed 3 items.
- 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)
- Liveness enforcement for production systems modeled by time Petri nets (Q6052675) (← links)