Reachable State Spaces of Distributed Deadlock Avoidance Protocols