refactor most state from PetriNet and ExecutablePetriNet to AbstractPetriNet

prior to reworking how ExecutablePetriNet does refresh, to handle IncludeHierarchy.