Grafos de Conflitos e de Precedências

Grafo de conflitos G:
- nós: processos
- não dirigido
- aresta (u,v) existe se for possível um conflito entre u e v
Grafo de precedências H:
- é definido por uma função que sempre atribua precedências distintas a pares de processos em conflito
- idêntico a G, mas dirigido
- $u \rightarrow v$ em H se u tem precedência sobre v