Fernandes, João, 		Pina, António, E 		Proença, Alberto.
" Simulação e síntese de controladores paralelos a partir de especificações baseadas em redes de Petri" <em>Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)</em> [Online], (29 julho 1995)