Pages that link to "Item:Q5282055"
From MaRDI portal
The following pages link to Feedback Control Logic for Backward Conflict Free Choice Nets (Q5282055):
Displaying 7 items.
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- Maximally permissive supervisor synthesis based on a new constraint transformation method (Q445132) (← links)
- An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems (Q2127112) (← links)
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887) (← links)
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
- An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions (Q6186994) (← links)
- Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs (Q6550220) (← links)