@inproceedings {RP-90-12,
	title = {A Rede de Petri: Una Ferramenta para la Automa{\c c}ao Fabril},
	year = {1990},
	month = {7},
	pages = {181-200},
	author = {R. Valette and M. Silva}
}

