«Operating Systems: Deadlocks», sur www.cs.uic.edu (consulté le ) : «If a resource category contains more than one instance, then the presence of a cycle in the resource-allocation graph indicates the possibility of a deadlock, but does not guarantee one. Consider, for example, Figures 7.3 and 7.4 below:»