Modelado de bloqueos mutuos

Los bloqueos mutuos se pueden modelar a través de gráficas. Holt demostró en 1972 que a través de estas gráficas se podían modelar las cuatro condiciones necesarias para un bloqueo mutuo. Para realizarlas se usan cuadrados para representar los recursos y círculos para representar los procesos. Una línea de un recurso a un proceso significa que éste está retenido por dicho proceso; una línea de un proceso a un recurso significa que éste está esperando dicho recurso.
En esta gráfica podemos ver dos recursos cada uno asignado a un proceso y solicitado por el otro. Al formarse el círculo con las flechas en la misma dirección podemos detectar que se formó un bloqueo mutuo.