7.2 Deadlock Characterization (b Resource-Allocation Graph) - si-manual