added debugging methods in nav

src/main/jastadd/base/Navigation.jrag

@@ -251,6 +251,37 @@ aspect Navigation {
           return null;
    }
 
+   syn String PetriNet.PlaceStringExport() {
+
+          String res = "";
+
+          for (Place p : this.allPlaces()) {
+              res += p.getId() + ", ";
+          }
+          return res;
+   }
+
+   syn RefPlace PetriNet.getRefPlaceById(String id) {
+          for (RefPlace rp : this.allRefPlaces()) {
+              if (rp.getId().equals(id)) {
+                return rp;
+              }
+          }
+          return null;
+   }
+   
+   syn List<Place> PetriNet.getPlacesWithContainingString(String s) {
+
+          List<Place> res = new ArrayList<>();
+
+          for (Place p : this.allPlaces()) {
+              if (p.getId().contains(s)) {
+                res.add(p);
+              }
+          }
+          return res;
+   }
+
     syn RefTransition PetriNet.getRefTransitionFromTransitionNode(TransitionNode tNode) {
 
         if (tNode.isRefTransition()) {