A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces