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:
- Improved the handling of WF-nets. If a WF-net is preferred and a WF-net is discovered during the excavation, the best discovered WF-net will be returned. Otherwise, the best discovered net (either WF-net or not) will be returned.
- The check whether or not a net is a WF-net is now a dedicated check. In previous releases, Woflan was used for this, but Woflan computes a shortest path for every node to every node, which is overkill.
- Alignments are only computed for nets that have at most the provided maximal number of transitions. As a result, fitness and precision are only computed for those nets. The effect of setting this maximum to 0 is that only simplicity will be used to rank the discovered nets.
- The construction of the maximal activity set has been improved. As a result, it will typically take much less memory.