To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.

[ProM-developers] ProM 6.1 released

edited September 2011 in Announcements / News
Eric Verbeek just send the following message tot the ProM Developers mailing list:

Dear all,

This morning, I’ve released ProM 6.1, which can be downloaded from either or

Compared to the prerelease, only some changes were made:
-    UITopia has been updated.
-    RuntimeLTLChecker has been replaced by MoBuConLTL.
-    TestBed has been removed.
-    Cosimulation, CPnet, Declare, DeclareMiner, DottedChart, InteractiveVisualization, KeyValue, LogDialog, LTLChecker, OperationalSupport, OSEmbedder, PatternAbstractions, PNAnalysis, Replayer, Uma, Widgets, and XQueryProvider have been updated.

Please note that the ProM.ini file of the release uses a different PACKAGE_URL than the development versions (a.k.a. nightly builds), ( instead of, and that it also uses a different default PROM_USER_FOLDER (.ProM61 instead of .ProM). As a result, it is possible to use the nightly builds and the release on the same computer (they do not share any packages by default). It is, however, possible to install development versions of packages by replacing the release PACKAGE_URL by the development PACKAGE_URL in the ProM.ini file.



P.S. The ProM 6.0 release is still accessible through

Joos Buijs

Senior Data Scientist and process mining expert at APG (Dutch pension fund executor).
Previously Assistant Professor in Process Mining at Eindhoven University of Technology
Sign In or Register to comment.