new constants for pnml parsing, updated nav, updated testnet1

src/data/java/de/tudresden/inf/st/pnml/base/constants/PnmlConstants.java

@@ -59,6 +59,7 @@ public final class PnmlConstants {
     public static final String TOPIC_SUBSCRIBER = "topicSub";
     public static final String SERVICE_CLIENT = "serviceClient";
     public static final String SERVICE_SERVER = "serviceServer";
+    public static final String TEMPLATE_NET = "DinerosTemplate";
 
     // arc types
     public static final String ARC_TYPE_KEY = "type";

src/main/jastadd/base/Navigation.jrag

@@ -114,13 +114,19 @@ aspect Navigation {
   syn Transition TransitionNode.asTransition() = null;
   eq Transition.asTransition() = this;
 
+  syn Node PnObject.asNode() = null;
+  eq Node.asNode() = this;
+
   syn TransitionNode Node.asTransitionNode() = null;
   eq TransitionNode.asTransitionNode() = this;
 
   syn DinerosTransition Transition.asDinerosTransition() = null;
   eq DinerosTransition.asDinerosTransition() = this;
 
-  syn DinerosPlace Place.asDinerosPlace() = null;
+  syn Page PnObject.asPage() = null;
+  eq Page.asPage() = this;
+
+  syn DinerosPlace PnObject.asDinerosPlace() = null;
   eq DinerosPlace.asDinerosPlace() = this;
 
   syn TopicTransitionInformation TransitionInformation.asTopicTransitionInformation() = null;

src/main/resources/nets/TestNet1.pnml

@@ -23,9 +23,9 @@
                     </graphics>
                 </place>
             </page>
-            <transition id="sampleTopic">
+            <transition id="sampleTopicTrans">
                 <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-                    <type>topic</type>
+                    <type>topicTransitionType</type>
                     <topicName>sampleTopic</topicName>
                     <publishers>
                         <publisher>