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
Deadlock Avoidance Policies Applied to Flexible Manufacturing Systems Modelled by Colored Petri Nets / Fanti, Maria Pia; Turchiano, Biagio. - (1999), pp. 1099-1106. (Intervento presentato al convegno INRIA/IEEE Symposium on Emergimg Technologies and Factory Automation, ETFA'99 tenutosi a Barcelona, Spain nel October 18-21, 1999) [10.1109/ETFA.1999.813112].
Deadlock Avoidance Policies Applied to Flexible Manufacturing Systems Modelled by Colored Petri Nets
FANTI, Maria Pia;TURCHIANO, Biagio
1999-01-01
Abstract
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 stepI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.