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