@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}
}

