<?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>// Global declarations
clock x;
</declaration>
	<template>
		<name>Process</name>
		<declaration>// Local declarations</declaration>
		<location id="id0" x="0" y="0">
			<name>Start</name>
		</location>
		<location id="id1" x="200" y="0">
			<name>End</name>
		</location>
		<init ref="id0"/>
		<transition>
			<source ref="id0"/>
			<target ref="id1"/>
			<label kind="guard" x="50" y="-30">x &gt;= 5</label>
			<label kind="assignment" x="50" y="-10">x = 0</label>
		</transition>
	</template>
	<system>// System declarations
P = Process();
system P;
</system>
</nta>