@inproceedings{c7a5fa7741dc4b93b976259ccdf17bd6,
title = "Discovering, analyzing and enhancing BPMN models using ProM",
abstract = "Process mining techniques relate observed behavior to modeled behavior, e.g., the automatic discovery of a process model based on an event log. Process mining is not limited to process discovery and also includes conformance checking and model enhancement. Conformance checking techniques are used to diagnose the deviations of the observed behavior as recorded in the event log from some process model. Model enhancement allows to extend process models using additional perspectives, conformance and performance information. In recent years, BPMN (Business Process Model and Notation) 2.0 has become a de facto standard for modeling business processes in industry. This paper presents the BPMN support current in ProM. ProM is the most known and used open-source process mining framework. ProM{\textquoteright}s functionalities of discovering, analyzing and enhancing BPMN models are discussed. Support of the BPMN 2.0 standard will help ProM users to bridge the gap between formal models (such as Petri nets, causal nets and others) and process models used by practitioners.",
author = "A.A. Kalenkova and {Leoni, de}, M. and {Aalst, van der}, W.M.P.",
year = "2014",
language = "English",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS.org",
pages = "36--41",
editor = "L. Limonad and B. Weber",
booktitle = "BPM Demo Sessions 2014 (co-located with BPM 2014, Eindhoven, The Netherlands, September 20, 2014)",
note = "BPM Demo Sessions 2014 (BPMD 2014), September 10, 2014, Eindhoven, The Netherlands, BPMD 2014 ; Conference date: 10-09-2014 Through 10-09-2014",
}