@inproceedings {975,
	title = {An{\'a}lisis de programas concurrentes mediante Redes de Petri},
	booktitle = {VI Congreso de Inform{\'a}tica y Autom{\'a}tica de la AEIA},
	year = {1985},
	month = {10/1985},
	pages = {519-523},
	address = {Madrid, Espa{\~n}a},
	isbn = {84-7402-174-X},
	author = {J. Mart{\'\i}nez and J.M. Colom and M. Silva}
}

