Algebraic Petri Nets
 dati |
 bibtex |
@courseproject{algebraic-petri-nets-lmc1011,
abstract = {Scopo del progetto \`{e} stato l'approfondimento e lo studio delle rete di Petri algebriche: comparate con le reti di Petri standard, si sono sottolineate le potenzialit\`{a} di questo formalismo, facendo riferimento a casi di studio presi in letteratura e ideando problematiche che mettessero in luce l'espressivit\`{a} di queste reti. Sono stati inoltre studiati i principali tools e model checker atti alla loro modellazione e verifica: il principale, AlPiNA, \`{e} stato utilizzato per la costruzione e testing dei casi proposti, nonch\'{e} per la validazione delle propriet\`{a} principali.},
apice = {algebraic-petri-nets},
author = {Casanova, Cristiana},
howpublished = {Computational Models and Languages L-M, A.Y. 2010/2011},
month = feb,
sort = {classic},
supervisor = {Viroli, Mirko},
title = {Algebraic Petri Nets},
type = {Standard Project},
year = 2011
}
abstract = {Scopo del progetto \`{e} stato l'approfondimento e lo studio delle rete di Petri algebriche: comparate con le reti di Petri standard, si sono sottolineate le potenzialit\`{a} di questo formalismo, facendo riferimento a casi di studio presi in letteratura e ideando problematiche che mettessero in luce l'espressivit\`{a} di queste reti. Sono stati inoltre studiati i principali tools e model checker atti alla loro modellazione e verifica: il principale, AlPiNA, \`{e} stato utilizzato per la costruzione e testing dei casi proposti, nonch\'{e} per la validazione delle propriet\`{a} principali.},
apice = {algebraic-petri-nets},
author = {Casanova, Cristiana},
howpublished = {Computational Models and Languages L-M, A.Y. 2010/2011},
month = feb,
sort = {classic},
supervisor = {Viroli, Mirko},
title = {Algebraic Petri Nets},
type = {Standard Project},
year = 2011
}