Consider the following maximum-claim reusable resource system with four processes (PO, P1, P2, P3) and three resource types (RO, R1, R2). The maximum claim matrix is given by 4 3 5 1 1 1 6 1 4 4 13 6 C = where Cj denote maximum claim of process i for resource j. The total number of units of each resource type is given by the vector (5, 8, 15). The current allocation of resources is given by the matrix 0 2 1 1 1 0 2 0 4 1 1 3 A = where Aij denotes the units of resources of type j currently allocated to process i. For the state shown above: