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

Top-10 ProM plug-ins July 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 Alpha candidate

On July 1st, 2002, the ProM Lite 1.3 Alpha 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…]

ProM 6.10 Alpha candidate

On July 1st, 2002, the ProM 6.10 Alpha candidate has been made available. Important dates for the ProM 6.10 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 and bug fixing … [Read more…]

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

Import Petri net from CPNXML file

Imports a Petri net from a CPNXML file Package CPNet Version 6.10.125 Input A CPNXML file. Output A (flat) Petri net, created from the first page found in the CPNXML file. Initial markings and inscriptions like “x”, “n`x” and “n`x++m`y++l`z” are recognized, but more complex expressions (like an “if … then … else …”) will … [Read more…]

Import Petri net from CPNXML file

Imports a Petri net from a CPNXML file Package CPNet Version 6.10.117 Input A CPNXML file. Output A (flat) Petri net, created from the first page found in the CPNXML file. Simple initial markings like “x” and 3`x” are recognized, though from “1`x++2`y” only the “1`x” will be recognized, and so are arc inscriptions like … [Read more…]