more refactoring of Executable/Abstract/PetriNet