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 Lite 1.3 Beta candidate

On September 16th, 2020, the ProM Lite 1.3 Beta candidate has been made available. Important dates for the ProM Lite 1.3 release are: July 1: Alpha candidate July 1- August 5: Alpha candidate testing August 5 – September 16: Alpha candidate bug fixing September 16: Beta candidate September 16 – September 30: Beta candidate testing … [Read more…]