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

Publications 1999

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 Proceedings of the first international conference on enterprise information systems, Setúbal, Portugal, 1999, pp. 353-360. [Bibtex] @InProceedings{Aalst99a, Title = {Adaptive Workflow: On the Interplay between Flexibility … [Read more…]

Publications 1997

W. M. P. van der Aalst, D. Hauschildt, and H. M. W. Verbeek, “A petri-net-based tool to analyze workflows,” in Proceedings of petri nets in system engineering (pnse97), Hamburg, Germany, 1997, pp. 78-90. [Bibtex] @InProceedings{Aalst97, Title = {A Petri-net-based Tool to Analyze Workflows}, Author = {Aalst, W. M. P. van der and Hauschildt, D. and … [Read more…]

Woflan

Workflow management technology promises a flexible solution for business-process support facilitating the easy creation of new business processes and modification of existing processes. Unfortunately, todays workflow products have no support for workflow verification. Errors made at design-time are not detected and result in very costly failures at run-time. Woflan helps you to detect these errors … [Read more…]