Today, version 6.13.87 of the DiSCover package has been released. This release comes with an “Xcavate Petri net” plug-in that replaces the “DiSCover Petri net (Auto)” plug-in. This new plug-in discovers a Petri net for a collection of filtering thresholds, and selects the best workflow net from these discovered Petri nets, taking into account a number of metrics:
- Move-on-log fitness,
- Move-on-model fitness,
- Event-based precision,
- Fraction of nodes over arcs, and
- Fraction of labeled transitions over all transitions.
In this version, the secondary matrices are constructed from the traces that do not include a directly-follows pair that was explicitly filtered out from the root matrix. As a result, the secondary matrices need not be filtered, in which case the resulting S-components will be consistent.



