Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Online Conformance Checking for Petri Nets and Event Streams

0b6203b08e1c063c97bb25abfc3842ec?s=47 Andrea Burattin
September 13, 2017

Online Conformance Checking for Petri Nets and Event Streams

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 non-conformant 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.

More info: https://andrea.burattin.net/publications/2017-bpm-demo

0b6203b08e1c063c97bb25abfc3842ec?s=128

Andrea Burattin

September 13, 2017
Tweet

More Decks by Andrea Burattin

Other Decks in Research

Transcript

  1. Online conformance checking Input: [infinite] event stream Output: which traces

    are deviating from reference behaviour (and at what cost)
  2. Online conformance checking Input: [infinite] event stream Output: which traces

    are deviating from reference behaviour (and at what cost)
  3. Online conformance checking Input: [infinite] event stream Output: which traces

    are deviating from reference behaviour (and at what cost) A B C D 1 2 A 3 B 4 C 5 C B 6 D Process model into transition system
  4. Online conformance checking Input: [infinite] event stream Output: which traces

    are deviating from reference behaviour (and at what cost) Construction of enriched model Online Conformance Transition System (OCTS) 1 2 A 3 B 4 C 5 C B 6 D B C D C B D D A B,C A A C A A D D A B C D 1 2 A 3 B 4 C 5 C B 6 D Process model into transition system
  5. Online conformance checking Input: [infinite] event stream Output: which traces

    are deviating from reference behaviour (and at what cost) Construction of enriched model Online Conformance Transition System (OCTS) 1 2 A 3 B 4 C 5 C B 6 D B C D C B D D A B,C A A C A A D D A B C D 1 2 A 3 B 4 C 5 C B 6 D Process model into transition system E F E G F E Event stream ... Online conformance checking 1 1
  6. Online conformance checking Input: [infinite] event stream Output: which traces

    are deviating from reference behaviour (and at what cost)