<?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 start1, einde1, start2, einde2, start3, einde3;

int  tijd1, tijd2, tijd3;

clock x, x1, x2, x3;
</declaration><template><name x="5" y="5">Job1</name><declaration>// Place local declarations here.
</declaration><location id="id0" x="-192" y="288"></location><location id="id1" x="-192" y="384"><name x="-256" y="376">Klaar</name></location><location id="id2" x="-192" y="184"></location><location id="id3" x="-192" y="96"></location><location id="id4" x="-192" y="0"></location><location id="id5" x="-192" y="-96"></location><location id="id6" x="-192" y="-192"></location><init ref="id6"/><transition><source ref="id0"/><target ref="id1"/><label kind="synchronisation" x="-252" y="321">einde1?</label></transition><transition><source ref="id2"/><target ref="id0"/><label kind="synchronisation" x="-252" y="221">start1!</label><label kind="assignment" x="-252" y="236">tijd1 := 4</label></transition><transition><source ref="id3"/><target ref="id2"/><label kind="synchronisation" x="-252" y="125">einde2?</label></transition><transition><source ref="id4"/><target ref="id3"/><label kind="synchronisation" x="-252" y="33">start2!</label><label kind="assignment" x="-252" y="48">tijd2 := 2</label></transition><transition><source ref="id5"/><target ref="id4"/><label kind="synchronisation" x="-252" y="-63">einde3?</label></transition><transition><source ref="id6"/><target ref="id5"/><label kind="synchronisation" x="-252" y="-159">start3!</label><label kind="assignment" x="-252" y="-144">tijd3 := 2</label></transition></template><template><name x="5" y="5">Job2</name><declaration>// Place local declarations here.
</declaration><location id="id7" x="-192" y="184"><name x="-256" y="176">Klaar</name></location><location id="id8" x="-192" y="96"></location><location id="id9" x="-192" y="0"></location><location id="id10" x="-192" y="-96"></location><location id="id11" x="-192" y="-192"></location><init ref="id11"/><transition><source ref="id8"/><target ref="id7"/><label kind="synchronisation" x="-252" y="125">einde3?</label></transition><transition><source ref="id9"/><target ref="id8"/><label kind="synchronisation" x="-252" y="33">start3!</label><label kind="assignment" x="-252" y="48">tijd3 := 1</label></transition><transition><source ref="id10"/><target ref="id9"/><label kind="synchronisation" x="-256" y="-64">einde2?</label></transition><transition><source ref="id11"/><target ref="id10"/><label kind="synchronisation" x="-252" y="-159">start2!</label><label kind="assignment" x="-252" y="-144">tijd2 := 3</label></transition></template><template><name>Machine1</name><location id="id12" x="128" y="0"><label kind="invariant" x="152" y="-16">x1 &lt;= tijd1</label></location><location id="id13" x="0" y="0"></location><init ref="id13"/><transition><source ref="id12"/><target ref="id13"/><label kind="guard" x="40" y="32">x1 &gt;= tijd1</label><label kind="synchronisation" x="40" y="48">einde1!</label><nail x="128" y="64"/><nail x="0" y="64"/></transition><transition><source ref="id13"/><target ref="id12"/><label kind="synchronisation" x="40" y="-24">start1?</label><label kind="assignment" x="40" y="0">x1 := 0</label></transition></template><template><name>Machine2</name><location id="id14" x="128" y="0"><label kind="invariant" x="152" y="-16">x2 &lt;= tijd2</label></location><location id="id15" x="0" y="0"></location><init ref="id15"/><transition><source ref="id14"/><target ref="id15"/><label kind="guard" x="40" y="32">x2 &gt;= tijd2</label><label kind="synchronisation" x="40" y="48">einde2!</label><nail x="128" y="64"/><nail x="0" y="64"/></transition><transition><source ref="id15"/><target ref="id14"/><label kind="synchronisation" x="40" y="-24">start2?</label><label kind="assignment" x="40" y="0">x2 := 0</label></transition></template><template><name>Machine3</name><location id="id16" x="128" y="0"><label kind="invariant" x="152" y="-16">x3 &lt;= tijd3</label></location><location id="id17" x="0" y="0"></location><init ref="id17"/><transition><source ref="id16"/><target ref="id17"/><label kind="guard" x="40" y="32">x3 &gt;= tijd3</label><label kind="synchronisation" x="40" y="48">einde3!</label><nail x="128" y="64"/><nail x="0" y="64"/></transition><transition><source ref="id17"/><target ref="id16"/><label kind="synchronisation" x="40" y="-24">start3?</label><label kind="assignment" x="40" y="0">x3 := 0</label></transition></template><system>system Job1, Job2, Machine1, Machine2, Machine3;</system></nta>