ProM 6.10 Release Notes

Framework

Changes since ProM 6.9.

A bug in the multi-threaded loading of packages has been fixed. This bug caused some packages not be loaded because packages it depended on were not loaded yet.
To determine which package repository is used, the times required for the first 1000 characters and the next 100,000 characters are used.
The class path for the ProMClassLoader (to be used for Java 9 and later) is now initialized with the current class path.
Improved the way paths are converted into URLs.

Added option for JComponents to return a subcomponent as its main component (instead of the entire component itself).

Fixed bug in computation of strongly connected components in directed graphs. This bug caused wrong liveness results for some Petri nets.

Added plug-in that imports a Petri net from a CPNXML file. Together with the exporter (PetriNets package), this allows to use the new CPN-IDE tool as a Petri net editor.

Transitive reduction is now done when visualizing the log skeleton instead of when building it. This makes it possible to take the selected activities and constraints into account. As a result, the visualized constraints are more accurate.
Reduction of NotCoExistence is now (by default) based on Precedence, this improves the reduction.
Added border transitions (may help in detecting loop iterations).
Generated filtered logs now also contain the metadata.
Changed the GUI a bit. Lesser-used options are no hidden behind a button by default.
NotResponse and NotPrecedence are now shown (by default) using non-filled arrows in the direction of the flow. This makes it easier to understand them.

Added plug-in that exports a Petri net to a CPNXML file. Together with the importer (CPNet package), this allows to use the new CPN-IDE tool as a Petri net editor.