refactor makeExecutablePetriNet to getEx...