Now showing items 1-20 of 91

    • A framework for online conformance checking 

      Burattin, Andrea; Carmona Vargas, Josep (Springer, 2017)
      Conference report
      Open Access
      Conformance checking – a branch of process mining – focuses on establishing to what extent actual executions of a process are in line with the expected behavior of a reference model. Current conformance checking techniques ...
    • A High-level strategy for C-net discovery 

      Solé Simó, Marc; Carmona Vargas, Josep (2012)
      External research report
      Open Access
      Causal nets have been recently proposed as a suitable model for process mining, due to their declarative semantics and compact representation. However, the discovery of causal nets from a log is a complex problem. The ...
    • A method for assessing parameter impact on control-flow discovery algorithms 

      Ribeiro, Joel; Carmona Vargas, Josep (CEUR-WS.org, 2015)
      Conference report
      Open Access
      Given an event log L, a control-flow discovery algorithm f, and a quality metric m, this paper faces the following problem: what are the parameters in f that mostly influence its application in terms of m when applied ...
    • A quality control method for fraud detection on utility customers without an active contract 

      Coma Puig, Bernat; Carmona Vargas, Josep (Association for Computing Machinery (ACM), 2018)
      Conference report
      Open Access
      Fraud detection in energy consumption has proven to be a difficult problem for current techniques. In general, the approaches used in this area are restricted to compute a fraud score for each client based on its behaviour. ...
    • A recommender system for process discovery 

      Ribeiro, Joel; Carmona Vargas, Josep; Misir, Mustafa; Sebag, Michele (Springer, 2014)
      Conference report
      Open Access
      Over the last decade, several algorithms for process discovery and process conformance have been proposed. Still, it is well-accepted that there is no dominant algorithm in any of these two disciplines, and then it is often ...
    • A recursive paradigm for aligning observed behavior of large structured process models 

      Taymouri, Farbod; Carmona Vargas, Josep (Springer, 2016)
      Conference report
      Open Access
      The alignment of observed and modeled behavior is a crucial problem in process mining, since it opens the door for conformance checking and enhancement of process models. The state of the art techniques for the computation ...
    • A region-based algorithm for discovering Petri nets from event logs 

      Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Michael (Springer, 2008)
      Conference report
      Open Access
      The paper presents a new method for the synthesis of Petri nets from event logs in the area of Process Mining. The method derives a bounded Petri net that over-approximates the behavior of an event log. The most important ...
    • A structural encoding technique for the synthesis of asynchronous circuits 

      Carmona Vargas, Josep; Cortadella, Jordi; Pastor Llorens, Enric (Institute of Electrical and Electronics Engineers (IEEE), 2001)
      Conference report
      Open Access
      This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such a way that a circuit implementation is ...
    • A Structural encoding technique for the synthesis of asynchronous circuits 

      Carmona Vargas, Josep; Cortadella, Jordi; Pastor Llorens, Enric (2000-12)
      External research report
      Open Access
      This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such a way that a circuit implementation is ...
    • A symbolic algorithm for the synthesis of bounded Petri nets 

      Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex (Springer, 2008)
      Conference report
      Open Access
      This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events are split into several transitions to guarantee ...
    • 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 ...
    • Aligning textual and graphical descriptions of processes through ILP techniques 

      Sànchez-Ferreres, Josep; Carmona Vargas, Josep; Padró, Lluís (Springer, 2017)
      Conference lecture
      Open Access
      With the aim of having individuals from different backgrounds and expertise levels examine the operations in an organization, different representations of business processes are maintained. To have these different ...
    • Aligning textual and model-based process descriptions 

      Sánchez Ferreres, Josep; van der Aa, Han; Carmona Vargas, Josep; Padró, Lluís (Elsevier, 2018-01-01)
      Article
      Open Access
      Process model descriptions are an ubiquitous source of information that exists in any organization. To reach different types of stakeholders, distinct descriptions are often kept, so that process understandability is boosted ...
    • Alignment based precision checking 

      Adriansyah, Arya; Muñoz Gama, Jorge; Carmona Vargas, Josep; van Dongen, Boudewijn; Aalst, Wil M.P. van der (2012)
      Conference report
      Restricted access - author's decision
      In this paper, we show an application of alignments between process models and their executions to measure their precision.We show that pre-alignment improves the accuracy existing precision measurement technique, even ...
    • Alignment based precision checking 

      Adriansyah, Arya; Muñoz Gama, Jorge; Carmona Vargas, Josep; van Dongen, Boudewijn; Aalst, Wil M.P. van der (Springer, 2012)
      Conference report
      Restricted access - publisher's policy
      Most organizations have process models describing how cases need to be handled. In fact, legislation and standardization (cf. the Sarbanes-Oxley Act, the Basel II Accord, and the ISO 9000 family of standards) are forcing ...
    • 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 ...
    • Amending C-net discovery algorithms 

      Solé Simó, Marc; Carmona Vargas, Josep (2012)
      External research report
      Open Access
      As the complexity of information systems evolves, there is a growing interest in defining suitable process models than can overcome the limitations of traditional formalisms like Petri nets or related. Causal nets may be ...
    • An evolutionary technique to approximate multiple optimal alignments 

      Taymouri, Farbod; Carmona Vargas, Josep (Springer, 2018)
      Conference report
      Open Access
      The alignment of observed and modeled behavior is an essential aid for organizations, since it opens the door for root-cause analysis and enhancement of processes. The state-of-the-art technique for computing alignments ...