Class PetriNetDisplay