Publications 2013

D. M. M. Schunselaar, T. F. van der Avoort, H. M. W. Verbeek, and W. M. P. van der Aalst, “Yawl in the cloud,” in Yawl 2013, Bonn, Germany, 2013. [Bibtex] @Conference{Schunselaar13, Title = {YAWL in the Cloud}, Author = {Schunselaar, D. M. M. and Avoort, T. F. van der and Verbeek, H. M. W. … [Read more…]

Publications 2012

W. M. P. van der Aalst, A. Adriansyah, A. A. K. de Medeiros, F. Arcieri, T. Baier, T. Blickle, J. C. R. P. Bose, P. van den Brand, R. Brandtjen, J. C. A. M. Buijs, A. Burattin, J. Carmona, M. Castellanos, J. Claes, J. Cook, N. Costantini, F. Curbera, E. Damiani, M. de Leoni, P. … [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 2008

W. M. P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and H. M. W. Verbeek, “Conformance checking of service behavior,” Acm transactions on internet technology (toit), vol. 8, iss. 3, pp. 1-30, 2008. [Bibtex] @Article{Aalst08a, Title = {Conformance Checking of Service Behavior}, Author = {Aalst, W. M. P. van der and Dumas, M. … [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…]

Publications 2004

H. M. W. Verbeek, “Verification of wf-nets,” PhD Thesis, 2004. [Bibtex] @PhdThesis{Verbeek04, Title = {Verification of WF-nets}, Author = {Verbeek, H. M. W.}, School = {BETA}, Year = {2004}, Month = {June}, Abstract = {The workflow process definition (WPD) of a workflow management system (WFMS) is an important concept in this thesis. If we compare … [Read more…]