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

Publications 2003

W. M. P. van der Aalst, A. Kumar, and H. M. W. Verbeek, “Organizational modeling in uml and xml in the context of workflow systems,” in Proceedings of the 18th annual acm symposium on applied computing (sac 2003), 2003, pp. 603-608. [Bibtex] @InProceedings{Aalst03, Title = {Organizational Modeling in UML and XML in the context of … [Read more…]

Publications 2002

W. M. P. van der Aalst, A. Hirnschall, and H. M. W. Verbeek, “An alternative way to analyze workflow graphs,” in Conference on advanced information systems (caise) 2002, 2002, pp. 535-552. [Bibtex] @InProceedings{Aalst02, Title = {An Alternative Way to Analyze Workflow Graphs}, Author = {Aalst, W. M. P. van der and Hirnschall, A. and Verbeek, … [Read more…]

Publications 2001

W. M. P. van der Aalst, H. M. W. Verbeek, and A. Kumar, “Xrl/woflan: verification of an xml/petri-net based language for inter-organizational workflows,” in Proceedings of the 6th informs conference on information systems and technology (cist-2001), 2001, pp. 30-45. [Bibtex] @InProceedings{Aalst01, Title = {XRL/Woflan: Verification of an XML/Petri-net based language for inter-organizational workflows}, Author = … [Read more…]

Publications 2000

W. M. P. van der Aalst, T. Basten, H. M. W. Verbeek, P. A. C. Verkoulen, and M. Voorhoeve, “Adaptive workflow: on the interplay between flexibility and support,” in Enterprise information systems, J. Filipe, Ed., Norwell: Kluwer Academic Publishers, 2000, pp. 63-70. [Bibtex] @InCollection{Aalst00, Title = {Adaptive Workflow: On the Interplay between Flexibility and Support}, … [Read more…]