ProM has moved to GitHub

The ProM packages have been moved from SVN to GitHub. So far, 35 packages have been transferred including the SVN history. This move was necessary as the SVN repository at the Math&CS department at TU/e will be taken down in the near future. As a result, the URLs https://svn.win.tue.nl/repos/prom/ (the SVN repository) and https://svn.win.tue.nl/trac/prom/ (the 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 …