Example.xml

<?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_2.dtd'>
<nta>
	<declaration>// Place global declarations here.
clock x,y;
chan a,b;</declaration>
	<template>
		<name x="5" y="5">Template</name>
		<declaration>// Place local declarations here.</declaration>
		<location id="id0" x="-17" y="-127">
			<name x="-27" y="-161">S0</name>
			<label kind="invariant" x="-51" y="-102">y&lt;=5 &amp;&amp;
x'&lt;=y' &amp;&amp; x'==1</label>
		</location>
		<location id="id1" x="127" y="-119">
			<name x="117" y="-153">S1</name>
			<label kind="invariant" x="117" y="-102">x&lt;=1 &amp;&amp;
x'&lt;=y' &amp;&amp; x'==1</label>
		</location>
		<location id="id2" x="-161" y="-127">
			<name x="-171" y="-161">S2</name>
		</location>
		<init ref="id0"/>
		<transition>
			<source ref="id1"/>
			<target ref="id0"/>
			<label kind="guard" x="29" y="-136">x&lt;=2</label>
			<label kind="synchronisation" x="29" y="-119">a!</label>
			<nail x="17" y="-102"/>
		</transition>
		<transition>
			<source ref="id0"/>
			<target ref="id1"/>
			<label kind="synchronisation" x="17" y="-204">a!</label>
			<label kind="assignment" x="8" y="-187">x=0</label>
			<nail x="34" y="-161"/>
			<nail x="34" y="-161"/>
		</transition>
		<transition>
			<source ref="id0"/>
			<target ref="id2"/>
			<label kind="guard" x="-143" y="-161">y&gt;5</label>
			<label kind="synchronisation" x="-143" y="-144">b?</label>
		</transition>
	</template>
	<system>// Place template instantiations here.
Process = Template();
// List one or more processes to be composed into a system.
system Process;
    </system>
	<queries>
		<query>
			<formula></formula>
			<comment></comment>
		</query>
	</queries>
</nta>