Resource Allocation Systems: Concepts and Problems -- Logical Control of Disjunctive / Conjunctive Resource Allocation Systems -- Sequential RAS Admitting Optimal Nonblocking Supervision of Polynomial Complexity -- Polynomial-Kernel Nonblocking Supervisory Control Policies for Single-Unit RAS -- Logical Control of RAS with Complex Process Flows -- Performance-Oriented Modelling and Control of L…