<?xml version="1.0"?>
<!DOCTYPE nta PUBLIC "-//Uppaal Team//DTD Flat System 1.0//EN" "http://www.docs.uu.se/docs/rtmv/uppaal/xml/flat-1_0.dtd">
<nta>
  <declaration>//Insert declarations of global clocks, variables, constants and channels.
const aus 0;
const ein 1;
const rechts 1;
const links 2;
const gelb 2;
const schwarz 1;
const aufhalde 3;
const vonhalde 4;
const leer 0;
const voll 1;
const band0 0;
const band1 1;
const band2 2;
const halde 3;
const bandvorlauf 10;
int kranprogramm, fahrenband1, fahrenband2, fahrenband0, kransensor, bandsensor, KranPos, fahren, kranmagnet, haldenplatz, pos0;
clock timer;</declaration>
  <template>
    <name x="5" y="5">Hauptprogramm</name>
    <parameter x="5" y="20"/>
    <declaration>//Insert local declarations of clocks, variables and constants.
</declaration>
  <location id="id0" x="128" y="96"><name x="118" y="66">S0</name></location><location id="id1" x="320" y="96"><name x="310" y="66">S1</name></location><location id="id4" x="512" y="96"><name x="502" y="66">S2</name></location><location id="id51" x="128" y="320"><name x="118" y="290">I</name></location><location id="id52" x="320" y="320"><name x="310" y="290">G1</name></location><location id="id53" x="512" y="320"><name x="502" y="290">G2</name></location><location id="id55" x="320" y="416"><name x="310" y="386">SW1</name></location><location id="id57" x="320" y="512"><name x="288" y="488">SS1</name></location><location id="id58" x="832" y="416"><name x="822" y="386">SG1</name></location><location id="id59" x="832" y="672"><name x="822" y="642">SG2</name></location><location id="id60" x="608" y="672"><name x="598" y="642">GG1</name></location><location id="id61" x="288" y="672"><name x="278" y="642">GG2</name></location><location id="id62" x="264" y="576"><name x="254" y="546">H2</name></location><location id="id2" x="608" y="576"><name x="584" y="544">H1</name></location><init ref="id0"/><transition><source ref="id0"/><target ref="id1"/><label kind="assignment" x="168" y="96">fahrenband0:=aus,
