logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-03202004-120909


Tipo di tesi
Tesi di laurea vecchio ordinamento
Autore
Circhetta, Giuseppe
Indirizzo email
syndacate@tiscali.it
URN
etd-03202004-120909
Titolo
Reti di Petri:sviluppo di un toolbox di simulazione, controllo ed analisi a macromoduli
Dipartimento
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA
Relatori
relatore Prof. Caiti, Andrea
relatore Prof. Balestrino, Aldo
Parole chiave
  • controllo di reti di Petri
  • reti di Petri
  • sistemi ad eventi discreti
Data inizio appello
05/05/2004
Consultabilità
Parziale
Data di rilascio
05/05/2044
Riassunto
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.
File