//you can assume that all resources are listed first //then comes the users (Me, D1) (You, D2) (Him, D1) (him, D2) //finally, the actions {me, disk 1, X} {you, printer, r} {me, printer, r} {him,d2}