Massimizzazione dei ritmi produttivi di macchine transfer: Un approccio basato sulle reti di Petri