# Unfolding-Based Process Discovery

arXiv: https://arxiv.org/abs/1507.02744 · HTML: https://mlsanity.com/paper/1507.02744/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 9 Jul 2015.

## Built on by (most cited first, 2 of 2)

- [Process discovery on deviant traces and other stranger things](https://mlsanity.com/paper/2109.14883/) (2021)
- [Generalization in Automated Process Discovery: A Framework based on Event Log Patterns](https://mlsanity.com/paper/2203.14079/) (2022)

## Abstract (arXiv)

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.