abstract
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.
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)
