Angela Di Febbraro Alessandro Giua – Sistemi ad Eventi Discreti (2002)

Italian | McGraw-Hil | PDF | 2002 | 458 pages | 62 Mb

La prima parte del libro, comprendente i Capitoli 1, 2 e 3, si propone di familiarizzare il lettore con questa classe di sistemi la cui dinamica non nasce dal trascorrere del tempo ma dal verificarsi di eventi discreti. Il modello usato in questa parte è l'automa, nelle sue diverse forme: l'automa a stati finiti deterministico o non deterministico, automa temporizzato che da luogo ad un processo di semi-Markov generalizzato, le catene di Markov, i processi di nascita e morte e le reti di code.

La seconda parte del libro, comprendente i Capitoli 4 e 5, è dedicata alle reti di Petri, che fra tutti i modelli ad eventi discreti ci sembrano essere il più interessante per tre ragioni. Per prima cosa, esse costituiscono una ricca famiglia di modelli sia logici sia temporizzati (deterministici e stocastici), i quali condividono un insieme di strumeni formali. In secondo luogo, le reti di Petri possono essere usate in tutte le fasi del progetto di un sistema di controllo: specifica, simulazione, analisi, verifica formale, ottimizzazione, sintesi del controllore e implementazione. Infine, le reti di Petri sono state usate con

successo in diversi contesti metodologici, che vanno dal controllo supervisivo. all'algebra max-plus, allo studio dei processi markoviani, ccc. Benché per ragioni di spazio non ia stato possibile sviluppare questa parte in tutta l'ampiezza di profondità e dettaglio che l'argomento avrebbe meritato, noi crediamo che il nostro sia il primo testo italiano a presentare le reti di Petri dal punto di vista proprio della teoria dei sistemi.