Unfolding-based process discovery
Tipus de documentText en actes de congrés
Condicions d'accésAccés obert
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.
CitacióPonce de León, H., Rodríguez , C., Carmona, J., Heljanko, K., Haar, S. Unfolding-based process discovery. A: International Symposium Automated Technology for Verification and Analysis. "Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015: proceedings". Shangai: Springer, 2015, p. 31-47.
Versió de l'editorhttp://link.springer.com/chapter/10.1007/978-3-319-24953-7_4