The FunnyQT Solution of the TTC 2013 PetriNet2StateChart Case