State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems
A deluge of approaches has been proposed to implement and 15-eg1053cl deploy a computationally effective and maximally permissive liveness-enforcing supervisor for sequential resource allocation systems (RASs).However, they are stalled by the computational complexity of a large state space that grows exponentially with respect to the size of an und