ProM 6.10 and ProM Lite 1.3 released

Today, September 30th, 2020, both ProM 6.10 and ProM Lite 1.3 have been released. These releases fix a bug in the multi-threaded loading of the packages, and also fix a bug in the computation of strongly connected components (which could cause wrong liveness results for Petri nets). Also, support for Java 9 and later has been improved. Furthermore, new packages have been added, and many existing packages have been updated. Finally, this is the first release of ProM Lite that allows for multiple package repositories (currently, there is one at TU/e and one at QUT).

Leave a Reply