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…]

ProM 6.10 Beta candidate

On September 16th, 2020, the ProM 6.10 Beta candidate has been made available. Important dates for the ProM 6.10 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 and bug … [Read more…]