<?xml version="1.0" encoding="iso-8859-1"?>
<sspaceex xmlns="http://www-verimag.imag.fr/xml-namespaces/sspaceex" version="0.2" math="SpaceEx">
  <component id="rod_reactor">
    <param name="x" type="real" local="false" d1="1" d2="1" dynamics="any" />
    <param name="c1" type="real" local="false" d1="1" d2="1" dynamics="any" />
    <param name="c2" type="real" local="false" d1="1" d2="1" dynamics="any" />
    <location id="1" name="rod_1" x="364.0" y="170.0" width="136.0" height="132.0">
      <invariant>x&gt;=510</invariant>
      <flow>x' == 0.1*x - 56 &amp;
c1' == 1 &amp;
c2' == 1</flow>
    </location>
    <location id="2" name="rod_2" x="643.0" y="173.0" width="146.0" height="132.0">
      <invariant>x&gt;=510</invariant>
      <flow>x' == 0.1*x - 60 &amp;
c1' == 1 &amp;
c2' == 1</flow>
    </location>
    <location id="3" name="no_rods" x="500.0" y="420.0" width="144.0" height="134.0">
      <invariant>x&lt;=550</invariant>
      <flow>x' == 0.1*x - 50 &amp;
c1' == 1 &amp;
c2' == 1</flow>
    </location>
    <location id="4" name="shutdown" x="498.0" y="595.0">
      <invariant>x &lt; 0 &amp;
x &gt; 0</invariant>
    </location>
    <transition source="3" target="1">
      <guard>x == 550 &amp;
c1 &gt;= 20</guard>
      <labelposition x="-97.0" y="-27.0" width="90.0" height="70.0" />
      <middlepoint x="382.0" y="311.0" />
    </transition>
    <transition source="3" target="2">
      <guard>x==550 &amp;
c2&gt;=20</guard>
      <labelposition x="15.0" y="-24.0" width="110.0" height="68.0" />
      <middlepoint x="634.5" y="319.5" />
    </transition>
    <transition source="1" target="3">
      <guard>x==510</guard>
      <assignment>c1=0</assignment>
      <labelposition x="11.0" y="-37.0" />
      <middlepoint x="443.0" y="283.0" />
    </transition>
    <transition source="2" target="3">
      <guard>x==510</guard>
      <assignment>c2=0</assignment>
      <labelposition x="-4.0" y="-27.0" width="72.0" height="60.0" />
      <middlepoint x="554.5" y="288.5" />
    </transition>
    <transition source="3" target="4">
      <guard>x==550 &amp;
c1 &lt; 20 &amp;
c2 &lt; 20</guard>
      <labelposition x="-52.0" y="-31.0" width="206.0" height="86.0" />
    </transition>
  </component>
  <component id="system">
    <param name="x" type="real" local="false" d1="1" d2="1" dynamics="any" controlled="true" />
    <param name="c1" type="real" local="false" d1="1" d2="1" dynamics="any" controlled="true" />
    <param name="c2" type="real" local="false" d1="1" d2="1" dynamics="any" controlled="true" />
    <bind component="rod_reactor" as="rod_reactor_1">
      <map key="x">x</map>
      <map key="c1">c1</map>
      <map key="c2">c2</map>
    </bind>
  </component>
</sspaceex>

