Online Conformance Checking for Petri Nets and Event Streams

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

155 Downloads (Pure)

Abstract

Within process mining, we can identify conformance checking as the task of computing the extent to which executions of a process model are in line with the reference behavior. Most approaches currently available in the literature (for imperative models, such as Petri nets) perform just a-posteriori analyses. This means that the amount of nonconformant behavior is quantified after the completion of the current execution. The tool presented in this paper, instead, proposes an
approach for online conformance checking: not only it is capable of quantifying the deviating behavior on the fly, but the computation complexity is also restricted
to a constant complexity per event analyzed. This enables the online analysis of an infinite stream of events. The tool is implemented as a package of the ProM framework and promising results have been obtained and are presented in this paper.
Original languageEnglish
Title of host publicationOnline Proceedings of the BPM Demo Track 2017
Number of pages5
Publication date2017
Publication statusPublished - 2017
Event15th International Conference on Business Process Management (BPM 2017) - Barcelona, Spain
Duration: 10 Sep 201715 Sep 2017
Conference number: 15

Conference

Conference15th International Conference on Business Process Management (BPM 2017)
Number15
CountrySpain
CityBarcelona
Period10/09/201715/09/2017

Keywords

  • Online process mining
  • Conformance checking
  • Event stream

Cite this

Burattin, A. (2017). Online Conformance Checking for Petri Nets and Event Streams. In Online Proceedings of the BPM Demo Track 2017