ProM 6.7 Release Notes


The ProM framework now also uses Ivy for the dependency management. As a result, the single framework has been split up into four core packages:

  • ProM-Framework
  • ProM-Contexts
  • ProM-Models
  • ProM-Plugins

ProM packages only require a dependency on the ProM-Plugins core package, the other three core packages will follow ProM-Plugins automatically.

In ProM 6.7, you can allow us to see which plug-ins you are running. This way, we will know which plug-ins are often used, and can improve our support. To allows us to see which plug-ins you are running, enable the Google Analytics setting in the ProM 6.7 Package Manager. Of course, by default this setting is disabled.

The ProM 6.7 Package Manager now caches the images that go with the packages. In ProM 6.6, these images needed to downloaded every time they were displayed. As a result, the Package Manager should be more responsive now as it does not need to download and wait for the images so often.



A new RunnerUp package that contains several Block Layout plug-ins that offer the user an alternative Petri-net layout for the JGraph visualization. This block layout provides more elegant layouts for nicely structured nets, but may produce layouts where arcs cross nodes. You can’t win them all.


An existing Established package that now contains a new Replay using Recomposition plug-in. This plug-in allows the user to specify the initial valid decomposition (by selecting the activities that may be shared), but also allows the user to merge decompositions that disagree on some shared activity. This allows the user to obtain the optimal alignments using the decomposed replay. This recomposed replay typically runs faster than the monolithic replay, while still returning optimal alignments. Next to this, the plug-in also allows the user to trade time for optimality. As an example, the user could ask for the best alignments that can be computed within 10 minutes. This does not guarantee optimal alignment, or even alignments, but using these (pseudo-)alignments the plug-in can provide the user with an interval that contains the exact fitness value.


The sat4j sources have been moved from the InductiveMiner package to the new Sat4j pckage.


A new Established package that contains the sat4j sources formerly contained by the InductiveMiner package.


A new Established package that contains the Scala 2.11.8 library.


A new Established package that contains the Weka 3.8.0 library.


A new RunnerUp packages that contains importers and exporters fro XES based on the official IEEE XES Standard. For the importers the user can choose between a strictly-conforming parser, a conforming parser, and a lenient parser. The strictly-conforming parser only imports XES logs that strictly conform to the Standard, the conforming parser only logs that conform to the Standard, whereas the lenient parser imports any XES log (no matter whether it is conforming or not).


A new RunnerUp package that contains converters from and to OpenXES (XLog c.s.) and XESStandard (XESLog c.s.).