13 citations · 15 across the 2 of their papers we have counts for
2 papers
cs.AI2019★ 13 cited
Anti-Alignments -- Measuring The Precision of Process Models and Event Logs
Thomas Chatain, Mathilde Boltenhagen, Josep Carmona
Processes are a crucial artefact in organizations, since they coordinate the execution of activities so that products and services are provided. The use of models to analyse the un…
cs.LO2016★ 2 cited
Goal-Driven Unfolding of Petri Nets
Thomas Chatain, Loïc Paulevé
Unfoldings provide an efficient way to avoid the state-space explosion due to interleavings of concurrent transitions when exploring the runs of a Petri net. The theory of adequate…