Parametric Time Petri Net with inhibitor arcs and modular exploration in not-parametric Time Petri Nets

nessuna descrizione.

Corso di Laurea: 
Laurea Magistrale in Ingegneria Informatica e dell'Automazione
Anno Accademico: 
2013
Tesista
Tesista: 
Giuseppe Pellegrino
Email: 
Relatore
Relatore: 
Prof. Aldo Franco Dragoni
Email: 
Correlatore
Correlatore: 
Laure Petrucci