All Stories

  1. A distributed state space for modular Petri nets
  2. An Active Controller based on Parikh Vectors
  3. Synthesis of controllers for symmetric systems
  4. Supervisory Control and High-level Petri nets
  5. Synthesis of controllers using symbolic reachability graphs