A

Conformance Checking Approximation Using Simulation

International Conference on Process Mining (ICPM), pp. 105–112

Abstract

Conformance checking techniques are used to compute to what degree a process model and real execution data correspond to each other. In recent years, alignments have proven to be useful for calculating conformance statistics. Most alignment techniques provide an exact conformance value. However, in many applications, it suffices to have an approximated alignment value. Specifically, for large event data and using standard hardware, current alignment techniques are time-consuming and sometimes intractable. This paper proposes to use simulated behaviors of process models to approximate the conformance checking value. To simulate a process model, we exploit the behavior in the given event data. This method is independent from the process model notation and provides upper and lower bounds for the approximated alignment value. We assess the quality of our approximations and compare it to existing approximation techniques. The experiments on real event data show that using the proposed method, it is possible to achieve significant performance improvements.

Authors 4

  1. RWTH Aachen University

    Affiliation as printed

    RWTH-Aachen University,Process and Data Science (PADS) Chair,Germany

    Process and Data Science (PADS) Chair, RWTH-Aachen University, Germany

  2. RWTH Aachen University

    Affiliation as printed

    RWTH-Aachen University,Process and Data Science (PADS) Chair,Germany

    Process and Data Science (PADS) Chair, RWTH-Aachen University, Germany

  3. RWTH Aachen University · Fraunhofer Institute for Applied Information Technology

    Affiliation as printed

    Fraunhofer FIT, Birlinghoven Castle,Sankt Augustin,Germany

    Fraunhofer FIT, Birlinghoven Castle, Sankt Augustin, Germany

    Process and Data Science (PADS) Chair, RWTH-Aachen University, Germany

  4. RWTH Aachen University · Fraunhofer Institute for Applied Information Technology

    Affiliation as printed

    RWTH-Aachen University,Process and Data Science (PADS) Chair,Germany

    Fraunhofer FIT, Birlinghoven Castle, Sankt Augustin, Germany

    Process and Data Science (PADS) Chair, RWTH-Aachen University, Germany

Cited by 23 stored of 23

No patents citing this paper on Lens.org (checked 2026-10-06).

References 37