Class PetriNetRecorder