From: Mart Lubbers <mart@martlubbers.net>
Date: Tue, 14 Jun 2016 09:36:11 +0000 (+0200)
Subject: !
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=f2fcc7ef63a8d53b64d0028079410152b92ab7ec;p=mc1516the.git

!
---

diff --git a/uppaal/2.xml b/uppaal/2.xml
index 2361046..7091457 100644
--- 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'>
 <nta>
 	<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>
@@ -66,6 +69,8 @@ chan up[N], down[N], left[N], right[N];</declaration>
 		<init ref="id2"/>
 	</template>
 	<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>
 	<queries>
 	</queries>