• PLC
• SIPN
• AS/RS

Lo scopo del lavoro di tesi è il progetto e l’implementazione di un controllore logico per il sistema costituito da un Rail Guided Vehicle (RGV) operante in un magazzino automatico che permetta di combinare i vantaggi delle tecniche classiche di sviluppo di codice per i controllori a logica programmabile e l’eliminazione degli svantaggi, quali la mancanza per essi della verifica e della validazione formale. L'implementazione viene effettuata con l’ausilio di una particolare tipologia di reti di Petri, le reti di Petri Signal Interpreted, proposte come vero e proprio linguaggio di programmazione grafico. Successivamente la rete è tradotta automaticamente in codice Intruction List direttamente eseguibile sul PLC di controllo del veicolo.