Copy Layout of Transition System

This plug-in can help in creating an animation for a mined Transition System (TS) using a given layout. The plug-in takes two parameters: a first (imported) TS, and a second (mined) TS. The plug-in then copies the layout from the first TS to the second. This allows you to quickly change the layout for a … [Read more…]

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