Now showing items 1-7 of 7

    • A tour in process mining: from practice to algorithmic challenges 

      Van der Aalst, Wil M.P.; Carmona Vargas, Josep; Chatain, Thomas; Dongen, Boudewijn F. van (2019-11-01)
      Article
      Open Access
      Process mining seeks the confrontation between modeled behavior and observed behavior. In recent years, process mining techniques managed to bridge the gap between traditional model-based process analysis (e.g., simulation ...
    • A unified approach for measuring precision and generalization based on anti-alignments 

      Dongen, Boudewijn van; Carmona Vargas, Josep; Chatain, Thomas (Springer, 2016)
      Conference report
      Open Access
      The holy grail in process mining is an algorithm that, given an event log, produces fitting, precise, properly generalizing and simple process models. While there is consensus on the existence of solid metrics for fitness ...
    • Aligning modeled and observed behavior: A compromise between computation complexity and quality 

      Dongen, Boudewijn F. van; Carmona Vargas, Josep; Chatain, Thomas; Taymouri, Farbod (Springer, 2017)
      Conference report
      Open Access
      Certifying that a process model is aligned with the real process executions is perhaps the most desired feature a process model may have: aligned process models are crucial for organizations, since strategic decisions can ...
    • Alignment-based trace clustering 

      Chatain, Thomas; Carmona Vargas, Josep; Dongen, Boudewijn F. van (Springer, 2017)
      Conference report
      Open Access
      A novel method to cluster event log traces is presented in this paper. In contrast to the approaches in the literature, the clustering approach of this paper assumes an additional input: a process model that describes the ...
    • Anti-alignments in conformance checking: the dark side of process models 

      Chatain, Thomas; Carmona Vargas, Josep (Springer, 2016)
      Conference report
      Open Access
      Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. These techniques suffer from the wellknown state space ...
    • Encoding conformance checking artefacts in SAT 

      Boltenhagen, Mathilde; Chatain, Thomas; Carmona Vargas, Josep (Springer, 2019)
      Conference report
      Open Access
      Conformance checking strongly relies on the computation of artefacts, which enable reasoning on the relation between observed and modeled behavior. This paper shows how important conformance artefacts like alignments, ...
    • Generalized alignment-based trace clustering of process behavior 

      Boltenhagen, Mathilde; Chatain, Thomas; Carmona Vargas, Josep (Springer, 2019)
      Conference report
      Open Access
      Process mining techniques use event logs containing real process executions in order to mine, align and extend process models. The partition of an event log into trace variants facilitates the understanding and analysis ...