extended nav

src/data/java/de/tudresden/inf/st/pnml/base/util/NavUtils.java

+package de.tudresden.inf.st.pnml.base.util;
+
+import de.tudresden.inf.st.pnml.jastadd.model.Node;
+import de.tudresden.inf.st.pnml.jastadd.model.Place;
+
+public class NavUtils {
+
+    public static Place getOriginPlace(Node p){
+
+        if(p.asRefPlace() != null){
+            return p.asPlaceNode().place();
+        } else {
+            return getOriginPlace(p);
+        }
+    }
+}

src/main/jastadd/base/Navigation.jrag

@@ -2,6 +2,10 @@ aspect Navigation {
   inh PetriNet PnObject.petriNet();
   eq PetriNet.getChild().petriNet() = this;
 
+  syn Place RefPlace.originPlace(){
+      return de.tudresden.inf.st.pnml.base.util.NavUtils.getOriginPlace(this);
+  }
+
   syn java.util.Collection<Place> TransitionNode.incomingPlaces() {
 
       java.util.Set<Place> s = new java.util.HashSet<>();