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).

Release 6.13.64 of DiSCover

Today, version 6.13.64 of the DiSCover package has been released. This release introduces two additional reduction options to remove simple silent transitions (silent transitions that have a single input and a single output) from the resulting Petri net. These two options can only be selected if the option to reduce has been selected, and only Read More …

Release 6.13.62 of DiSCover

Today, version 6.13.62 of the DiSCover package has been released. This release introduces a wizard that guides you through the configuration of the DiSCover algorithm. The wizard consists of 8 steps, which are introduced next. As working example we use the example event log from the following paper: