Fernandes, J., 		Pina, A., & 		Proença, A.
1995 jul 29.  Simulação e síntese de controladores paralelos a partir de especificações baseadas em redes de Petri. Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :