- modificato l'algoritmo di identificazione dei deadlock
- implementato algoritmo che controlla se un deadlock è un duplicato(sottoinsieme) di un altro