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

142 Citations (Scopus)
323 Downloads (Pure)

Abstract

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
PublisherSpringer
Pages484-494
ISBN (Print)978-3-540-73093-4
DOIs
Publication statusPublished - 2007
Event28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007), June 25-29, 2007, Siedlce, Poland - Siedlce, Poland
Duration: 25 Jun 200729 Jun 2007

Publication series

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

Conference

Conference28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007), June 25-29, 2007, Siedlce, Poland
Abbreviated titleICATPN 2007
Country/TerritoryPoland
CitySiedlce
Period25/06/0729/06/07

Fingerprint

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

Cite this