Do DFG à rede de Petri: descoberta, conformidade e análise de desempenho em logs reais de processos

Abstract

Este Trabalho de Conclusão de Curso investiga a aplicação de técnicas de Mineração de Processos em contextos institucionais, propondo um pipeline reprodutível para extração, curadoria e transformação de registros administrativos em logs de eventos analisáveis, com ênfase na modelagem inicial via Directly-Follows Graph (DFG). Discutem-se desafios típicos de bases reais, como heterogeneidade, incompletude e ausência de identificadores consistentes, bem como a possibilidade de adaptação do procedimento às demais bases descritas no capítulo de bases de dados. Embora o estudo de caso na base da Central de Emendas fosse o objetivo inicial, restrições temporais e exigências de credenciamento impossibilitaram o acesso aos dados no período letivo, postergando esta etapa para trabalhos futuros. Como desdobramentos, apontam-se a aplicação integral sob credenciamento, a institucionalização de rotinas de curadoria/anonimização e o avanço para modelos mais expressivos, como Redes de Petri, incluindo perspectivas de verificação formal com raciocinadores e provadores de teoremas.