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

Copy Layout of Transition System

This plug-in can help in creating an animation for a mined Transition System (TS) using a given layout. The plug-in takes two parameters: a first (imported) TS, and a second (mined) TS. The plug-in then copies the layout from the first TS to the second. This allows you to quickly change the layout for a … [Read more…]

Top-10 ProM plug-ins September 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 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…]