GMF eclipse petrinet example