João Fernandes, António Pina, and Alberto Proenç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>, julho 29, 1995, Canela, Brasil. SBC, Porto Alegre, Brasil, 481-492. DOI: <a href="https://doi.org/10.5753/sbac-pad.1995.19882">https://doi.org/10.5753/sbac-pad.1995.19882</a>.