hashCode
PetriNet