Tipo di tesi
Tesi di laurea vecchio ordinamento
Titolo
Reti di Petri:sviluppo di un toolbox di simulazione, controllo ed analisi a macromoduli
Corso di studi
INGEGNERIA INFORMATICA
Riassunto (Italiano)
Le reti di Petri sono un importante strumento di simulazione e test dei sistemi dinamici e negli ultimi anni hanno attirato una crescente attenzione.
Il formalismo grafico che esse rappresentano costituisce la vera forza di questo strumento che però risulta definito in modo molto diverso dalla Teoria dei Sistemi classica;inoltre è complicata la modellizzazione di sistemi reali complessi.
Questa tesi si propone da una parte lo sviluppo di un toolbox che consenta l'assemblaggio, il controllo e la simulazione a macromoduli, mentre dall'altra ridefinisce alcuni concetti(ingressi, uscite ecc.)per adattarli alla teoria delle reti di Petri.