We are happy to announce that TAPAAL won a silver medal at the annual Model Cheching Contest in Tunis this year (co-located with Petri Nets 2014) in the reachability cathegory and received a medal for a third place in the state-space generation cathegory.

Details can be found here.