A cycle in this type of graph allows the detection of a deadlock.