Digraph-based techniques for deadlock resolution in automated manufacturing systems