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

Import Petri net from CPNXML file

Imports a Petri net from a CPNXML file Package CPNet Version 6.10.112 Input A CPNXML file. Output A (flat) Petri net, created from the first page found in the CPNXML file. Initial markings like “()” and 3`()” are recognized, and so are arc inscriptions like that. Graphics information (including layout) is ignored, except for the … [Read more…]

CPNXML export (Petri net)

Exports a Petri net to a CPNXML file. Package PetriNets Version 6.10.149 Input A Petri net Output A CPNXML (.cpn) file that can be imported by CPN Tools. The CPN model will have a single page that contains the Petri net. All places will have the color “Token”, which is basically an integer (serves as … [Read more…]

Not Co-Existence implicit?

Consider the following log skeleton: Question: Is there a Not Co-Existence between A and E? Yes, there is. As E has D as Precedence, “if E, then also D”. As D has A as a Not Co-Existence, “if D, then not A”. Hence, “if E, then D, and not A”. The following log skeleton shows … [Read more…]