Wartegraph

Ein gerichteter Graph mit den Prozessen als Knoten und Wartebeziehungen als Pfeile.

Zentraler Satz: Eine Verklemmung ist charakterisiert durch einen Zyklus im Wartegraphen.