New alignment merge algorithm

The alignment merge algorithm has been updated. Instead of merging one subalignment at a time, it now merges all subalignments at once. This new algorithm comes with two options: A strategy that determines which legal move from a collection of legal moves is considered to be best. A boolean that states whether the merged alignment … [Read more…]

New Plug-in: Split traces

Problem setting Assume you have the following CSV file as input: and that you want the following CSV file as output: That is, we want to use the value of the Split attribute to split the trace on, where we assume the values of the attribute to be white-space separated lists of subvalues. Every trace … [Read more…]

New Plug-in: Replay using Decomposition

The figure shows the dialog for the Replay using Decomposition plug-in (DecomposedReplayer 6.5.61). Select configuration Here you can select the decomposition configuration, which handles the decomposition for you. There are seven possible configurations. To explain these configurations, assume that the maximal decomposition would result in N decomposed parts, and that the decomposition slider below is … [Read more…]

New Plug-in: Discover using Decomposition

The figure shows the dialog for the Discover using Decomposition plug-in (DecomposedMiner 6.5.79). Select configuration Here you can select the decomposition configuration, which handles the decomposition for you. There are five possible configurations. To explain these configurations, assume that the maximal decomposition would result in N decomposed parts, and that the decomposition slider below is … [Read more…]

InductiveVisualMiner 6.5.275.1

A bug has been fixed in the ProM Lite InductiveVisualMiner package. The number of milliseconds in a day was not correct. As a result, reported days (like in sojourn times) might be too high. Version 6.5.275.1 fixes this issue. See also the ProM Lite package overview.

Publications 2014

W. M. P. van der Aalst and H. M. W. Verbeek, “Process discovery and conformance checking using passages,” Fundamenta informaticae, vol. 131, iss. 1, pp. 103-138, 2014. [Bibtex] @Article{Aalst14, Title = {Process Discovery and Conformance Checking Using Passages}, Author = {Aalst, W. M. P. van der and Verbeek, H. M. W.}, Journal = {Fundamenta Informaticae}, … [Read more…]

Publications 2011

W. M. P. van der Aalst, K. M. van Hee, A. H. M. ter Hofstede, N. Sidorova, H. M. W. Verbeek, M. Voorhoeve, and M. T. Wynn, “Soundness of workflow nets: classiffication, decidability, and analysis,” Formal aspects of computing, vol. 23, iss. 3, pp. 333-363, 2011. [Bibtex] @Article{Aalst11, Title = {Soundness of Workflow Nets: Classiffication, … [Read more…]

Publications 2010

W. M. P. van der Aalst, V. Rubin, H. M. W. Verbeek, B. F. van Dongen, E. Kindler, and C. W. Günther, “Process mining: a two-step approach to balance between underfitting and overfitting,” Software and systems modeling (sosym), vol. 9, iss. 1, pp. 87-111, 2010. [Bibtex] @Article{Aalst10, Title = {Process Mining: A Two-Step Approach to … [Read more…]

Publications 2009

W. M. P. van der Aalst, B. F. van Dongen, C. W. Günther, A. Rozinat, H. M. W. Verbeek, and A. J. M. M. Weijters, “Prom: the process mining toolkit,” , 2009. [Bibtex] @Electronic{Aalst09a, Title = {ProM: The Process Mining Toolkit}, Author = {Aalst, W. M. P. van der and Dongen, B. F. van and … [Read more…]