@inproceedings {RP-95-10, title = {Correcci{\'o}n de programas y Redes de Petri de alto nivel}, year = {1995}, month = {6}, pages = {184-193}, author = {F. Tricas and J. Mart{\'\i}nez} }