<?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>// Place global declarations here.

urgent chan links_pakken[5], links_neerleggen[5];
urgent chan rechts_pakken[5], rechts_neerleggen[5];</declaration><template><name x="5" y="5">Filosoof</name><parameter>int[0,4] i</parameter><declaration>// Place local declarations here.

clock x;</declaration><location id="id0" x="184" y="-168"><name x="208" y="-176">klaar</name></location><location id="id1" x="-184" y="-176"><name x="-272" y="-184">hongerig</name></location><location id="id2" x="88" y="-264"></location><location id="id3" x="80" y="-72"><name x="96" y="-64">eten</name><label kind="invariant" x="96" y="-48">x &lt;= 1</label></location><location id="id4" x="-104" y="-72"></location><location id="id5" x="-104" y="-264"><name x="-160" y="-296">denken</name></location><init ref="id5"/><transition><source ref="id3"/><target ref="id0"/><label kind="guard" x="112" y="-96">x &gt;= 1</label></transition><transition><source ref="id5"/><target ref="id1"/></transition><transition><source ref="id2"/><target ref="id5"/><label kind="synchronisation" x="-80" y="-288">rechts_neerleggen[i]!</label></transition><transition><source ref="id0"/><target ref="id2"/><label kind="synchronisation" x="144" y="-232">links_neerleggen[i]!</label></transition><transition><source ref="id4"/><target ref="id3"/><label kind="synchronisation" x="-72" y="-96">rechts_pakken[i]!</label><label kind="assignment" x="24" y="-64">x =0</label></transition><transition><source ref="id1"/><target ref="id4"/><label kind="synchronisation" x="-256" y="-120">links_pakken[i]!</label></transition></template><template><name>Vork</name><parameter>int i</parameter><location id="id6" x="-184" y="-104"></location><location id="id7" x="96" y="-104"></location><location id="id8" x="-48" y="-104"><name x="-58" y="-134">vrij</name></location><init ref="id8"/><transition><source ref="id7"/><target ref="id8"/><label kind="synchronisation" x="-32" y="-64">rechts_neerleggen[(i+1) % 5]?</label><nail x="24" y="-72"/></transition><transition><source ref="id8"/><target ref="id7"/><label kind="synchronisation" x="-32" y="-160">rechts_pakken[(i+1) % 5]?</label><nail x="24" y="-136"/></transition><transition><source ref="id6"/><target ref="id8"/><label kind="synchronisation" x="-176" y="-72">links_neerleggen[i]?</label><nail x="-112" y="-72"/></transition><transition><source ref="id8"/><target ref="id6"/><label kind="synchronisation" x="-168" y="-160">links_pakken[i]?</label><nail x="-112" y="-136"/></transition></template><system>// Place template instantiations here.
F0 = Filosoof(0);
F1 = Filosoof(1);
F2 = Filosoof(2);
F3 = Filosoof(3);
F4 = Filosoof(4);

V0 = Vork(0);
V1 = Vork(1);
V2 = Vork(2);
V3 = Vork(3);
V4 = Vork(4);

// List one or more processes to be composed into a system.
system F0, V0, F1, V1, F2, V2, F3, V3, F4, V4;</system></nta>
