Em um sistema multitarefa com recursos replicados, a representação dos recursos alocados em uma estrutura do tipo grafo (grafo de alocação de recurso) permite inferir a inexistência de deadlock para o grafo sem ciclo e a sua existência no caso contrário.