fahrenband1:=ein,
fahrenband2:=ein,
fahren:=rechts,
KranPos:=halde,
pos0:=leer</label></transition><transition><source ref="id1"/><target ref="id4"/><label kind="guard" x="356" y="66">fahren==aus</label><label kind="assignment" x="356" y="96">KranPos:=band0,
fahren:=links</label></transition><transition><source ref="id51"/><target ref="id51"/><label kind="assignment" x="16" y="216">fahrenband0:=ein,
pos0:=leer</label><nail x="128" y="256"/><nail x="48" y="256"/></transition><transition><source ref="id51"/><target ref="id52"/><label kind="guard" x="168" y="296">bandsensor==gelb</label><label kind="assignment" x="164" y="320">timer:=0</label></transition><transition><source ref="id52"/><target ref="id53"/><label kind="guard" x="368" y="296">timer>=bandvorlauf</label><label kind="assignment" x="336" y="320">kranprogramm:=gelb,
fahrenband0:=aus,
pos0:=gelb</label></transition><transition><source ref="id53"/><target ref="id51"/><label kind="guard" x="280" y="216">kranprogramm==leer,
fahren==aus</label><label kind="assignment" x="288" y="256">pos0:=leer</label><nail x="512" y="256"/><nail x="192" y="256"/></transition><transition><source ref="id51"/><target ref="id55"/><label kind="guard" x="160" y="352">bandsensor==schwarz</label><label kind="assignment" x="164" y="368">timer:=0</label></transition><transition><source ref="id55"/><target ref="id57"/><label kind="guard" x="328" y="424">timer>=bandvorlauf,
bandsensor!=gelb</label><label kind="assignment" x="344" y="464">kranprogramm:=schwarz,
fahrenband0:=aus,
pos0:=schwarz</label></transition><transition><source ref="id57"/><target ref="id51"/><label kind="guard" x="136" y="472">kranprogramm==leer,
fahren==aus</label><label kind="assignment" x="152" y="512">pos0:=leer</label><nail x="128" y="512"/></transition><transition><source ref="id55"/><target ref="id58"/><label kind="guard" x="488" y="376">timer>=bandvorlauf,
bandsensor==gelb</label><label kind="assignment" x="656" y="352">kranprogramm:=aufhalde,
fahrenband0:=aus,
pos0:=schwarz</label></transition><transition><source ref="id58"/><target ref="id59"/><label kind="guard" x="840" y="512">kranprogramm==leer,
fahren==aus</label><label kind="assignment" x="840" y="544">pos0:=leer</label></transition><transition><source ref="id59"/><target ref="id60"/><label kind="guard" x="664" y="648">bandsensor==gelb</label><label kind="assignment" x="660" y="672">timer:=0</label></transition><transition><source ref="id60"/><target ref="id61"/><label kind="guard" x="384" y="648">timer>=bandvorlauf</label><label kind="assignment" x="376" y="672">kranprogramm:=gelb,
fahrenband0:=aus,
pos0:=gelb</label></transition><transition><source ref="id61"/><target ref="id59"/><label kind="guard" x="464" y="736">kranprogramm==leer,
fahren==aus</label><label kind="assignment" x="464" y="768">pos0:=leer</label><nail x="352" y="736"/><nail x="704" y="736"/></transition><transition><source ref="id2"/><target ref="id62"/><label kind="guard" x="384" y="556">bandsensor!=gelb</label><label kind="assignment" x="360" y="576">kranprogramm:=vonhalde,
fahrenband0:=aus</label><nail x="576" y="576"/></transition><transition><source ref="id4"/><target ref="id51"/><label kind="guard" x="360" y="152">fahren==aus</label><label kind="assignment" x="344" y="168">fahrenband0:=ein</label><nail x="512" y="192"/><nail x="192" y="192"/></transition><transition><source ref="id62"/><target ref="id51"/><label kind="guard" x="104" y="576">kranprogramm==leer,
fahren==aus</label><label kind="assignment" x="104" y="608">pos0:=leer</label><nail x="88" y="576"/><nail x="88" y="320"/></transition><transition><source ref="id59"/><target ref="id2"/><label kind="guard" x="664" y="576">bandsensor==leer</label><label kind="assignment" x="712" y="600">pos0:=leer</label></transition><transition><source ref="id59"/><target ref="id2"/><label kind="guard" x="640" y="456">bandsensor==schwarz</label><label kind="assignment" x="664" y="480">pos0:=schwarz</label><nail x="800" y="480"/><nail x="608" y="480"/></transition><transition><source ref="id59"/><target ref="id59"/><label kind="assignment" x="824" y="736">fahrenband0:=ein,
pos0:=leer</label><nail x="896" y="672"/><nail x="896" y="736"/><nail x="832" y="736"/></transition></template>
  <template><name x="5" y="5">Kran</name><parameter x="5" y="20"/><declaration/><location id="id11" x="128" y="192"><name x="136" y="160">Band2</name></location><location id="id12" x="128" y="432"><name x="72" y="408">Band1</name></location><location id="id13" x="128" y="672"><name x="72" y="648">Band0</name></location><location id="id14" x="128" y="800"><name x="144" y="768">Halde</name></location><location id="id15" x="-288" y="192"><name x="-298" y="162">B10</name></location><location id="id16" x="128" y="288"><name x="118" y="258">B1</name></location><location id="id17" x="128" y="360"><name x="118" y="330">B2</name></location><location id="id19" x="128" y="512"><name x="118" y="482">B3</name></location><location id="id20" x="128" y="592"><name x="118" y="562">B4</name></location><location id="id23" x="128" y="736"><name x="118" y="706">B5</name></location><location id="id24" x="416" y="512"><name x="406" y="482">B7</name></location><location id="id25" x="416" y="592"><name x="406" y="562">B6</name></location><location id="id28" x="384" y="352"><name x="392" y="328">B8</name></location><location id="id29" x="384" y="288"><name x="392" y="256">B9</name></location><init ref="id13"/><transition><source ref="id11"/><target ref="id15"/><label kind="guard" x="-140" y="162">KranPos==halde</label><label kind="assignment" x="-140" y="192">fahren:=rechts</label></transition><transition><source ref="id15"/><target ref="id14"/><label kind="guard" x="-256" y="776">kransensor==gelb</label><nail x="-288" y="800"/></transition><transition><source ref="id11"/><target ref="id16"/><label kind="guard" x="-40" y="216">KranPos==band1</label><label kind="assignment" x="-24" y="232">fahren:=rechts</label><nail x="80" y="240"/></transition><transition><source ref="id11"/><target ref="id11"/><label kind="guard" x="24" y="64">KranPos==band2</label><label kind="assignment" x="40" y="88">fahren:=aus</label><nail x="128" y="88"/><nail x="40" y="88"/><nail x="40" y="160"/></transition><transition><source ref="id16"/><target ref="id17"/><label kind="guard" x="-24" y="304">kransensor!=schwarz</label></transition><transition><source ref="id17"/><target ref="id12"/><label kind="guard" x="-24" y="368">kransensor==schwarz</label></transition><transition><source ref="id11"/><target ref="id16"/><label kind="guard" x="184" y="216">KranPos==band0</label><label kind="assignment" x="184" y="232">fahren:=rechts</label><nail x="176" y="240"/></transition><transition><source ref="id12"/><target ref="id19"/><label kind="guard" x="0" y="456">KranPos==band0</label><label kind="assignment" x="16" y="472">fahren:=rechts</label></transition><transition><source ref="id19"/><target ref="id20"/><label kind="guard" x="-24" y="540">kransensor!=schwarz</label></transition><transition><source ref="id20"/><target ref="id13"/><label kind="guard" x="-32" y="604">kransensor==schwarz</label></transition><transition><source ref="id13"/><target ref="id15"/><label kind="guard" x="-184" y="648">KranPos==halde</label><label kind="assignment" x="-184" y="672">fahren:=rechts</label><nail x="-256" y="672"/></transition><transition><source ref="id12"/><target ref="id15"/><label kind="guard" x="-208" y="408">KranPos==halde</label><label kind="assignment" x="-208" y="432">fahren:=rechts</label><nail x="-224" y="432"/></transition><transition><source ref="id14"/><target ref="id23"/><label kind="guard" x="0" y="744">KranPos!=halde</label><label kind="assignment" x="8" y="760">fahren:=links</label></transition><transition><source ref="id23"/><target ref="id13"/><label kind="guard" x="-32" y="688">kransensor==schwarz</label></transition><transition><source ref="id13"/><target ref="id25"/><label kind="guard" x="424" y="624">KranPos==band1</label><label kind="assignment" x="424" y="640">fahren:=links</label><nail x="416" y="672"/></transition><transition><source ref="id13"/><target ref="id25"/><label kind="guard" x="208" y="616">KranPos==band2</label><label kind="assignment" x="212" y="632">fahren:=links</label></transition><transition><source ref="id25"/><target ref="id24"/><label kind="guard" x="424" y="544">kransensor!=schwarz</label></transition><transition><source ref="id24"/><target ref="id12"/><label kind="guard" x="208" y="512">kransensor==schwarz</label><nail x="192" y="512"/></transition><transition><source ref="id12"/><target ref="id28"/><label kind="guard" x="160" y="360">KranPos==band2</label><label kind="assignment" x="160" y="376">fahren:=links</label></transition><transition><source ref="id28"/><target ref="id29"/><label kind="guard" x="232" y="312">kransensor!=schwarz</label></transition><transition><source ref="id29"/><target ref="id11"/><label kind="guard" x="208" y="152">kransensor==schwarz</label><nail x="384" y="192"/></transition><transition><source ref="id14"/><target ref="id14"/><label kind="guard" x="248" y="816">KranPos==halde</label><label kind="assignment" x="248" y="832">fahren:=aus</label><nail x="232" y="800"/><nail x="232" y="872"/><nail x="128" y="872"/></transition><transition><source ref="id13"/><target ref="id13"/><label kind="guard" x="240" y="712">KranPos==band0</label><label kind="assignment" x="248" y="736">fahren:=aus</label><nail x="384" y="704"/><nail x="384" y="736"/><nail x="224" y="736"/></transition><transition><source ref="id12"/><target ref="id12"/><label kind="guard" x="208" y="432">KranPos==band1</label><label kind="assignment" x="232" y="448">fahren:=aus</label><nail x="360" y="432"/><nail x="360" y="480"/><nail x="216" y="480"/></transition></template><template><name x="5" y="5">Kransensor</name><parameter x="5" y="20"/><declaration/><location id="id21" x="32" y="128"/><location id="id22" x="160" y="128"/><location id="id26" x="320" y="128"/><location id="id27" x="448" y="128"/><location id="id30" x="640" y="128"/><location id="id31" x="768" y="128"/><location id="id32" x="928" y="128"/><init ref="id30"/><transition><source ref="id30"/><target ref="id31"/><label kind="guard" x="648" y="88">fahren==rechts</label><label kind="assignment" x="648" y="96">kransensor:=leer</label></transition><transition><source ref="id31"/><target ref="id32"/><label kind="guard" x="792" y="88">fahren==rechts</label><label kind="assignment" x="792" y="96">kransensor:=gelb</label></transition><transition><source ref="id27"/><target ref="id30"/><label kind="guard" x="488" y="88">fahren==rechts</label><label kind="assignment" x="472" y="96">kransensor:=schwarz</label><nail x="512" y="128"/></transition><transition><source ref="id26"/><target ref="id27"/><label kind="guard" x="336" y="88">fahren==rechts</label><label kind="assignment" x="328" y="96">kransensor:=leer</label></transition><transition><source ref="id22"/><target ref="id26"/><label kind="guard" x="184" y="88">fahren==rechts</label><label kind="assignment" x="160" y="96">kransensor:=schwarz</label></transition><transition><source ref="id21"/><target ref="id22"/><label kind="guard" x="40" y="88">fahren==rechts</label><label kind="assignment" x="32" y="96">kransensor:=leer</label></transition><transition><source ref="id32"/><target ref="id31"/><label kind="guard" x="808" y="160">fahren==links</label><label kind="assignment" x="808" y="176">kransensor:=leer</label><nail x="904" y="144"/><nail x="848" y="160"/></transition><transition><source ref="id31"/><target ref="id30"/><label kind="guard" x="656" y="160">fahren==links</label><label kind="assignment" x="656" y="176">kransensor:=schwarz</label><nail x="704" y="160"/></transition><transition><source ref="id30"/><target ref="id27"/><label kind="guard" x="488" y="160">fahren==links</label><label kind="assignment" x="488" y="176">kransensor:=leer</label><nail x="536" y="160"/></transition><transition><source ref="id27"/><target ref="id26"/><label kind="guard" x="328" y="160">fahren==links</label><label kind="assignment" x="312" y="176">kransensor:=schwarz</label><nail x="384" y="160"/></transition><transition><source ref="id26"/><target ref="id22"/><label kind="guard" x="184" y="160">fahren==links</label><label kind="assignment" x="168" y="176">kransensor:=leer</label><nail x="232" y="160"/></transition><transition><source ref="id22"/><target ref="id21"/><label kind="guard" x="40" y="160">fahren==links</label><label kind="assignment" x="32" y="176">kransensor:=schwarz</label><nail x="96" y="160"/></transition></template><template><name x="5" y="5">Bandsensor</name><parameter x="5" y="20"/><declaration/><location id="id34" x="128" y="96"/><location id="id35" x="672" y="96"/><location id="id5" x="672" y="344"/><location id="id10" x="672" y="616"/><init ref="id34"/><transition><source ref="id34"/><target ref="id35"/><label kind="guard" x="336" y="56">fahrenband0==ein</label><label kind="assignment" x="336" y="72">bandsensor:=schwarz</label></transition><transition><source ref="id34"/><target ref="id5"/><label kind="guard" x="340" y="190">fahrenband0==ein</label><label kind="assignment" x="340" y="220">bandsensor:=gelb</label></transition><transition><source ref="id34"/><target ref="id10"/><label kind="guard" x="340" y="326">fahrenband0==ein</label><label kind="assignment" x="340" y="356">bandsensor:=leer</label></transition><transition><source ref="id35"/><target ref="id34"/><label kind="guard" x="856" y="72">fahrenband0==aus</label><nail x="1088" y="96"/><nail x="1088" y="992"/><nail x="64" y="992"/><nail x="64" y="96"/></transition><transition><source ref="id5"/><target ref="id34"/><label kind="guard" x="816" y="312">fahrenband0==aus</label><nail x="784" y="344"/><nail x="1024" y="344"/><nail x="1024" y="920"/><nail x="104" y="920"/><nail x="104" y="176"/></transition><transition><source ref="id10"/><target ref="id34"/><label kind="guard" x="768" y="576">fahrenband0==aus</label><nail x="960" y="616"/><nail x="960" y="840"/><nail x="128" y="840"/></transition></template><template><name x="5" y="5">Kranprogramm</name><parameter x="5" y="20"/><declaration/><location id="id36" x="256" y="160"><name x="246" y="130">I</name></location><location id="id37" x="576" y="160"><name x="566" y="130">G1</name></location><location id="id38" x="576" y="256"><name x="566" y="226">S1</name></location><location id="id39" x="576" y="384"><name x="566" y="354">AH1</name></location><location id="id40" x="576" y="512"><name x="566" y="482">VH1</name></location><location id="id41" x="736" y="160"><name x="726" y="130">G2</name></location><location id="id42" x="896" y="160"><name x="886" y="130">G3</name></location><location id="id43" x="736" y="256"><name x="726" y="226">S2</name></location><location id="id44" x="896" y="256"><name x="886" y="226">S3</name></location><location id="id45" x="736" y="384"><name x="726" y="354">AH2</name></location><location id="id46" x="896" y="384"><name x="886" y="354">AH3</name></location><location id="id47" x="736" y="512"><name x="726" y="482">VH2</name></location><location id="id48" x="896" y="512"><name x="886" y="482">VH3</name></location><location id="id49" x="896" y="640"><name x="912" y="632">VH4</name></location><location id="id50" x="736" y="640"><name x="704" y="648">VH5</name></location><init ref="id36"/><transition><source ref="id36"/><target ref="id37"/><label kind="guard" x="356" y="130">kranprogramm==gelb</label><label kind="assignment" x="356" y="160">kranmagnet:=ein</label></transition><transition><source ref="id36"/><target ref="id38"/><label kind="guard" x="360" y="192">kranprogramm==schwarz</label><label kind="assignment" x="400" y="208">kranmagnet:=ein</label></transition><transition><source ref="id36"/><target ref="id39"/><label kind="guard" x="408" y="304">kranprogramm==aufhalde</label><label kind="assignment" x="448" y="312">kranmagnet:=ein</label></transition><transition><source ref="id36"/><target ref="id40"/><label kind="guard" x="336" y="352">kranprogramm==vonhalde</label></transition><transition><source ref="id37"/><target ref="id41"/><label kind="assignment" x="596" y="160">KranPos:=band1</label></transition><transition><source ref="id41"/><target ref="id42"/><label kind="guard" x="760" y="136">fahren==aus</label><label kind="assignment" x="752" y="160">kranmagnet:=aus</label><nail x="752" y="160"/></transition><transition><source ref="id42"/><target ref="id36"/><label kind="assignment" x="536" y="56">KranPos:=band0,
