Decidability of properties of timed-arc Petri nets

• Autores: David de Frutos Escrig , Olga Marroquín Alonso, Valentín Valero Ruiz
• Localización: Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000 / coord. por Diego Cazorla López , 2000, ISBN 84-8427-074-2, págs. 13-34
• Idioma: inglés
• Texto completo no disponible (Saber más ...)