ProM Tutorials

This tutorial shows how to use the ProM tool to answer some of the most frequent questions that managers have about processes in organizations.

The logs used in the tutorial are: repairExample.zip and repairExampleSample2.zip

Note that a general overview about the functionality in ProM can be found in the online documentation.

This tutorial demonstrates how to create a CPN model for a running YAWL process in ProM. To enable operational decision support, the generated model can load an external file to start the simulation from a defined initial state. Example files to follow the described steps are available for download.

Simulation-relevant information can be obtained from an event log via a combination of various process mining techniques, and subsequently can be automatically included in a CPN model.

The following help pages cover general topics related to the usage of ProM. They explain how to:

• Inspect and filter a log
• Group equal sequences in a log
• Connect a model to a log
• Convert DOT files into other files
• Edit a process model

The ProM Plugin Developer's Tutorial gives reasonably experienced Java developers a short explanation of how to develop their own ProM 5 plug-ins. It includes an example for every type of plug-in.