2015/07/09 by Hernán Ponce-de-León, Rodríguez González, Ponce-de-León, Hernán +7 · 1 citation
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #Service-Oriented Architecture and Web Services
paper · doi:10.48550/arxiv.1507.02744
openalex publication_date 2015/07/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29
This paper presents a novel technique for process discovery. In contrast to the current trend, which only considers an event log for discovering a process model, we assume two additional inputs: an independence relation on the set of logged activities, and a collection of negative traces. After deriving an intermediate net unfolding from them, we perform a controlled folding giving rise to a Petri net which contains both the input log and all independence-equivalent traces arising from it. Remarkably, the derived Petri net cannot execute any trace from the negative collection. The entire chain of transformations is fully automated. A tool has been developed and experimental results are provided that witness the significance of the contribution of this paper.