!

diff --git a/uppaal/2.xml b/uppaal/2.xml
index 2361046..7091457 100644 (file)
--- a/uppaal/2.xml
+++ b/uppaal/2.xml
@@ -2,8 +2,11 @@
 <!DOCTYPE nta PUBLIC '-//Uppaal Team//DTD Flat System 1.1//EN' 'http://www.it.uu.se/research/group/darts/uppaal/flat-1_2.dtd'>\r
 <nta>\r
        <declaration>// Place global declarations here.
-
+// Intermediate
 const int N = 13;
+// Advanced
+//const int N = 7
+
 typedef int[0,N-1] id_c;
 
 chan up[N], down[N], left[N], right[N];</declaration>\r
@@ -66,6 +69,8 @@ chan up[N], down[N], left[N], right[N];</declaration>
                <init ref="id2"/>\r
        </template>\r
        <system>// Place template instantiations here.
+
+// Intermediate puzzle
 H1 = HorzCar(2, 0, 0, 5);
 H2 = HorzCar(2, 1, 2, 5);
 V3 = VertCar(2, 2, 4, 4);
@@ -79,8 +84,22 @@ HA = HorzCar(2, 9, 1, 0);
 VB = VertCar(2, 10, 3, 0);
 HC = HorzCar(2, 11, 4, 1);
 HD = HorzCar(2, 12, 4, 0);
-// List one or more processes to be composed into a system.
 system H1, H2, V3, V4, V5, V6, H7, H8, V9, HA, VB, HC, HD;
+
+// Advanced puzzle
+/*
+H1 = HorzCar(2, 0, 0, 5);
+V2 = VertCar(2, 1, 2, 4);
+V3 = VertCar(3, 2, 3, 3);
+V4 = VertCar(3, 3, 0, 2);
+H5 = HorzCar(2, 4, 1, 3);
+H6 = HorzCar(3, 5, 1, 2);
+H7 = HorzCar(3, 6, 3, 0);
+system H1, V2, V3, V4, H5, H6, H7
+*/
+
+// List one or more processes to be composed into a system.
+
     </system>\r
        <queries>\r
        </queries>\r