Controllo e Simulazione di un Magazzino Automatico Moderno Basato su un Modello a Reti di Petri Colorate Temporizzate