Information on tools

This page is deprecated and has been replaced by this tools page. Please update your bookmarks accordingly.


Open Source Software

The AIS group aims to impact society by developing open-source software that is widely used. Our tools serve as examples for commercial systems. This impact is illustrated by the number of downloads. YAWL has been downloaded more than 265,000 times (approx. 55,000 times last year), ProM has been downloaded more than 133,000 times (approx. 23,000 times last year), and CPN Tools has been downloaded more than 87,000 times (approx. 9,000 times last year). Note that ProM, YAWL, and CPN Tools are not commodity tools, but advanced software products related to the business process analysis and enactment. Hence, these numbers are quite remarkable. Our open-source software tools also serve as examples for developers of commercial tools. For example, our ideas related to process mining have been used in BPM|one, Reflect, Disco, and ARIS PPM.

We have applied ProM in over 100 organizations. Examples are municipalities (about 20 in total, e.g., Alkmaar, Heusden, and Harderwijk), government agencies (e.g., Rijkswaterstaat, Centraal Justitieel Incasso Bureau, and the Dutch Justice department), insurance related agencies (e.g., UWV), banks (e.g., ING Bank), hospitals (e.g., AMC hospital and Catharina hospital), multinationals (e.g., DSM and Deloitte), high-tech system manufacturers and their customers (e.g., Philips Healthcare, ASML, Ricoh, and Thales), and media companies (e.g., Winkwaves).


Process Mining


The Process Mining Framework in which all our process-mining related ideas are implemented. If you want to see our research at work, download the latest release of ProM.


From To Downloads Cumulative downloads
Oct 1, 2018 Sep 30, 2019 22,500 201,000
Oct 1, 2017 Sep 30, 2018 22,000 178,500
Oct 1, 2016 Sep 30, 2017 23,500 156,500
Oct 1, 2015 Sep 30, 2016 23,000 133,000
Oct 1, 2014 Sep 30, 2015 27,000 110,000

CPN Tools

Coloured Petri Net 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 report contains information, such as boundedness properties and liveness properties.


From To Downloads Cumulative downloads
Oct 1, 2018 Sep 30, 2019 9,000 114,500
Oct 1, 2017 Sep 30, 2018 9,500 105,500
Oct 1, 2016 Sep 30, 2017 9,000 96,000
Oct 1, 2015 Sep 30, 2016 9,000 87,000
Oct 1, 2014 Sep 30, 2015 10,000 78,000



Yet Another Workflow Language


YAWL is a BPM/Workflow system, based on a concise and powerful modelling language, that handles complex data transformations, and full integration with organizational resources and external Web Services. YAWL offers:

  • the most powerful process specification language for capturing control-flow dependencies and resourcing requirements.
  • native data handling using XML Schema, XPath and XQuery.
  • a formal foundation that makes its specifications unambiguous and allows automated verification.
  • a service-oriented architecture that provides an environment that can easily be tuned to specific needs.


As per 2016, YAWL includes a auto-update feature. These auto-updates are not included in the statistics below, which explains why the number of downloads per year has dropped.

From To Downloads Cumulative downloads
Oct 1, 2016 Sep 30, 2017 5,400 270,400
Oct 1, 2015 Sep 30, 2016 55,000 265,000
Oct 1, 2014 Sep 30, 2015 30,000 210,000

YAWL Server

We have a running YAWL server (, which is being maintained by QUT. Please ask Eric Verbeek for details if you want to use this server.


  • YAWL (includes downloads)