Simulação e Síntese de Controladores Paralelos Baseados em Redes de Petri Artigo de Conferência