Algebraic Petri Nets

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.