mostrar texto associado
Em sistemas distribuídos que utilizam técnicas de prevenção de impasses, o fato de um gráfico de espera ser acíclico indica a ausência de impasse, mesmo que a união dos gráficos locais gerem um gráfico global cíclico.