<?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 muntIn, vraagBlikje, muntUit, blikjeUit, stop, herstart, annuleer;
int tegoed;

</declaration><template><name x="5" y="5">BlikjesAfgave</name><declaration>// Place local declarations here.
</declaration><location id="id0" x="64" y="-32"><name x="64" y="-64">LeverBlikje</name></location><location id="id1" x="-16" y="64"><name x="-72" y="80">Geannuleerd</name></location><location id="id2" x="-96" y="-32"><name x="-144" y="-48">Rust</name></location><init ref="id2"/><transition><source ref="id0"/><target ref="id0"/><label kind="synchronisation" x="136" y="-24">vraagBlikje?</label><nail x="128" y="-32"/><nail x="128" y="0"/></transition><transition><source ref="id2"/><target ref="id1"/><label kind="synchronisation" x="-64" y="-16">stop?</label></transition><transition><source ref="id1"/><target ref="id1"/><label kind="synchronisation" x="56" y="64">vraagBlikje?</label><nail x="48" y="64"/><nail x="48" y="96"/></transition><transition><source ref="id1"/><target ref="id2"/><label kind="synchronisation" x="-160" y="16">herstart?</label><nail x="-96" y="64"/></transition><transition><source ref="id0"/><target ref="id1"/><label kind="synchronisation" x="32" y="8">stop?</label></transition><transition><source ref="id0"/><target ref="id2"/><label kind="guard" x="24" y="-128">tegoed&gt;0</label><label kind="synchronisation" x="24" y="-112">blikjeUit!</label><label kind="assignment" x="24" y="-96">tegoed := tegoed -1</label><nail x="-16" y="-112"/></transition><transition><source ref="id2"/><target ref="id0"/><label kind="synchronisation" x="-56" y="-56">vraagBlikje?</label></transition></template><template><name>NetteKlant</name><location id="id3" x="160" y="-128"></location><location id="id4" x="160" y="160"></location><location id="id5" x="160" y="0"></location><location id="id6" x="0" y="0"></location><init ref="id6"/><transition><source ref="id3"/><target ref="id6"/><label kind="synchronisation" x="20" y="-79">muntUit?</label></transition><transition><source ref="id5"/><target ref="id3"/><label kind="synchronisation" x="168" y="-64">annuleer!</label></transition><transition><source ref="id4"/><target ref="id6"/><label kind="synchronisation" x="56" y="32">blikjeUit?</label></transition><transition><source ref="id5"/><target ref="id4"/><label kind="synchronisation" x="168" y="48">vraagBlikje!</label></transition><transition><source ref="id6"/><target ref="id5"/><label kind="synchronisation" x="48" y="-24">muntIn!</label></transition></template><template><name>GeldTeruggave</name><location id="id7" x="64" y="64"><committed/></location><location id="id8" x="0" y="128"></location><location id="id9" x="0" y="0"></location><init ref="id9"/><transition><source ref="id7"/><target ref="id8"/><label kind="synchronisation" x="32" y="96">stop!</label></transition><transition><source ref="id8"/><target ref="id9"/><label kind="guard" x="-144" y="40">tegoed==0</label><label kind="synchronisation" x="-144" y="64">herstart!</label><nail x="-64" y="64"/></transition><transition><source ref="id8"/><target ref="id8"/><label kind="guard" x="-56" y="192">tegoed&gt;0</label><label kind="synchronisation" x="-56" y="208">muntUit!</label><label kind="assignment" x="-56" y="224">tegoed := tegoed -1</label><nail x="40" y="192"/><nail x="-56" y="192"/></transition><transition><source ref="id9"/><target ref="id7"/><label kind="synchronisation" x="32" y="8">annuleer?</label></transition></template><template><name>GeldInzameling</name><location id="id10" x="0" y="0"></location><init ref="id10"/><transition><source ref="id10"/><target ref="id10"/><label kind="guard" x="-64" y="-120">tegoed &lt;= 10</label><label kind="synchronisation" x="-64" y="-104">muntIn?</label><label kind="assignment" x="-64" y="-88">tegoed:=tegoed+1</label><nail x="-64" y="-64"/><nail x="64" y="-64"/></transition></template><system>system GeldInzameling, BlikjesAfgave, GeldTeruggave, NetteKlant;</system></nta>