7.6 Deadlock Detection (b) Several Instances of a Resource Type - si-manual