ProM 6.8-beta released

Today, I have released ProM 6.8-beta, see https://svn.win.tue.nl/trac/prom/wiki/ProM68 for some details. The Famework of ProM 6.8-beta has been updated to cater for Java 9/10: The Framework now includes support for commons-logging (by default this is support is not there on Java 9/10). The Framework now comes with its own class loader, which should be used … [Read more…]

Top-10 ProM plug-ins May 2018

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 a recent ProM Nightly Build.

Top-10 ProM plug-ins April 2018

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 a recent ProM Nightly Build.

Block Layout on PDC 2016 Models

Steps for every model Import BPMN file using BPMN 2.0 files import plug-in, yields a BPMN model. Run headless Select BPMN Diagram plug-in on the BPMN model, yields a BPMN diagram. Run Convert BPMN diagram to Petri net (control-flow) plug-in on the BPMN diagram, accept defaults, ignore warnings, yields a Petri net. Run headless Reduce … [Read more…]

ProM website moved

On Monday April 16, 2018, the ProM website has been moved to a new server. ProM users and website users should not really notice any change. All contents have been migrated. Cron job for keeping the package repository up-to-date has been changed. Also required an svn upgrade of the package repository. Cron job for updating … [Read more…]