<?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>clock x, y, z;

chan komt, gaat, omhoog, omlaag;</declaration><template><name x="0" y="8">Trein</name><location id="id0" x="384" y="384"><name x="352" y="408">Bij_overgang</name><label kind="invariant" x="408" y="376">x &lt;= 60</label></location><location id="id1" x="384" y="160"><name x="376" y="120">Dichtbij</name><label kind="invariant" x="416" y="152">x &lt;= 60</label></location><location id="id2" x="160" y="160"><name x="144" y="120">Ver</name></location><location id="id3" x="160" y="384"><name x="120" y="408">Gepasseerd</name><label kind="invariant" x="56" y="376">x &lt;= 60</label></location><init ref="id2"/><transition><source ref="id2"/><target ref="id1"/><label kind="synchronisation" x="224" y="136">komt!</label><label kind="assignment" x="224" y="168">x := 0</label></transition><transition><source ref="id1"/><target ref="id0"/><label kind="guard" x="400" y="272">x &gt;= 12</label></transition><transition><source ref="id0"/><target ref="id3"/></transition><transition><source ref="id3"/><target ref="id2"/><label kind="synchronisation" x="104" y="272">gaat!</label></transition></template><template><name x="5" y="5">Overgang</name><location id="id4" x="128" y="160"><name x="104" y="120">Open</name></location><location id="id5" x="352" y="160"><name x="328" y="120">Gaat_dicht</name><label kind="invariant" x="376" y="160">y &lt;= 15</label></location><location id="id6" x="352" y="384"><name x="336" y="408">Dicht</name></location><location id="id7" x="128" y="384"><name x="64" y="408">Gaat_open</name><label kind="invariant" x="32" y="376">y &lt;= 20</label></location><init ref="id4"/><transition><source ref="id4"/><target ref="id5"/><label kind="synchronisation" x="184" y="136">omlaag?</label><label kind="assignment" x="184" y="168">y := 0</label></transition><transition><source ref="id5"/><target ref="id6"/></transition><transition><source ref="id6"/><target ref="id7"/><label kind="synchronisation" x="208" y="360">omhoog?</label><label kind="assignment" x="208" y="400">y := 0</label></transition><transition><source ref="id7"/><target ref="id4"/><label kind="guard" x="56" y="240">y &gt; 10</label></transition></template><template><name x="5" y="5">Besturing</name><location id="id8" x="512" y="320"><name x="480" y="344">sluit_overgang</name><label kind="invariant" x="536" y="312">z &lt;= 1</label></location><location id="id9" x="96" y="320"><name x="8" y="352">open_overgang</name><label kind="invariant" x="8" y="312">z &lt;= 1</label></location><location id="id10" x="288" y="128"><name x="272" y="96">rust</name></location><init ref="id10"/><transition><source ref="id10"/><target ref="id9"/><label kind="synchronisation" x="96" y="160">gaat?</label><label kind="assignment" x="96" y="184">z := 0</label><nail x="160" y="192"/></transition><transition><source ref="id9"/><target ref="id10"/><label kind="synchronisation" x="160" y="272">omhoog!</label><nail x="224" y="224"/></transition><transition><source ref="id10"/><target ref="id8"/><label kind="synchronisation" x="432" y="144">komt?</label><label kind="assignment" x="432" y="160">z := 0</label><nail x="416" y="160"/></transition><transition><source ref="id8"/><target ref="id10"/><label kind="synchronisation" x="336" y="272">omlaag!</label><nail x="352" y="224"/></transition></template><system>
system Trein, Overgang, Besturing;</system></nta>