Home ETD
banca dati delle tesi e dissertazioni accademiche elettroniche
Università di Pisa
Sistema bibliotecario di ateneo
Tesi etd-03202004-120909
Condividi questa tesi: 
 
 

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
Struttura INGEGNERIA, FACOLTA'
Corso di studi INGEGNERIA INFORMATICA
Commissione
Nome Commissario Qualifica
Prof. Aldo Balestrino relatore
Prof. Andrea Caiti relatore
Parole chiave
  • reti di Petri
  • sistemi ad eventi discreti
  • controllo di reti di Petri
Data inizio appello 2004-05-05
Disponibilità mixed
Data di rilascio2044-05-05
Riassunto analitico
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
  Nome file       Dimensione       Tempo di download stimato (Ore:Minuti:Secondi) 
 
 28.8 Modem   56K Modem   ISDN (64 Kb)   ISDN (128 Kb)    piu' di 128 Kb  
  00a-Frontespizio.pdf 56.80 Kb 00:00:15 00:00:08 00:00:07 00:00:03 < 00:00:01
  00a-FrontespizioFirmato.pdf 828.43 Kb 00:03:50 00:01:58 00:01:43 00:00:51 00:00:04
  00b-DedicaIndiceIntroduzione.pdf 199.07 Kb 00:00:55 00:00:28 00:00:24 00:00:12 00:00:01
  presentazione.pps 445.95 Kb 00:02:03 00:01:03 00:00:55 00:00:27 00:00:02
Ci sono 6 file riservati su richiesta dell'autore.
Contatta l'autore