Algebraic Petri Nets

   page       attach   
sommario

Scopo del progetto è stato l'approfondimento e lo studio delle rete di Petri algebriche: comparate con le reti di Petri standard, si sono sottolineate le potenzialità di questo formalismo, facendo riferimento a casi di studio presi in letteratura e ideando problematiche che mettessero in luce l'espressività di queste reti.
Sono stati inoltre studiati i principali tools e model checker atti alla loro modellazione e verifica: il principale, AlPiNA, è stato utilizzato per la costruzione e testing dei casi proposti, nonché per la validazione delle proprietà principali.

prodotti
Allegati
  • Caso di studio affrontato nella relazione modellato col tool AlPiNA (http://alpina.unige.ch/): (Progetto_Gps.rar)
  • Esempio di utilizzo di Reti di Petri algebriche (Produttori-Consumatori) modellato col medesimo tool: (ProdCons1.rar)