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.
6 chan a, b, c, d;
</declaration>
8 <name x=
"5" y=
"5">Template
</name>
9 <declaration>// Place local declarations here.
</declaration>
10 <location id=
"id0" x=
"102" y=
"0">
11 <name x=
"92" y=
"-34">s3
</name>
13 <location id=
"id1" x=
"0" y=
"0">
14 <name x=
"-10" y=
"-34">s2
</name>
15 <label kind=
"invariant" x=
"-10" y=
"17">x
< 1</label>
17 <location id=
"id2" x=
"-119" y=
"0">
18 <name x=
"-129" y=
"-34">s1
</name>
19 <label kind=
"invariant" x=
"-129" y=
"17">x
< 1</label>
21 <location id=
"id3" x=
"-246" y=
"0">
22 <name x=
"-256" y=
"-34">s0
</name>
28 <label kind=
"synchronisation" x=
"127" y=
"-17">c
</label>
29 <nail x=
"127" y=
"34"/>
30 <nail x=
"127" y=
"-34"/>
35 <label kind=
"guard" x=
"-160" y=
"-93">y
> 2</label>
36 <label kind=
"synchronisation" x=
"-160" y=
"-76">d
</label>
37 <nail x=
"59" y=
"-59"/>
38 <nail x=
"-178" y=
"-59"/>
43 <label kind=
"synchronisation" x=
"18" y=
"-17">c
</label>
48 <label kind=
"synchronisation" x=
"-101" y=
"-17">b
</label>
49 <label kind=
"assignment" x=
"-101" y=
"0">y:=
0</label>
54 <label kind=
"synchronisation" x=
"-228" y=
"-17">a
</label>
55 <label kind=
"assignment" x=
"-228" y=
"0">x:=
0</label>
58 <system>// Place template instantiations here.
60 // List one or more processes to be composed into a system.