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…]

Publications 2007

W. M. P. van der Aalst, B. Benatallah, F. Casati, F. Curbera, and H. M. W. Verbeek, “Business process management: where business processes and web services meet,” Data and knowledge engineering (dke), vol. 61, iss. 1, pp. 1-5, 2007. [Bibtex] @Article{Aalst07, Title = {Business process management: Where business processes and web services meet}, Author = … [Read more…]

Publications 2006

W. M. P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and H. M. W. Verbeek, “Choreography conformance checking: an approach based on bpel and petri nets (revised version),” BPMcenter.org, BPM Center Report BPM-06-31, 2006. [Bibtex] @TechReport{Aalst06, Title = {Choreography Conformance Checking: An Approach based on BPEL and Petri Nets (Revised version)}, Author = … [Read more…]