Fixed missing name

integration/code/pn_design_model.mvc

@@ -13,7 +13,9 @@ PetriNets pn {
         tokens = 3
         name = "p3"
     }
-    Transition t1 {}
+    Transition t1 {
+        name = "t1"
+    }
     P2T (p1, t1) {
         weight = 1
     }