<?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>bool plek_wolf, plek_geit, plek_kool, plek_veerman;

chan heen, weer, game_over;
chan priority default &lt; game_over;




</declaration><template><name x="5" y="5">Wolf</name><declaration>// Place local declarations here.
</declaration><location id="id0" x="-64" y="32"><name x="-88" y="48">Daar</name></location><location id="id1" x="-64" y="-96"><name x="-74" y="-126">Hier</name></location><init ref="id1"/><transition><source ref="id0"/><target ref="id1"/><label kind="synchronisation" x="0" y="-56">weer?</label><label kind="assignment" x="0" y="-40">plek_wolf:=0</label><nail x="0" y="-32"/></transition><transition><source ref="id1"/><target ref="id0"/><label kind="synchronisation" x="-192" y="-16">heen?</label><label kind="assignment" x="-192" y="0">plek_wolf:=1</label><nail x="-128" y="-32"/></transition></template><template><name>Geit</name><location id="id2" x="-320" y="-160"><name x="-352" y="-144">Daar</name></location><location id="id3" x="-320" y="-288"><name x="-344" y="-320">Hier</name></location><init ref="id3"/><transition><source ref="id2"/><target ref="id3"/><label kind="synchronisation" x="-256" y="-240">weer?</label><label kind="assignment" x="-256" y="-224">plek_geit:=0</label><nail x="-256" y="-224"/></transition><transition><source ref="id3"/><target ref="id2"/><label kind="synchronisation" x="-448" y="-208">heen?</label><label kind="assignment" x="-448" y="-192">plek_geit:=1</label><nail x="-384" y="-224"/></transition></template><template><name>Kool</name><location id="id4" x="-320" y="-128"><name x="-336" y="-112">Daar</name></location><location id="id5" x="-320" y="-256"><name x="-330" y="-286">Hier</name></location><init ref="id5"/><transition><source ref="id4"/><target ref="id5"/><label kind="synchronisation" x="-256" y="-208">weer?</label><label kind="assignment" x="-256" y="-192">plek_kool := 0</label><nail x="-256" y="-192"/></transition><transition><source ref="id5"/><target ref="id4"/><label kind="synchronisation" x="-440" y="-176">heen?</label><label kind="assignment" x="-440" y="-160">plek_kool:=1</label><nail x="-384" y="-192"/></transition></template><template><name>Veerman</name><location id="id6" x="-352" y="-160"><name x="-368" y="-144">Daar</name></location><location id="id7" x="-360" y="-288"><name x="-370" y="-318">Hier</name></location><init ref="id7"/><transition><source ref="id6"/><target ref="id7"/><label kind="synchronisation" x="-304" y="-216">weer!</label><label kind="assignment" x="-304" y="-200">plek_veerman := 0</label><nail x="-288" y="-224"/></transition><transition><source ref="id7"/><target ref="id6"/><label kind="synchronisation" x="-496" y="-200">heen!</label><label kind="assignment" x="-496" y="-184">plek_veerman:=1</label><nail x="-416" y="-224"/></transition></template><template><name>Regels</name><location id="id8" x="232" y="0"></location><location id="id9" x="-96" y="0"><name x="-106" y="-30">OK</name></location><init ref="id9"/><transition><source ref="id9"/><target ref="id8"/><label kind="guard" x="-112" y="24">(plek_wolf==plek_geit &amp;&amp; plek_wolf != plek_veerman) ||
(plek_geit==plek_kool &amp;&amp; plek_geit!=plek_veerman)</label><label kind="synchronisation" x="16" y="-24">game_over!</label></transition></template><template><name>Niemand</name><location id="id10" x="0" y="0"></location><init ref="id10"/><transition><source ref="id10"/><target ref="id10"/><label kind="synchronisation" x="-40" y="64">game_over?</label><nail x="-32" y="56"/><nail x="24" y="56"/></transition><transition><source ref="id10"/><target ref="id10"/><label kind="synchronisation" x="24" y="-40">weer?</label><nail x="96" y="-32"/><nail x="96" y="0"/></transition><transition><source ref="id10"/><target ref="id10"/><label kind="synchronisation" x="-56" y="-40">heen?</label><nail x="-96" y="-32"/><nail x="-96" y="0"/></transition></template><system>system Wolf, Geit, Kool, Niemand, Veerman, Regels;</system></nta>
