Now showing items 1-11 of 11

    • 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 ...
    • An A*-algorithm for computing discounted anti-alignments in process mining 

      Boltenhagen, Mathilde; Chatain, Thomas; Carmona Vargas, Josep (Institute of Electrical and Electronics Engineers (IEEE), 2021)
      Conference report
      Open Access
      Process mining techniques aim at analyzing and monitoring processes through event data. Formal models like Petri nets serve as an effective representation of the processes. A central question in the field is to assess 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 ...
    • Anti-alignments—Measuring the precision of process models and event logs 

      Chatain, Thomas; Boltenhagen, Mathilde; Carmona Vargas, Josep (2021-05-01)
      Article
      Restricted access - publisher's policy
      Processes are a crucial artifact in organizations, since they coordinate the execution of activities so that products and services are provided. The use of models to analyze the underlying processes is a well-known practice. ...
    • 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 ...
    • Model-based trace variant analysis of event logs 

      Boltenhagen, Mathilde; Chatain, Thomas; Carmona Vargas, Josep (Elsevier, 2021-12)
      Article
      Restricted access - publisher's policy
      The comparison of trace variants of business processes opens the door for a fine-grained analysis of the distinctive features inherent in the executions of a process in an organization. The current approaches for trace ...
    • Optimized SAT encoding of conformance checking artefacts 

      Boltenhagen, Mathilde; Chatain, Thomas; Carmona Vargas, Josep (2021-01)
      Article
      Open Access
      Conformance checking is a growing discipline that aims at assisting organizations in monitoring their processes. On its core, conformance checking relies on the computation of particular artefacts which enable reasoning ...