24 citations · 54 across the 7 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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.LO2019★ 24 cited
Concurrency in Boolean networks
Thomas Chatain, Stefan Haar, Juraj Kolčák +2
Boolean networks (BNs) are widely used to model the qualitative dynamics of biological systems. Besides the logical rules determining the evolution of each component with respect t…