labelFn
PetriNetDot