Conformance checking of processes based on monitoring real behavior

By Anne Rozinat, Wil M.P. van der Aalst. Information Systems, 2008

1,204 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Information Systems, Management Information Systems

View Paper: https://www.semanticscholar.org/paper/37b2df6804799389c815ea8593a0d0957829cdbb

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

In Information Systems

In Management Information Systems

Citations in the corpus

XES, XESame, and ProM 6 (2010, background): “Process mining has emerged as a way to analyze systems (and their actual use) based on the event logs they produce [1,2,3,4,6,16].”
Business process analysis in healthcare environments: A methodology based on process mining (2012, methodology): “For conformance checking one may use tools such as the Conformance Checker [31] and the LTL Checker [32].”
Process Mining (2016, methodology): “Conformance checking techniques aim at discovering such discrepancies [121].”
Discovering simulation models (2009, neutral): “6 We assume that each process instance can be replayed correctly in the discovered Petri net (see [33] for further details).”
Time prediction based on process mining (2011, methodology): “The work presented in this paper is supported by various plug-ins of our process mining tool ProM [1, 3, 26].”
Process mining: making knowledge discovery process centric (2012, background): “Municipal employees frequently bypassed the system because system administrators could manually change the status of cases (such as to skip activities or roll back the process).(7) Show variability.”
Trace Clustering in Process Mining (2008, methodology): “In [10] a metric is given for behavioral appropriateness (i.”
Process mining in healthcare: A literature review (2016, methodology): “Additional techniques used in these case studies include: different algorithms to discover process models (Alpha Miner [6], Genetic Miner [91] and Inductive Miner [92]), verify conformance (Conformance Checker [93]), execute performance analysis (Performance Sequence Analyzer [94]), include expert k”
Business Process Management: A Comprehensive Survey (2013, methodology): “For example, in [187] the fitness of a model is computed by comparing the number of missing and remaining tokens with the number of consumed and produced tokens during replay.”
Process mining: a two-step approach to balance between underfitting and overfitting (2008, background): “In [35,37] it is shown that it is possible to quantify fitness as a measure between 0 and 1.”
Conformance Checking Using Cost-Based Fitness Analysis (2011, background): “[13]) penalize conformance for existence of either skipped or inserted activities.”
On the Role of Fitness, Precision, Generalization and Simplicity in Process Discovery (2012, background): “Such a model is generally referred to as the flower-model [16] and is an extreme example of an underfitting process model.”
Soundness of workflow nets: classification, decidability, and analysis (2011, methodology): “See [ RA08 ] for techniques to check conformance by comparing event logs with normative models.”