Geodesic
Does your event log fit the high-level process model?
Modelirovanie i analiz informacionnyh sistem, Tome 22 (2015) no. 3, pp. 392-403.

Voir la notice de l'article provenant de la source Math-Net.Ru

Process mining is a relatively new field of computer science, which deals with process discovery and analysis based on event logs. In this paper we consider the problem of models and event logs conformance checking. Conformance checking is intensively studied in the frame of process mining research, but only models and event logs of the same granularity were considered in the literature. Here we present and justify the method of checking conformance between a high-level model (e.g. built by an expert) and a low-level log (generated by a system). The article is published in the author's wording.
Keywords: Petri nets, high-level process models, event logs, process mining, conformance checking. 
@article{MAIS_2015_22_3_a4,
     author = {A. K. Begicheva and I. A. Lomazova},
     title = {Does your event log fit the high-level process model?},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {392--403},
     publisher = {mathdoc},
     volume = {22},
     number = {3},
     year = {2015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2015_22_3_a4/}
}
TY  - JOUR
AU  - A. K. Begicheva
AU  - I. A. Lomazova
TI  - Does your event log fit the high-level process model?
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2015
SP  - 392
EP  - 403
VL  - 22
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2015_22_3_a4/
LA  - en
ID  - MAIS_2015_22_3_a4
ER  - 
%0 Journal Article
%A A. K. Begicheva
%A I. A. Lomazova
%T Does your event log fit the high-level process model?
%J Modelirovanie i analiz informacionnyh sistem
%D 2015
%P 392-403
%V 22
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2015_22_3_a4/
%G en
%F MAIS_2015_22_3_a4
A. K. Begicheva; I. A. Lomazova. Does your event log fit the high-level process model?. Modelirovanie i analiz informacionnyh sistem, Tome 22 (2015) no. 3, pp. 392-403. http://geodesic.mathdoc.fr/item/MAIS_2015_22_3_a4/

[1] van der Aalst W. M. P., Process Mining: Discovery, Conformance and Enhancement of Business Processes, Springer-Verlag, Berlin, 2011 | Zbl

[2] van der Aalst W. M. P., van Hee K. M., Workflow Management: Models, Methods and Systems, MIT Press, Cambridge, MA, 2002

[3] Adriansyah A., van Dongen B. F., van der Aalst W. M. P., “Conformance Checking Using Cost-Based Fitness Analysis”, IEEE 15th International Enterprise Distributed Object Computing Conference (2011), 55–64

[4] Bose R. P. J. C., van der Aalst W. M. P., “Abstractions in Process Mining: A Taxonomy of Patterns”, Business Process Management, Lecture Notes in Computer Science, 5701, 2009, 159–175

[5] Bose R. P. J. C., Verbeek H. M. W., van der Aalst W. M. P., “Discovering Hierarchical Process Models Using ProM”, CAiSE Forum, Selected Papers, 2011, 33–48

[6] van Dongen B. F., Alves de Medeiros A. K., Verbeek H. M. W., Weijters A. J. M. M., van der Aalst W. M. P., “The ProM framework: A New Era in Process Mining Tool Support”, Lecture Notes in Computer Science, 3536, 2005, 444–454 | MR | Zbl

[7] Rozinat A., Process mining: conformance and extension, Technische Universiteit Eindhoven, 2010

[8] Rozinat A., van der Aalst W. M. P., Conformance Testing: Measuring the Alignment Between Event Logs and Process Models, BETA Working Paper Series, WP No 144, Eindhoven University of Technology, 2005, 203–210

[9] Jensen K., Kristensen L. M., Coloured Petri Nets: Modelling and Validation of Concurrent Systems, Springer-Verlag, Berlin, 2009

[10] Shugurov I., Mitsyuk A., “Generation of a Set of Event Logs with Noise”, Proc. of the 8th Spring/Summer Young Researchers' Colloquium on Software Engineering, SYRCoSE 2014, 2014, 88–95

[11] Verbeek H. M. W., Buijs J. C. A. M., van Dongen B. F., van der Aalst W. M. P., “Prom 6: The process mining toolkit”, Proc. of BPM Demonstration, CEUR Workshop Proceedings, 615, 2010, 34–39