Now showing items 1-20 of 48

  • 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 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 ...
  • 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 ...
  • 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 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 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 Structural encoding technique for the synthesis of asynchronous circuits 

    Carmona Vargas, Josep; Cortadella Fortuny, 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 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 ...
  • Communication and compatibility in systems of systems: Correctness-by-construction 

    Beek, Maurice ter; Carmona Vargas, Josep; Kleijn, Jetty (2015-07-01)
    Article
    Open Access
    Society is still trying to catch up with technology in the wake of the digital revolution of the last twenty years. Current systems need to be both heterogeneous and able to deal with enormous volumes of data coming from ...
  • Computing alignments with constraint programming : the acyclic case 

    Borrego, Diana; Gómez López, María Teresa; Carmona Vargas, Josep; Martínez Gasca, Rafael (CEUR-WS.org, 2016)
    Conference report
    Open Access
    Conformance checking confronts process models with real process executions to detect and measure deviations between modelled and observed behaviour. The core technique for conformance checking is the computation of an ...
  • Conditions for compatibility of components: The case of masters and slaves 

    Beek, Maurice ter; Carmona Vargas, Josep; Kleijn, Jetty (Springer, 2016)
    Conference report
    Open Access
    We consider systems composed of reactive components that collaborate through synchronised execution of common actions. These multi-component systems are formally represented as team automata, a model that allows a wide ...
  • Conformance checking in the large: partitioning and topology 

    Muñoz Gama, Jorge; Carmona Vargas, Josep; Van der Aalst, Wil M. P. (2012)
    Conference lecture
    Restricted access - publisher's policy
    The torrents of event data generated by today’s systems are an important enabler for process mining. However, at the same time, the size and variability of the resulting event logs are challenging for today’s process mining ...
  • Decomposing alignment-based conformance checking of data-aware process models 

    Leoni, Massimiliano de; Muñoz Gama, Jorge; Carmona Vargas, Josep; van der Aalst, Wil M. P. (Springer, 2014)
    Conference report
    Open Access
    Process mining techniques relate observed behavior to modeled behavior, e.g., the automatic discovery of a Petri net based on an event log. Process mining is not limited to process discovery and also includes conformance ...
  • Discovery of personal processes from labeled sensor data: An application of process mining to personalized health care 

    Sztyler, Timo; Völker, Johanna; Carmona Vargas, Josep; Meier, Oliver; Stuckenschmidt, Heiner (CEUR-WS.org, 2015)
    Conference report
    Open Access
    Currently, there is a trend to promote personalized health care in order to prevent diseases or to have a healthier life. Using current devices such as smart-phones and smart-watches, an individual can easily record detailed ...
  • Divide-and-conquer strategies for process mining 

    Carmona Vargas, Josep; Cortadella Fortuny, Jordi; Kishinevsky, Mike (2009-03)
    External research report
    Open Access
    The main goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphical representation, clear semantics ...
  • Enhancing precision in process conformance: stability, confidence and severity 

    Muñoz Gama, Jorge; Carmona Vargas, Josep (2011)
    External research report
    Open Access
    Process Conformance is becoming a crucial area due to the changing nature of processes within an Information System. By confronting specifications against system executions (the main problem tackled in process conformance), ...