Top-10 ProM plug-ins July 2020

This bar chart shows the top-10 plug-ins based on their runs as registered by Google Analytics. These registrations by Google Analytics can be enabled (or disabled) using the Package Manager of either ProM 6.7 (or better) or a recent ProM Nightly Build.

Top-10 ProM plug-ins August 2020

This bar chart shows the top-10 plug-ins based on their runs as registered by Google Analytics. These registrations by Google Analytics can be enabled (or disabled) using the Package Manager of either ProM 6.7 (or better) or a recent ProM Nightly Build.

ProM 6.10 Beta candidate

On September 16th, 2020, the ProM 6.10 Beta candidate has been made available. Important dates for the ProM 6.10 release are: July 1: Alpha candidate July 1- August 5: Alpha candidate testing August 5 – September 16: Alpha candidate bug fixing September 16: Beta candidate September 16 – September 30: Beta candidate testing and bug … [Read more…]

ProM Lite 1.3 Beta candidate

On September 16th, 2020, the ProM Lite 1.3 Beta candidate has been made available. Important dates for the ProM Lite 1.3 release are: July 1: Alpha candidate July 1- August 5: Alpha candidate testing August 5 – September 16: Alpha candidate bug fixing September 16: Beta candidate September 16 – September 30: Beta candidate testing … [Read more…]