ProM 6.9 released

ProM 6.9 has been released today, and can be downloaded from the ProM website. This new version of ProM comes with several new packages (see the Release Notes) and with many updated packages (see the Change Logs). A full list of plug-ins contained in ProM 6.9 is also available ProM 6.9 can also run under … [Read more…]

Top-10 ProM plug-ins May 2019

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.

BlockLayout: Reduction of rigids

An additional reduction rule has been added to the BlockLayout package (version 6.9.27) to help reduce so-called ‘rigids’. The image below shows the idea. The two blue arcs are removed by the reduction rule, the two red arcs and three new blocks are added by it: A dummy block u’ for u. This block has … [Read more…]