Decidability of properties of timed-arc Petri nets
- Frutos Escrig, David de
- Marroquín Alonso, Olga
- Valero Ruiz, Valentín
- Cazorla López, Diego (coord.)
Editorial: Universidad de Castilla-La Mancha
ISBN: 84-8427-074-2
Año de publicación: 2000
Páginas: 13-34
Congreso: Jornadas de Concurrencia (8. 2000. Cuenca)
Tipo: Aportación congreso