Cette phase préliminaire sert à interrompre l'exécution de l'algorithme dans le cas où il n'y a de toutes façons aucune solution.
On trace le graphe
,
et on y lance une recherche de circuits. Comme toutes les contraintes de précédence
tracées ici ne dépendent pas des capacités attribuées aux buffers, l'existence
d'un circuit nous place dans une situation de blocage de type buffer vide/buffer vide :
arrêt de l'exécution de l'algorithme.