Simulazione di reti di Petri Stocastiche in forma prodotto: sviluppo e analisi

La valutazione delle prestazioni di un sistema rappresenta un carattere fondamentale nel progetto, nello sviluppo e nella configurazione di un sistema di elaborazione. In informatica, lo studio delle prestazioni di sistemi costituisce un’area di ricerca che ha condotto alla definizione di nuove metodologie e strumenti per l’analisi di modelli di sistemi. Tali modelli possono essere valutati tramite metodi analitici o simulativi. L’elaborato propone l’implementazione di un modello di simulazione per reti di Petri stocastiche per le quali è possibile ottenere una soluzione in forma prodotto rispettando i vincoli imposti dal teorema di Coleman Henderson et. al. In particolare, il simulatore presenta differenti algoritmi sviluppati per ricavare le stime dei principali indici di prestazione del sistema analizzato. Inoltre, al fine di validare il lavoro svolto vengono convalidati i risultati ottenuti dagli esperimenti di simulazione.