Grazie al loro approccio grafico intuitivo e alle tecniche di analisi espressiva, le reti di Petri sono adatte a un'ampia gamma di applicazioni e scenari didattici e hanno ottenuto un'ampia accettazione come tecnica di modellazione in aree quali la progettazione del software e l'ingegneria di controllo. I principi teorici fondamentali sono stati studiati per molti decenni e ora esiste una letteratura di ricerca completa che integra la vasta esperienza di implementazione. In questo libro l'autore presenta un'introduzione chiara e approfondita agli elementi essenziali delle reti di Petri. Spiega le principali tecniche di modellazione e i metodi di analisi e ne illustra l'utilità con esempi e casi di studio. La Parte I descrive come utilizzare le reti di Petri per la modellazione; tutti i concetti sono spiegati con l'aiuto di esempi, partendo da un modello generico e potente che è anche intuitivo e realistico.^ La Parte II copre i metodi di analisi essenziali specifici delle reti di Petri, introducendo tecniche utilizzate per formulare proprietà chiave delle reti di sistema e algoritmi per dimostrarne la validità. La Parte III presenta casi di studio, ciascuno dei quali introduce nuovi concetti, proprietà e tecniche di analisi necessarie per attività di modellazione molto diverse. L'autore propone diversi percorsi tra capitoli e sezioni: il filone elementare per i lettori che desiderano studiare solo le reti elementari; il filone della modellistica per coloro che desiderano studiare la modellistica ma non l'analisi dei sistemi; e infine i modelli elementari del filone modellistico per chi è interessato ad esempi e casi di studio tecnicamente semplici, ma stimolanti. L'autore raggiunge un eccellente equilibrio tra coerenza, comprensibilità e correttezza in un libro dal design distintivo.^ Tra le sue caratteristiche, gli argomenti formali sono ridotti al minimo nel testo principale con molti dei formalismi teorici spostati in un'appendice, le spiegazioni sono supportate ovunque con illustrazioni grafiche completamente integrate e ogni capitolo termina con esercizi e raccomandazioni per ulteriori letture. Il libro è adatto agli studenti di informatica e materie correlate come l'ingegneria, e a un'ampia gamma di ricercatori e professionisti.
caricamento...
