J. Fernandes, A. Pina, and A. Proença.
" 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>, Canela, 1995, pp. 481-492, doi: <a href="https://doi.org/10.5753/sbac-pad.1995.19882">https://doi.org/10.5753/sbac-pad.1995.19882</a>.