public class WIRESPrecisionLimited
extends java.lang.Object
Based on: Replaying History on Process Models for Conformance Checking and Performance Analysis
W.M.P. van der Aalst, A. Adriansyah, B.F. van Dongen
http://wwwis.win.tue.nl/~wvdaalst/publications/p664.pdf
Assumptions:
Fitness between model and the log is 1 (from the paper)
The transition system is deterministic (from the paper)
Only a single initial state (kind of makes sense :))
Disclaimer:
This is a limited version in the sense that it does not work for HybridModels in general
- Author:
- D.M.M. Schunselaar