<?xml version='1.0' encoding='utf-8'?><!DOCTYPE nta PUBLIC '-//Uppaal Team//DTD Flat System 1.1//EN' 'http://www.it.uu.se/research/group/darts/uppaal/flat-1_1.dtd'><nta><declaration>chan c;
chan d;
</declaration><template><name x="5" y="5">Template</name><declaration>clock x;
</declaration><location id="id0" x="-608" y="-240"><name x="-600" y="-232">s3</name></location><location id="id1" x="-416" y="-520"><name x="-426" y="-550">s2</name><label kind="invariant" x="-392" y="-544">x&lt;4</label></location><location id="id2" x="-808" y="-520"><name x="-818" y="-550">s1</name></location><init ref="id2"/><transition><source ref="id1"/><target ref="id0"/><label kind="guard" x="-408" y="-480">x&gt;1 &amp;&amp; x&lt;3</label><label kind="synchronisation" x="-408" y="-496">d?</label><nail x="-416" y="-240"/></transition><transition><source ref="id2"/><target ref="id0"/><label kind="synchronisation" x="-840" y="-488">d!</label><nail x="-808" y="-240"/></transition><transition><source ref="id2"/><target ref="id1"/><label kind="synchronisation" x="-768" y="-544">c?</label></transition></template><template><name x="5" y="5">Test</name><declaration>clock x;
</declaration><location id="id3" x="364" y="-79" color="#f0e68c"><name x="368" y="-64">Err</name></location><location id="id4" x="224" y="-17"><name x="232" y="-9">s3</name></location><location id="id5" x="417" y="-297"><name x="407" y="-327">s2</name></location><location id="id6" x="24" y="-297"><name x="14" y="-327">s1</name></location><init ref="id6"/><transition color="#f0e68c"><source ref="id6"/><target ref="id3"/><label kind="synchronisation" x="120" y="-264">d!</label><nail x="43" y="-289"/><nail x="103" y="-258"/><nail x="279" y="-144"/><nail x="342" y="-99"/></transition><transition color="#f0e68c"><source ref="id6"/><target ref="id3"/><label kind="synchronisation" x="104" y="-248">c?</label><nail x="39" y="-282"/><nail x="92" y="-240"/><nail x="268" y="-126"/><nail x="336" y="-90"/></transition><transition color="#f0e68c"><source ref="id5"/><target ref="id3"/><label kind="guard" x="432" y="-120">x&lt;4 &amp;&amp; x&gt;=3</label><label kind="synchronisation" x="536" y="-120">d!</label><nail x="418" y="-282"/><nail x="415" y="-246"/><nail x="394" y="-151"/><nail x="378" y="-106"/></transition><transition color="#f0e68c"><source ref="id5"/><target ref="id3"/><label kind="guard" x="488" y="-136">x&lt;=1</label><label kind="synchronisation" x="536" y="-136">d!</label><nail x="426" y="-285"/><nail x="438" y="-247"/><nail x="412" y="-140"/><nail x="386" y="-97"/></transition><transition color="#f0e68c"><source ref="id5"/><target ref="id3"/><label kind="guard" x="496" y="-152">x&lt;4</label><label kind="synchronisation" x="536" y="-152">d?</label><nail x="429" y="-289"/><nail x="460" y="-253"/><nail x="432" y="-124"/><nail x="392" y="-88"/></transition><transition color="#f0e68c"><source ref="id5"/><target ref="id3"/><label kind="guard" x="496" y="-168">x&lt;4</label><label kind="synchronisation" x="536" y="-168">c!</label><nail x="401" y="-296"/><nail x="360" y="-276"/><nail x="326" y="-151"/><nail x="343" y="-100"/></transition><transition color="#f0e68c"><source ref="id5"/><target ref="id3"/><label kind="guard" x="496" y="-184">x&lt;4</label><label kind="synchronisation" x="536" y="-184">c?</label><nail x="403" y="-290"/><nail x="378" y="-261"/><nail x="350" y="-156"/><nail x="353" y="-106"/></transition><transition color="#f0e68c"><source ref="id5"/><target ref="id3"/><label kind="guard" x="488" y="-200">x&gt;=4</label><nail x="408" y="-283"/><nail x="394" y="-249"/><nail x="372" y="-157"/><nail x="364" y="-108"/></transition><transition color="#f0e68c"><source ref="id4"/><target ref="id3"/><label kind="synchronisation" x="264" y="-96">d!</label><nail x="225" y="-32"/><nail x="240" y="-56"/><nail x="301" y="-86"/><nail x="338" y="-89"/></transition><transition color="#f0e68c"><source ref="id4"/><target ref="id3"/><label kind="synchronisation" x="304" y="-40">d?</label><nail x="236" y="-8"/><nail x="264" y="-3"/><nail x="326" y="-28"/><nail x="353" y="-53"/></transition><transition color="#f0e68c"><source ref="id4"/><target ref="id3"/><label kind="synchronisation" x="288" y="-56">c!</label><nail x="239" y="-18"/><nail x="264" y="-24"/><nail x="311" y="-46"/><nail x="340" y="-61"/></transition><transition color="#f0e68c"><source ref="id4"/><target ref="id3"/><label kind="synchronisation" x="272" y="-72">c?</label><nail x="235" y="-28"/><nail x="257" y="-40"/><nail x="304" y="-64"/><nail x="335" y="-74"/></transition><transition color="#f0e68c"><source ref="id3"/><target ref="id3"/><nail x="378" y="-88"/><nail x="390" y="-90"/><nail x="404" y="-88"/><nail x="404" y="-79"/><nail x="404" y="-74"/><nail x="399" y="-71"/><nail x="392" y="-69"/></transition><transition><source ref="id5"/><target ref="id4"/><label kind="guard" x="425" y="-257">x&lt;3 &amp;&amp; x&gt;1</label><label kind="synchronisation" x="425" y="-273">d!</label><nail x="417" y="-17"/></transition><transition><source ref="id6"/><target ref="id4"/><label kind="synchronisation" x="0" y="-264">d?</label><nail x="24" y="-17"/></transition><transition><source ref="id6"/><target ref="id5"/><label kind="synchronisation" x="64" y="-320">c!</label></transition></template><system>// Place template instantiations here.
Process = Template();

// List one or more processes to be composed into a system.
system Process;</system></nta>