« 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: »