Deadlock Avoidance Policies in Production Systems by a Digraph Approach