Finished 3

[mc1516the.git] / uppaal / 3_v2.xml

diff --git a/uppaal/3_v2.xml b/uppaal/3_v2.xml
deleted file mode 100644 (file)
index a49f41c..0000000
--- a/uppaal/3_v2.xml
+++ /dev/null
@@ -1,109 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>\r
-<!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.
-
-clock r1, r2;
-clock t;
-clock time;</declaration>\r
-       <template>\r
-               <name x="5" y="5">Vessel</name>\r
-               <declaration>// Place local declarations here.</declaration>\r
-               <location id="id0" x="-374" y="-153">\r
-                       <name x="-384" y="-187">Start</name>\r
-                       <label kind="invariant" x="-459" y="-161">t &lt;= 102</label>\r
-                       <urgent/>\r
-               </location>\r
-               <location id="id1" x="-467" y="8">\r
-                       <name x="-552" y="-25">overheating</name>\r
-                       <label kind="invariant" x="-501" y="25">t' == 0.1*t - 10.0
-&amp;&amp; r1' == 1 
-&amp;&amp; r2' == 1</label>\r
-               </location>\r
-               <location id="id2" x="-42" y="85">\r
-                       <name x="-52" y="51">rod2</name>\r
-                       <label kind="invariant" x="-8" y="68">t' == 0.1*t - 12.0
-&amp;&amp; r1' == 1 
-&amp;&amp; r2' == 1
-&amp;&amp; t &gt;= 102</label>\r
-               </location>\r
-               <location id="id3" x="-42" y="-68">\r
-                       <name x="-52" y="-102">rod1</name>\r
-                       <label kind="invariant" x="-17" y="-102">t' == 0.1*t - 11.2
-&amp;&amp; r1' == 1 
-&amp;&amp; r2' == 1
-&amp;&amp; t &gt;= 102</label>\r
-               </location>\r
-               <location id="id4" x="-178" y="8">\r
-                       <name x="-238" y="-59">inRange</name>\r
-                       <label kind="invariant" x="-314" y="17">t' == 0.1*t - 10.0 
-&amp;&amp; r1' == 1 
-&amp;&amp; r2' == 1
-&amp;&amp; t &gt;= 102
-&amp;&amp; t &lt;= 110</label>\r
-               </location>\r
-               <init ref="id0"/>\r
-               <transition>\r
-                       <source ref="id0"/>\r
-                       <target ref="id0"/>\r
-                       <label kind="guard" x="-408" y="-221">t &lt; 102</label>\r
-                       <label kind="assignment" x="-493" y="-221">t = 102,
-r1 = 25,
-r2 = 25</label>\r
-                       <nail x="-433" y="-195"/>\r
-                       <nail x="-331" y="-204"/>\r
-               </transition>\r
-               <transition>\r
-                       <source ref="id0"/>\r
-                       <target ref="id4"/>\r
-                       <label kind="guard" x="-561" y="-127">t &gt;= 102 &amp;&amp; r1 &gt; 20 &amp;&amp; r2 &gt; 20</label>\r
-               </transition>\r
-               <transition>\r
-                       <source ref="id4"/>\r
-                       <target ref="id1"/>\r
-                       <label kind="guard" x="-408" y="-51">t &gt;= 110 &amp;&amp; 
-r1 &lt;= 20 
-&amp;&amp; r2 &lt;= 20</label>\r
-                       <nail x="-195" y="8"/>\r
-               </transition>\r
-               <transition>\r
-                       <source ref="id2"/>\r
-                       <target ref="id4"/>\r
-                       <label kind="guard" x="-187" y="178">t &gt;= 102 &amp;&amp; t &lt;= 105</label>\r
-                       <label kind="assignment" x="-160" y="161">r2 = 0</label>\r
-                       <nail x="-42" y="161"/>\r
-                       <nail x="-178" y="161"/>\r
-               </transition>\r
-               <transition>\r
-                       <source ref="id4"/>\r
-                       <target ref="id2"/>\r
-                       <label kind="guard" x="-136" y="8">t &gt;= 110 &amp;&amp; r2 &gt; 20</label>\r
-               </transition>\r
-               <transition>\r
-                       <source ref="id3"/>\r
-                       <target ref="id4"/>\r
-                       <label kind="guard" x="-160" y="-178">t &gt;= 102 &amp;&amp; t &lt;= 105</label>\r
-                       <label kind="assignment" x="-153" y="-161">r1 = 0</label>\r
-                       <nail x="-42" y="-144"/>\r
-                       <nail x="-178" y="-144"/>\r
-               </transition>\r
-               <transition>\r
-                       <source ref="id4"/>\r
-                       <target ref="id3"/>\r
-                       <label kind="guard" x="-136" y="-17">t &gt;= 110 &amp;&amp; r1 &gt; 20</label>\r
-               </transition>\r
-       </template>\r
-       <system>// Place template instantiations here.
-// List one or more processes to be composed into a system.
-v = Vessel();
-system v;
-    </system>\r
-       <queries>\r
-               <query>\r
-                       <formula>simulate 5 [&lt;=50] { t }\r
-                       </formula>\r
-                       <comment>\r
-                       </comment>\r
-               </query>\r
-       </queries>\r
-</nta>\r