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

Publications 2005

W. M. P. van der Aalst, M. Dumas, A. H. M. ter Hofstede, N. Russell, H. M. W. Verbeek, and P. Wohed, “Life after bpel?,” in Formal techniques for computer systems and business processes (ws-fm 2005), Versailles, France, 2005, pp. 35-50. [Bibtex] @InProceedings{Aalst05, Title = {Life after BPEL?}, Author = {Aalst, W. M. P. van … [Read more…]

ProM Lite released

On February 10, 2016, ProM Lite has been released. In contrast to the other releases of ProM we have seen so far, ProM Lite is an end-user release. The other releases were more targeted towards researchers, as these releases did not change (no updates possible). As a result, researchers could use these releases to refer … [Read more…]