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] W. M. P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and … [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] H. M. W. Verbeek, A. Hirnschall, and W. M. P. van der Aalst, “Xrl/flower: supporting inter-organizational workflows using xml/petri-net technology,” in Web services, … [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] W. M. P. van der Aalst, H. M. W. Verbeek, and A. Kumar, “Verification of … [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 (pnse?97), Hamburg, Germany, 1997, pp. 78-90. [Bibtex] D. Hauschildt, H. M. W. Verbeek, and W. M. P. van der Aalst, “Woflan: a petri-net-based workflow analyzer,” Eindhoven University of … [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…]