AGUILAR, M. M. Fiallos.
Uma Experiência de Especificação Formal de Sistemas Multiprocessadores por Redes de Petri. <em>In</em>: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 1.	, 1987, Gramado/RS.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	1987
.
 p. 217-230. 
		DOI: <a href="https://doi.org/10.5753/sbac-pad.1987.23575">https://doi.org/10.5753/sbac-pad.1987.23575</a>.