hasAutomaticTransitions
PetriNetInstanceInteractions
hashCodeOf
EventSerializer