ProM Lite 1.3 released

Today, September 30th, 2020, ProM Lite 1.3 has been released. This release fixes a bug in the multi-threaded loading of the packages, and also fixes 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 added. 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