Release 6.15.20 of DiSCover

On April 14, 2025, version 6.15.20 has been released. This version allows the user to filter the component matrices in a consistent way, as this filtering will be forwarded to the log (and hence to the other component matrices). A check box controls whether to ensure that the component matrices are consistent (see the bottom Read More …

Release 6.13.98 of DiSCover

Today, version 6.13.98 of the DiSCover package has been released. This release comes with an improved “Xcavate Petri net” plug-in that allows the user to also select the classifier to use. The release also includes the following updates:

Release 6.13.88 of DiSCover

Today, version 6.13.88 of the DiSCover package has been released. This release comes with an “Xcavate Petri net” plug-in that allows the user to select its parameter values. Select thresholds to try Here, the user can specify which thresholds should be tried. Any combination of an absolute threshold and a relative threshold will be tried. Read More …

Release 6.13.87 of DiSCover

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 Read More …

Release 6.13.74 of DiSCover

Today, version 6.13.74 of the DiSCover package has been released. This release has replaced the option to reduce restricted simple silent transitions with an option to reduce clustered simple silent transitions, and adds the “DiSCover Petri net (Auto)” plug-in. The benefit of the clustered reduce option is that after the reduction it is still the Read More …

Release 6.13.70 of DiSCover

Today, version 6.13.70 of the DiSCover package has been released. This release introduces options to filter the component matrices, to select a smallest subset of components that cover all activities, and to skip step 4 (which may take a long time).