Descrizione
Il presente testo vuole inquadrare in modo semplice ma corretto il problema del controllo logico, in un’ottica sistemistica, relativamente ai problemi di automazione di processi e impianti industriali. In altri termini, si studiano le tecniche e le metodologie principali per imporre ad un sistema, rappresentabile con stati discreti e transizioni di stato, un comportamento desiderato.
La prima parte del testo approfondisce quindi il problema della rappresentazione e dell’analisi di tali sistemi, detti ad eventi discreti, rappresentati qui con reti di Petri.
La seconda parte invece studia le principali tecniche per il loro controllo. Un’ampia bibliografia raccoglie i riferimenti principali per dare la possibilità di approfondimento sia degli aspetti essenziali sia di quelli specialistici relativamente alla soluzione delle problematiche di automazione industriali con reti di Petri. Il testo è rivolto essenzialmente a studenti della laurea di primo livello in ingegneria dell’automazione, informatica, elettronica, elettrica, gestionale e chimica. Oltre ad una descrizione informale ed intuitiva di definizioni e proprietà, compare una formulazione rigorosa che lascia spazio agli studenti interessati di intraprendere sviluppi successivi.
L. Ferrarini è professore associato, docente di vari corsi di Automazione Industriale presso il Politecnico di Milano.
