Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias

Aquesta tesi apareix a les col·leccions següents