A Petri net and digraph-theoretic approach for deadlock avoidance in flexible manufacturing systems

Combines Petri nets and digraphs to implement control policies avoiding deadlocks in flexible manufacturing systems. We translate some deadlock characterizations into Petri net markings. Hence we deduce inequality constraints on the token distribution to avoid deadlocks. By using control places we define place invariants to respect these constraints.