Modelagem e Simulação do Escalonamento de Threads do Motor de Execução Baseado em Tarefas da Plataforma de Integração Guaraná: Uma Abordagem Baseada em Redes de Petri Coloridas Documento