Browse Dept. of Industrial and Enterprise Systems Engineering by Subject "livelock avoidance"
Now showing items 1-1 of 1
Object-Oriented Implementation of the minimally restrictive liveness enforcing supervisory policy in a class of Petri nets (2013-02-03)Livelock avoidance is an essential requirement in Discrete-Event/Discrete-State (DEDS) systems. Every event of a live DEDS system can be executed at some instant in the future, irrespective of its past activities. When a ...