<?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 v ;

chan heen,weer,verscheurhier,verscheurdaar,knabbelhier,knabbeldaar;
chan priority default &lt; verscheurhier,verscheurdaar,knabbelhier,knabbeldaar;

</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="id0"/><label kind="guard" x="0" y="24">v==0</label><label kind="synchronisation" x="0" y="40">verscheurdaar!</label><nail x="-8" y="72"/><nail x="-8" y="32"/></transition><transition><source ref="id1"/><target ref="id1"/><label kind="guard" x="8" y="-136">v ==1</label><label kind="synchronisation" x="8" y="-120">verscheurhier!</label><nail x="-8" y="-136"/><nail x="-8" y="-96"/></transition><transition><source ref="id0"/><target ref="id1"/><label kind="synchronisation" x="0" y="-56">weer?</label><nail x="0" y="-32"/></transition><transition><source ref="id1"/><target ref="id0"/><label kind="synchronisation" x="-176" y="-56">heen?</label><nail x="-128" y="-32"/></transition></template><template><name>Geit</name><location id="id2" x="-512" y="-224"><name x="-608" y="-240">Opgegeten</name></location><location id="id3" x="-320" y="-160"><name x="-352" y="-144">Daar</name></location><location id="id4" x="-320" y="-288"><name x="-344" y="-320">Hier</name></location><init ref="id4"/><transition><source ref="id3"/><target ref="id3"/><label kind="guard" x="-280" y="-160">v ==0</label><label kind="synchronisation" x="-280" y="-144">knabbeldaar!</label><nail x="-288" y="-160"/><nail x="-288" y="-96"/></transition><transition><source ref="id4"/><target ref="id4"/><label kind="guard" x="-280" y="-344">v ==1</label><label kind="synchronisation" x="-280" y="-328">knabbelhier!</label><nail x="-288" y="-288"/><nail x="-288" y="-352"/></transition><transition><source ref="id3"/><target ref="id2"/><label kind="synchronisation" x="-520" y="-192">verscheurdaar?</label></transition><transition><source ref="id4"/><target ref="id2"/><label kind="synchronisation" x="-512" y="-280">verscheurhier?</label></transition><transition><source ref="id3"/><target ref="id4"/><label kind="synchronisation" x="-256" y="-240">weer?</label><nail x="-256" y="-224"/></transition><transition><source ref="id4"/><target ref="id3"/><label kind="synchronisation" x="-424" y="-240">heen?</label><nail x="-384" y="-224"/></transition></template><template><name>Kool</name><location id="id5" x="-192" y="-192"><name x="-176" y="-200">Opgegeten</name></location><location id="id6" x="-320" y="-128"><name x="-336" y="-112">Daar</name></location><location id="id7" x="-320" y="-256"><name x="-330" y="-286">Hier</name></location><init ref="id7"/><transition><source ref="id6"/><target ref="id5"/><label kind="synchronisation" x="-256" y="-160">knabbeldaar?</label></transition><transition><source ref="id7"/><target ref="id5"/><label kind="synchronisation" x="-264" y="-248">knabbelhier?</label></transition><transition><source ref="id6"/><target ref="id7"/><label kind="synchronisation" x="-312" y="-208">weer?</label><nail x="-256" y="-192"/></transition><transition><source ref="id7"/><target ref="id6"/><label kind="synchronisation" x="-440" y="-208">heen?</label><nail x="-384" y="-192"/></transition></template><template><name>Veerman</name><location id="id8" x="-352" y="-160"><name x="-368" y="-144">Daar</name></location><location id="id9" x="-360" y="-288"><name x="-370" y="-318">Hier</name></location><init ref="id9"/><transition><source ref="id8"/><target ref="id9"/><label kind="assignment" x="-200" y="-208">v:=0</label><nail x="-176" y="-224"/></transition><transition><source ref="id9"/><target ref="id8"/><label kind="assignment" x="-544" y="-208">v:=1</label><nail x="-544" y="-224"/></transition><transition><source ref="id8"/><target ref="id9"/><label kind="synchronisation" x="-288" y="-240">weer!</label><label kind="assignment" x="-288" y="-224">v := 0</label><nail x="-288" y="-224"/></transition><transition><source ref="id9"/><target ref="id8"/><label kind="synchronisation" x="-456" y="-240">heen!</label><label kind="assignment" x="-456" y="-224">v:=1</label><nail x="-416" y="-224"/></transition></template><system>
system Wolf, Geit, Kool, Veerman;</system></nta>
