@inproceedings {RP-95-12, title = {Correcci{\'o}n de programas y redes de Petri de alto nivel}, year = {1995}, month = {7}, pages = {155-164}, author = {F. Tricas and J. Mart{\'\i}nez}, editor = {J.M. Troya Linero and C. Rodr{\'\i}guez} }