ProM Lite released

On February 10, 2016, ProM Lite has been released. In contrast to the other releases of ProM we have seen so far, ProM Lite is an end-user release. The other releases were more targeted towards researchers, as these releases did not change (no updates possible). As a result, researchers could use these releases to refer … [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…]

CPN Tools

CPN Tools is a tool for editing, simulating, and analyzing Colored Petri nets. The tool features incremental syntax checking and code generation, which take place while a net is being constructed. A fast simulator efficiently handles untimed and timed nets. Full and partial state spaces can be generated and analyzed, and a standard state space … [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…]

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