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…]

Top-10 ProM plug-ins April 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.