CONTROLLO E SIMULAZIONE DI UN MAGAZZINO AUTOMATICO MODERNO BASATO SU UN MODELLO A RETI DI PETRI COLORATE TEMPORIZZATE