A Validator for the TTC 2013 PetriNet-to-Statechart Case