Paper titled “Incremental Synthesis Rules Computation for Free-Choice Petri nets” has been accepted for publication in FACS 2018

P. M. Dixit, H. M. W. Verbeek, and W. M. P. van der Aalst, “Incremental computation of synthesis rules for free-choice petri nets,” in Formal aspects of component software – 15th international conference, facs 2018, proceedings, 2018, pp. 97-117. [Bibtex] @Conference{Dixit18c, Title = {Incremental Computation of Synthesis Rules for Free-Choice Petri nets}, Author = {Dixit, … [Read more…]

OpenXES 2.25 released

On August 10, 2018, version 2.25 of OpenXES has been released. This version of OpenXES solves an issue with list attributes. This new version of OpenXES is available in the ProM Nightly Build as of August 11, 2018 (as of version 6.9.370 of the Log package).

First mirror for ProM Nightly Build package repository

A first mirror has been set up for the package repository of the ProM Nightly Build. As of old, this package repository has been located at http://www.promtools.org/prom6/packages/packages.xml (TU/e, Eindhoven, The Netherlands), but now it can also be found at http://sefmining01.qut.edu.au/Packages/packages.xml (QUT, Brisbane, Australia). As a result, users can now choose which repository to use, by … [Read more…]

Top-10 ProM plug-ins August 2018

This bar chart shows the top-10 plug-ins based on their runs as registered by Google Analytics. These registrations by Google Analytics can be enabled (or disabled) using the Package Manager of either ProM 6.7 (or better) or a recent ProM Nightly Build.

Top-10 ProM plug-ins September 2018

This bar chart shows the top-10 plug-ins based on their runs as registered by Google Analytics. These registrations by Google Analytics can be enabled (or disabled) using the Package Manager of either ProM 6.7 (or better) or a recent ProM Nightly Build.