%0 Conference Paper %D 1995 %T Corrección de programas y redes de Petri de alto nivel %A F. Tricas %A J. Martínez %E J.M. Troya Linero %E C. Rodríguez %P 155-164 %8 7