ProM Lite 1.1 and ProM 6.6 released

On June 10, 2016, ProM Lite 1.1 and ProM 6.6 have been released.

ProM Lite 1.1

ProM Lite 1.1 is the successor of ProM Lite “AluM”, which was released in February of this year. ProM Lite 1.1 contains some improvements to the core (“framework”) of ProM. Please see here for the details. Apart from the core, several ProM Lite packages have also been improved. Please see here for the details. Nevertheless, these improved packages can also be used using the ProM Lite “AluM” release. If you are using ProM Lite “AluM”, then the same set of packages is available to you as if you were using ProM Lite “AluM”.

Note that in ProM Lite (both 1.1 and ”AluM”) new updates for packages may appears from time to time (which will have been tested thoroughly by us), and you will be asked whether or not to update to these new versions.

ProM 6.6

ProM 6.6 is the successor of ProM 6.5.1, which was released in 2015. Like ProM 6.5.1, there will be no updates to packages in the ProM 6.6 release. As such, this is an immutable release which can hence be used in your publications. If it works today in ProM 6.6, it will work exactly the same tomorrow. Note that for ProM Lite this does not hold, as tomorrow it may work better :-). Like ProM Lite 1.1, ProM 6.6 contains improvements to the core of ProM. See here for the details. Furthermore, many packages have also been improved. See here for details.

Downloads

Both ProM Lite 1.1 and ProM 6.6 can now be downloaded from here.