Font Size: a A A
Keyword [liveness-enforcing supervisor]
Result: 1 - 5 | Page: 1 of 1
1. Strict Minimal Siphons Computation And Liveness-Enforcing Supervisor Synthesis For S~3PR
2. Liveness-enforcing Supervisor Design For Flexible Manufacturing Systems Based On Petri Nets
3. Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies For S~3PR
4. Design Of Liveness-enforcing Supervisor And Enumeration Of Reachable States For Petri Nets
5. Non-pure Petri Net For Optimal Deadlock Prevention Policy Using Theory Of Regions
  <<First  <Prev  Next>  Last>>  Jump to