Cost-Based Fitness in Conformance Checking

Experience in business process analysis shows that operational processes often do not conform to process models. Although classical conformance checking techniques can identify deviations of process executions from predefined models, they may produce inaccurate results due to strong assumptions. In this paper, we present a robust conformance checking technique based on Petri net techniques allowing us to lift assumptions and to take into account the cost of deviating from given models.

[1]  Cw Christian Günther,et al.  Conformance analysis of ASML's test process , 2009 .

[2]  Lars Michael Kristensen,et al.  Question-guided stubborn set methods for state properties , 2006, Formal Methods Syst. Des..

[3]  Boudewijn F. van Dongen,et al.  Towards Robust Conformance Checking , 2010, Business Process Management Workshops.

[4]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

[5]  van der Wmp Wil Aalst,et al.  Towards an evaluation framework for process mining systems , 2011 .

[6]  Luigi Pontieri,et al.  Discovering expressive process models by clustering log traces , 2006, IEEE Transactions on Knowledge and Data Engineering.

[7]  Josep Carmona,et al.  A Fresh Look at Precision in Process Conformance , 2010, BPM.

[8]  Wil M. P. van der Aalst,et al.  Process Mining Applied to the Test Process of Wafer Scanners in ASML , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[9]  Bart Baesens,et al.  A Critical Evaluation Study of Model-Log Metrics in Process Discovery , 2010, Business Process Management Workshops.

[10]  Wil M.P. van der Aalst,et al.  Process mining with the HeuristicsMiner algorithm , 2006 .

[11]  Michel Hack,et al.  Decidability Questions for Petri Nets , 1975, Outstanding Dissertations in the Computer Sciences.

[12]  Wil M. P. van der Aalst,et al.  Conformance checking of processes based on monitoring real behavior , 2008, Inf. Syst..