Accepted publications

H. M. W. Verbeek, “The Log Skeleton Visualizer in ProM 6.9,” STTT, 2020. [Bibtex] @Article{Verbeek20, Title = {The {Log Skeleton Visualizer} in {ProM 6.9}}, Author = {Verbeek, H. M. W.}, Journal = {{STTT}}, Year = {2020}, Note = {Accepted for publication in ‘STTT Competitions and Challenges Track – TOOLympics 2019’}, Abstract = {Process discovery is … [Read more…]

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.

ProM Lite 1.3 released

Today, September 30th, 2020, ProM Lite 1.3 has been released. This release fixes a bug in the multi-threaded loading of the packages, and also fixes a bug in the computation of strongly connected components (which could cause wrong liveness results for Petri nets). Also, support for Java 9 and later has been added. Furthermore, new … [Read more…]

ProM 6.10 released

Today, September 30th, 2020, ProM 6.10 has been released. This release fixes a bug in the multi-threaded loading of the packages, and also fixes a bug in the computation of strongly connected components (which could cause wrong liveness results for Petri nets). Also, the support for Java 9 and later has been improved. Furthermore, new … [Read more…]

ProM Lite 1.3 Beta candidate

On September 16th, 2020, the ProM Lite 1.3 Beta candidate has been made available. Important dates for the ProM Lite 1.3 release are: July 1: Alpha candidate July 1- August 5: Alpha candidate testing August 5 – September 16: Alpha candidate bug fixing September 16: Beta candidate September 16 – September 30: Beta candidate testing … [Read more…]