To use these algorithms in your Java Maven project it is necessary to include, in the
pom.xml file, the dependency:
To use the technique you need to create the conformance checker object using:
It is worth highlighting that since each trace can be processed independently from the others, it is possible to increase the parallelism by keying the stream based on the case identifier (
BEvent::getTraceName, line 9).
In the current version, the reference model must be provided as a Petri Net.
Importing a Petri net
To import a Petri net it is possible to use the
The techniques implemented in this package are described in:
- Online Conformance Checking Using Behavioural Patterns
A. Burattin, S. van Zelst, A. Armas-Cervantes, B. van Dongen, J. Carmona
In Proceedings of BPM 2018; Sydney, Australia; September 2018.