Ferrarini: Automazione industriale Controllo logico con reti di Petri Edizioni: Pitagora Anno di pubblicazione: 2002 Euro: 14,00 sconto:10% pp.: 152 ISBN: 8837112963

II presente testo non vuole essere un compendio di risultati sulle reti di Petri, ne di tutte le tecniche di soluzione di problemi di controllo logico, per i quali viene citata un'opportuna bibliografia. Esso vuole innanzitutto inquadrare in modo semplice ma corretto il problema del controllo logico, in un'ottica sistemistica, relativamente ai problemi di automazione industriale. Quindi, vuole fare chiarezza sugli strumenti e sui metodi, e facilitare l'operazione di astrazione modellistica, indispensabile per proporre soluzioni applicabili, verificabili e riutilizzabili nella pratica industriale. La comprensione corretta del comportamento dinamico dei sistemi ad eventi e infatti di fondamentale importanza per l'individuazione di strategie di controllo efficaci ed efficienti. II testo e diviso in 8 capitoli, piu una sezione bibliografica. A parte il Capitolo 1, ogni capitolo e preceduto da una introduzione che spiega e riassume i contenuti del capitolo stesso. I primi 4 capitoli servono a chiarire cosa sono e a cosa servono i sistemi dinamici ad eventi discreti. Nei restanti 4 capitoli, si studiano le principali tecniche per il loro controllo. II Capitolo 1 introduce il problema del controllo logico, mostrandone la sua importanza in campo industriale. Nel Capitolo 2 si definiscono i sistemi dinamici ad eventi discreti e si introducono gli automi come modello per rappresentarli. Nel Capitolo 3 si definiscono le reti di Petri, le loro principali proprieta e la loro rappresentazione matematica. II Capitolo 4 affronta il problema dell'analisi delle reti di Petri, svolta essenzialmente tramite la descrizione matriciale delle reti. Nel Capitolo 5 si affronta il problema del controllo per sistemi ad eventi discreti, mostrando i principali approcci e le tecniche più utilizzate. II Capitolo 6 illustra la tecnica del controllo supervisivo basata sugli invarianti, la quale permette di determinare controllori capaci di opportuni vincoli sullo stato e sugli eventi del sistema. Nel Capitolo 7 si illustrano i basilari criteri di progettazione diretta del controllore e le relative tecniche di manipolazione di modelli. II Capitolo 8 illustra un modo pragmatico per costruire un modello del controllore per il caso notevole dei sistemi di produzione automatizzati.