From: pimjager <pim@pimjager.nl>
Date: Thu, 16 Jun 2016 14:02:02 +0000 (+0200)
Subject: hoi
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=6732ee4c653c4b88cb70f78cc9e07e3c07bfdb29;p=mc1516the.git

hoi
---

diff --git a/a.pdf b/a.pdf
index 9ee5c69..baac29d 100644
Binary files a/a.pdf and b/a.pdf differ
diff --git a/uppaal/3.xml b/uppaal/3.xml
index 5861b32..6824ba4 100644
--- a/uppaal/3.xml
+++ b/uppaal/3.xml
@@ -2,7 +2,7 @@
 <!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.
-chan cool, inr[2], outr[2];
+broadcast chan cool, inr[2], outr[2];
 </declaration>
 	<template>
 		<name x="5" y="5">Tank</name>
@@ -26,14 +26,16 @@ clock temp = 102.0;</declaration>
 			<label kind="invariant" x="-365" y="-59">temp' == 0.1*temp - 10.0</label>
 			<urgent/>
 		</location>
-		<location id="id4" x="-408" y="-76">
-			<name x="-484" y="-110">inRange</name>
-			<label kind="invariant" x="-595" y="-85">temp' == 0.1*temp - 10.0</label>
+		<location id="id4" x="-416" y="-76">
+			<name x="-492" y="-110">inRange</name>
+			<label kind="invariant" x="-731" y="-85">temp' == 0.1*temp - 10.0 &amp;&amp; temp &lt; 110</label>
+			<urgent/>
 		</location>
 		<init ref="id4"/>
 		<transition>
 			<source ref="id4"/>
 			<target ref="id0"/>
+			<label kind="synchronisation" x="-517" y="-34">temp &gt;= 110</label>
 		</transition>
 		<transition>
 			<source ref="id1"/>
@@ -117,5 +119,11 @@ r2 = Rod(1);
 system Tank, r1, r2;
     </system>
 	<queries>
+		<query>
+			<formula>Pr [&lt;=100]  (&lt;&gt; Tank.overheating)
+			</formula>
+			<comment>
+			</comment>
+		</query>
 	</queries>
 </nta>