diff --git a/src/main/jastadd/base/Navigation.jrag b/src/main/jastadd/base/Navigation.jrag
index 2cadc25d4991614ce5ba7da703056636b575d119..4c7bb076ee37bffc72dfe366b8c7cfa373edba80 100644
--- a/src/main/jastadd/base/Navigation.jrag
+++ b/src/main/jastadd/base/Navigation.jrag
@@ -63,6 +63,9 @@ aspect Navigation {
   syn boolean PnObject.isPlaceObject() = false;
   eq Place.isPlaceObject() = true;
 
+  syn boolean PnObject.isTransitionObject() = false;
+  eq Transition.isTransitionObject() = true;
+
   syn boolean Node.isPlaceNode() = false;
   eq PlaceNode.isPlaceNode() = true;
 
@@ -120,7 +123,7 @@ aspect Navigation {
   syn TransitionNode Node.asTransitionNode() = null;
   eq TransitionNode.asTransitionNode() = this;
 
-  syn DinerosTransition Transition.asDinerosTransition() = null;
+  syn DinerosTransition PnObject.asDinerosTransition() = null;
   eq DinerosTransition.asDinerosTransition() = this;
 
   syn Page PnObject.asPage() = null;