All Stories

  1. An elementary siphon-based deadlock control algorithm with maximally reachable number to cope with deadlock problems in ordinary Petri nets
  2. An algorithm to evaluate implementation cost for liveness-enforcing supervisors designed by deadlock prevention policy
  3. Policy to cope with deadlocks and livelocks for flexible manufacturing systems using the max′-controlled new smart siphons
  4. A livelock control policy for a flexible manufacturing system modeling with a subclass of generalized Petri nets