FERNANDES, João M.; 						PINA, António M.; 						PROENÇA, Alberto J..
 Simulação e síntese de controladores paralelos a partir de especificações baseadas em redes de Petri. <em>In</em>: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 7.	, 1995, Canela.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	1995
.
 p. 481-492. 
		DOI: <a href="https://doi.org/10.5753/sbac-pad.1995.19882">https://doi.org/10.5753/sbac-pad.1995.19882</a>.