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.

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

Visualize Log as Log Skeleton

Visualizes an event log as a log skeleton. Version 6.10.144 Input An event log Configuration An event classifier Defaults to the first classifier found in the input log, or the MXML Legacy Classifier if the input log contains no classifiers. A collection of boundary activities. Collecting the preset or postset of an activity will stop … [Read more…]

Log Skeleton Browser

Visualizes a log skeleton. Version 6.10.144. Input A log skeleton Configuration A set of activities to show. Defaults to all activities. A list of relations to show. Defaults to all relations. An option whether to combine arcs into hyper arcs where possible. Defaults to false, as this combining may take considerable time. An option whether … [Read more…]

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