Deadlock detection simulation