|
| [2] | Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings, (José-Manuel Colom, Maciej Koutny, eds.), Springer, volume 2075, 2001. |
| [1] | Verificación de propiedades en Redes de Petri (José-Manuel Colom), Chapter in Sistemas Distribuidos: Modelos y Aplicaciones. XI Escuela de Verano de Informática. Albacete, 11 a 13 de julio de 2001 (Valentín Valero, ed.), Departamento de Informática Escuela Politécnica Superior de Albacete. Universidad de Castilla-La Mancha, 2001. |