Do DFG à rede de Petri: descoberta, conformidade e análise de desempenho em logs reais de processos
| dc.contributor.advisor1 | Costa, Vaston Gonçalves da | |
| dc.contributor.author | Bento, Isabella Costa Machado | |
| dc.contributor.referee | Costa, Vaston Gonçalves da | |
| dc.contributor.referee | Stoppa, Marcelo Henrique | |
| dc.contributor.referee | Borges, José Salviano | |
| dc.date.accessioned | 2026-04-29T13:41:21Z | |
| dc.date.issued | 2026-02-09 | |
| dc.description.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. | |
| dc.description.resumo | This undergraduate final project investigates the application of Process Mining techniques in institutional settings by proposing a reproducible pipeline for extracting, curating, and transforming administrative records into analyzable event logs, with an initial modeling stage based on the Directly-Follows Graph (DFG). The work discusses typical challenges of real-world datasets – such as heterogeneity, incompleteness, and the lack of consistent identifiers – and emphasizes how the proposed procedure can be adapted to other datasets described in the databases chapter.Although the case study using the Central de Emendas da- tabase was the initial goal, time constraints and strict accreditation requirements prevented data access within the project timeframe, leaving this step for future continuation. As next directions, the thesis outlines a complete application under accreditation, the institutionalization of curation/anonymization routines, and the move toward more expressive models such as Petri nets, including perspectives on formal verification with automated reasoners and theorem provers. | |
| dc.format | ||
| dc.identifier.uri | https://repositorio.ufcat.edu.br/handle/123456789/12222 | |
| dc.language | pt | |
| dc.publisher | Universidade Federal de Catalão | |
| dc.publisher.country | Brasil | |
| dc.publisher.department | Instituto de Matemática e Tecnologia (IMTEC) | |
| dc.publisher.initials | UFCAT | |
| dc.publisher.program | Curso de Matemática (licenciatura) | |
| dc.rights | http://purl.org/coar/access_right/c_abf2 | |
| dc.subject | Mineração de Processos | |
| dc.subject | Log de eventos | |
| dc.subject | Directly-Follows Graph | |
| dc.subject | Redes de Petri | |
| dc.subject | Curadoria de dados | |
| dc.subject | Governança de dados | |
| dc.title | Do DFG à rede de Petri: descoberta, conformidade e análise de desempenho em logs reais de processos | |
| dc.title.alternative | From DFG to Petri Network: Discovery, Compliance, and Performance Analysis on Real Process Logs | |
| dc.type | Outros |