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…]

Block Layout on PDC 2017 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…]

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