kranprogramm:=leer</label><nail x="832" y="96"/><nail x="320" y="96"/></transition><transition><source ref="id38"/><target ref="id43"/><label kind="assignment" x="596" y="256">KranPos:=band2</label><nail x="600" y="256"/></transition><transition><source ref="id43"/><target ref="id44"/><label kind="guard" x="768" y="232">fahren==aus</label><label kind="assignment" x="756" y="256">kranmagnet:=aus</label></transition><transition><source ref="id44"/><target ref="id36"/><label kind="assignment" x="648" y="320">KranPos:=band0,
kranprogramm:=leer</label><nail x="832" y="320"/><nail x="576" y="320"/></transition><transition><source ref="id39"/><target ref="id45"/><label kind="assignment" x="596" y="384">KranPos:=halde</label></transition><transition><source ref="id45"/><target ref="id46"/><label kind="guard" x="776" y="360">fahren==aus</label><label kind="assignment" x="756" y="384">kranmagnet:=aus</label></transition><transition><source ref="id46"/><target ref="id36"/><label kind="assignment" x="656" y="448">KranPos:=band0,
kranprogramm:=leer</label><nail x="832" y="448"/><nail x="576" y="448"/></transition><transition><source ref="id40"/><target ref="id47"/><label kind="assignment" x="596" y="512">KranPos:=halde</label></transition><transition><source ref="id47"/><target ref="id48"/><label kind="guard" x="768" y="488">fahren==aus</label><label kind="assignment" x="756" y="512">kranmagnet:=ein</label></transition><transition><source ref="id48"/><target ref="id49"/><label kind="assignment" x="836" y="576">KranPos:=band1</label></transition><transition><source ref="id49"/><target ref="id50"/><label kind="guard" x="756" y="610">fahren==aus</label><label kind="assignment" x="756" y="640">kranmagnet:=aus</label></transition><transition><source ref="id50"/><target ref="id36"/><label kind="assignment" x="320" y="536">KranPos:=band0,
kranprogramm:=leer</label><nail x="480" y="640"/></transition></template><instantiation>//Insert process assignments.
</instantiation>
  <system>//Edit system definition.
system Hauptprogramm, Kran, Kransensor, Kranprogramm, Bandsensor;</system>
</nta>
