Reformulates conformance checking as a totally unimodular LP that complements A* by speeding up long deviating traces and yields 38.6% average runtime savings when the two are combined via simple selection rules on over 2.1 million instances.
Aligning observed and modeled behavior
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Extends eST-Miner with place selection for guaranteed minimal fitness and a refined place fitness metric for infrequent behavior in process discovery from event logs.
citing papers explorer
-
Discovering Process Models With Long-Term Dependencies While Providing Guarantees and Filtering Infrequent Behavior Patterns
Extends eST-Miner with place selection for guaranteed minimal fitness and a refined place fitness metric for infrequent behavior in process discovery from event logs.