Controllo di Magazzini Automatici con Reti di Petri Colorate