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 Read More …