Table of Contents

Simulation Models in ProM

In ProM, we support the creation of simulation models that can be loaded and simulated by CPN Tools. While a manual specification of the model characteristics is possible, one can also integrate discovered and/or pre-specified characteristics for various perspectives.

This site provides an overview of the plug-ins in ProM that can contribute to the creation of a CPN model, and features tutorials (including example files) that make it easy for you to generate a simulation model yourself.


The following tutorials are available, including the example files that are necessary to reproduce the described steps.


When creating realistic simulation models, we need to deal with more aspects of a process than just the control-flow. Therefore, in ProM we created a data structure that we call high-level process. With high-level information we refer to process information beyond the pure control flow, i.e., additional information like data and time that can be either attached to the process as a whole, or to certain elements in the process.

Because this extra information is orthogonal to the actual control-flow, it is separated and different types of process models can be enriched with high level information. Currently, we have:

The following plug-ins either deal with, or produce, high-level structures that can be used to generate simulation models.









Discovering Simulation Models

A. Rozinat, R.S. Mans, M. Song and W.M.P. van der Aalst
Information Systems, Vol. 34, pages 305-327, 2009

→


Discovering Colored Petri Nets from Event Logs

A. Rozinat, R.S. Mans, M. Song, and W.M.P. van der Aalst
International Journal on Software Tools for Technology Transfer (STTT), Volume 10, Number 1, Pages 57-74

→