3 F. Tricas J. Martínez J.M. Troya Linero C. Rodríguez 1995 Corrección de programas y redes de Petri de alto nivel 155-164 7