Fernandes, J., 		Pina, A., & 		Proença, A.
(1995).
 Simulação e síntese de controladores paralelos a partir de especificações baseadas em redes de Petri.
In <em>Anais do VII Simpósio de Arquitetura de Computadores e Processamento de Alto Desempenho</em>, (pp. 481-492). Porto Alegre: SBC.
doi:10.5753/sbac-pad.1995.19882