Deadlock avoidance policies applied to flexible manufacturing systems modelled by colored Petri nets

The high degree of resource sharing in flexible manufacturing systems can lead to deadlock situations. We model the concurrent execution of working processes through colored Petri nets and we implement some effective deadlock avoidance policies in the same framework. Control places impose restrictions on the transition firing on the basis of the current marking and a look-ahead procedure of only one step.