ProM 4.0 : comprehensive support for real process analysis

W.M.P. Aalst, van der, B.F. Dongen, van, C.W. Günther, R.S. Mans, A.K. Alves De Medeiros, A. Rozinat, V.A. Rubin, M.S. Song, H.M.W. Verbeek, A.J.M.M. Weijters

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

153 Citations (Scopus)
401 Downloads (Pure)


This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Process mining techniques attempt to extract non-trivial and useful information from so-called "event logs". One element of process mining is control-flow discovery, i.e., automatically constructing a process model (e.g., a Petri net) describing the causal dependencies between activities. Control-flow discovery is an interesting and practically relevant challenge for Petri-net researchers and ProM provides an excellent platform for this. For example, the theory of regions, genetic algorithms, free-choice-net properties, etc. can be exploited to derive Petri nets based on example behavior. However, as we will show in this paper, the functionality of ProM 4.0 is not limited to control-flow discovery. ProM 4.0 also allows for the discovery of other perspectives (e.g., data and resources) and supports related techniques such as conformance checking, model extension, model transformation, verification, etc. This makes ProM a versatile tool for process analysis which is not restricted to model analysis but also includes log-based analysis.
Original languageEnglish
Title of host publicationPetri Nets and Other Models of Concurrency - ICATPN 2007 (28th International Conference, Siedcle, Poland, June 25-29, 2007)
EditorsA. Yakovlev, J. Kleijn
Place of PublicationBerlin
ISBN (Print)978-3-540-73093-4
Publication statusPublished - 2007
Event28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007 - Siedlce, Poland
Duration: 25 Jun 200729 Jun 2007
Conference number: 28

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conference28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007
Abbreviated titleICATPN 2007


Dive into the research topics of 'ProM 4.0 : comprehensive support for real process analysis'. Together they form a unique fingerprint.

Cite this