Top-10 ProM plug-ins February 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. The fact that the numbers in February are much higher than, say, the … [Read more…]