Top-10 ProM plug-ins February 2022

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.

New conversion for Transition System

Two new conversions for Transition Systems have been added: Merge states with identical history, which merges two states if their sets of pairs of incoming edges with their source states are identical. Merge states with identical future, which merges two states if their sets of pairs of outgoing edges with their target states are identical. … [Read more…]

Top-10 ProM plug-ins January 2022

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.