Fornire un insieme di strumenti formali per la modellistica dei flussi informativi e l’ottimizzazione della gestione operativa di sistemi produttivi automatizzati, con particolare riferimento ai sistemi flessibili di lavorazione e assiematura.