diff --git a/src/main/jastadd/base/Navigation.jrag b/src/main/jastadd/base/Navigation.jrag index 0003ecb7db49012d64da8eb707dba5fcbec24ba9..7633e4fa67931beaedb132199bf6c69217978b2b 100644 --- a/src/main/jastadd/base/Navigation.jrag +++ b/src/main/jastadd/base/Navigation.jrag @@ -218,16 +218,23 @@ aspect Navigation { } syn Transition PetriNet.getTransitionById(String id) { - for (Transition t : this.allTransitions()) { if (t.getId().equals(id)) { return t; } } - return null; } + syn Place PetriNet.getPlaceById(String id) { + for (Place p : this.allPlaces()) { + if (p.getId().equals(id)) { + return p; + } + } + return null; + } + syn RefTransition PetriNet.getRefTransitionFromTransitionNode(TransitionNode tNode) { if (tNode.isRefTransition()) {