Fernandes, João, António M. Pina, and Alberto J. Proença.
" Simulação e síntese de controladores paralelos a partir de especificações baseadas em redes de Petri." <em>Anais do VII Simpósio de Arquitetura de Computadores e Processamento de Alto Desempenho,
Canela, 1995</em>. SBC, 1995,  
pp.481-492.