@book {RP-85-01,
	title = {Las redes de Petri en la Autom{\'a}tica y la Inform{\'a}tica},
	year = {1985},
	publisher = {AC},
	organization = {AC},
	author = {M. Silva}
}

