Voltar aos Detalhes do Artigo Simulação e síntese de controladores paralelos a partir de especificações baseadas em redes de Petri Baixar ##common.downloadPdf##