In this year competition of Petri net tools our tool TAPAAL defended a silver medal in the reachability category and for the first time participated also in the CTL category where it received also a silver medal. More details can be found here.