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 … [Read more…]

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 … [Read more…]