Simulação e síntese de controladores paralelos a partir de especificações baseados em redes de Petri Artigo de Conferência