@inproceedings {RP-80-07,
	title = {Redes de Petri y validaci{\'o}n de sistemas con actividades concurrentes},
	year = {1980},
	month = {9},
	pages = {xx},
	author = {M. Silva}
}

