Deadlock Detection Graph