ProM 6.10 released

Today, September 30th, 2020, ProM 6.10 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, the support for Java 9 and later has been improved. Furthermore, new packages have been added, and many existing packages have been updated.

Leave a Reply