Comparing Digraph and Petri Net Approaches to Deadlock Avoidance in FMS