We are proud to announce that at this year’s annual model checking contest the model checker TAPAAL defended the silver medal in the category of reachability analysis of P/T nets, this time in competition also with tools that implement parallel state-space exploration, and it was the first tool in the subcategory of deadlock detection. The results were announced on June 23rd, 2015 at the Petri Net conference in Bruxelles. Details about the competition should become soon available at the competition web-page here.