1 <?xml version=
"1.0" encoding=
"utf-8"?>
2 <!DOCTYPE nta PUBLIC '-//Uppaal Team//DTD Flat System
1.1//EN' 'http://www.it.uu.se/research/group/darts/uppaal/flat-
1_2.dtd'
>
4 <declaration>// Place global declarations here.
8 clock time;
</declaration>
10 <name x=
"5" y=
"5">Vessel
</name>
11 <declaration>// Place local declarations here.
</declaration>
12 <location id=
"id0" x=
"-374" y=
"-153">
13 <name x=
"-384" y=
"-187">Start
</name>
14 <label kind=
"invariant" x=
"-459" y=
"-161">t
<=
102</label>
17 <location id=
"id1" x=
"-467" y=
"8">
18 <name x=
"-552" y=
"-25">overheating
</name>
19 <label kind=
"invariant" x=
"-501" y=
"25">t' ==
0.1*t -
10.0
21 && r2' ==
1</label>
23 <location id=
"id2" x=
"-42" y=
"85">
24 <name x=
"-52" y=
"51">rod2
</name>
25 <label kind=
"invariant" x=
"-8" y=
"68">t' ==
0.1*t -
12.0
28 && t
>=
102</label>
30 <location id=
"id3" x=
"-42" y=
"-68">
31 <name x=
"-52" y=
"-102">rod1
</name>
32 <label kind=
"invariant" x=
"-17" y=
"-102">t' ==
0.1*t -
11.2
35 && t
>=
102</label>
37 <location id=
"id4" x=
"-178" y=
"8">
38 <name x=
"-238" y=
"-59">inRange
</name>
39 <label kind=
"invariant" x=
"-314" y=
"17">t' ==
0.1*t -
10.0
42 && t
>=
102
43 && t
<=
110</label>
49 <label kind=
"guard" x=
"-408" y=
"-221">t
< 102</label>
50 <label kind=
"assignment" x=
"-493" y=
"-221">t =
102,
53 <nail x=
"-433" y=
"-195"/>
54 <nail x=
"-331" y=
"-204"/>
59 <label kind=
"guard" x=
"-561" y=
"-127">t
>=
102 && r1
> 20 && r2
> 20</label>
64 <label kind=
"guard" x=
"-408" y=
"-51">t
>=
110 &&
66 && r2
<=
20</label>
67 <nail x=
"-195" y=
"8"/>
72 <label kind=
"guard" x=
"-187" y=
"178">t
>=
102 && t
<=
105</label>
73 <label kind=
"assignment" x=
"-160" y=
"161">r2 =
0</label>
74 <nail x=
"-42" y=
"161"/>
75 <nail x=
"-178" y=
"161"/>
80 <label kind=
"guard" x=
"-136" y=
"8">t
>=
110 && r2
> 20</label>
85 <label kind=
"guard" x=
"-160" y=
"-178">t
>=
102 && t
<=
105</label>
86 <label kind=
"assignment" x=
"-153" y=
"-161">r1 =
0</label>
87 <nail x=
"-42" y=
"-144"/>
88 <nail x=
"-178" y=
"-144"/>
93 <label kind=
"guard" x=
"-136" y=
"-17">t
>=
110 && r1
> 20</label>
96 <system>// Place template instantiations here.
97 // List one or more processes to be composed into a system.
103 <formula>simulate
5 [
<=
50] { t }