Now showing items 1-20 of 73

  • 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 ...
  • 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
    Restricted access - publisher's policy
    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 (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 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 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 ...
  • 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 ...
  • 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 ...
  • An SMT-based discovery algorithm for C-nets 

    Solé Simó, Marc; Carmona Vargas, Josep (2012)
    External research report
    Open Access
    Recently, Causal nets have been proposed as a suitable model for process discovery, due to their declarative semantics and the great expressiveness they possess. In this paper we propose an algorithm to discover a causal ...
  • 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 ...
  • 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 ...