<?xml version="1.0"?>
<net name="SPMS2" type="iopt-flow">
  <place id="p001" x="500" y="140" init_marking="1">
    <name off_x="-10" off_y="-10" text="p001"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <place id="p002" x="505" y="300" init_marking="0">
    <name off_x="-10" off_y="-10" text="p002"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </place>
  <operation id="o003" x="540" y="445" rot="0" shape="rect" size="50">
    <name off_x="-36" off_y="-50" text="o003"/>
    <input name="p002" id="o003.p002" type="range" min="0" max="3" frac="0" dynamic="name" off_x="-61" off_y="0"/>
    <output off_x="50" off_y="0" name="out2" id="o003.out2" type="range" min="0" max="1" frac="0">
      <expression>
        <operand type="signal" idRef="p002"/>
        <operator type="equal"/>
        <operand type="literal" value="2"/>
        <text>p002 = 2</text>
      </expression>
    </output>
    <output name="out1" id="o003.out1" type="range" min="0" max="1" frac="0" off_x="50" off_y="-25">
      <expression>
        <operand type="signal" idRef="p002"/>
        <operator type="equal"/>
        <operand type="literal" value="3"/>
        <text>p002 = 3</text>
      </expression>
    </output>
    <output name="out3" id="o003.out3" type="range" min="0" max="1" frac="0" off_x="50" off_y="20">
      <expression>
        <operand type="signal" idRef="p002"/>
        <operator type="equal"/>
        <operand type="literal" value="1"/>
        <text>p002 = 1</text>
      </expression>
    </output>
  </operation>
  <arc id="a004" type="read" source="p002" target="o003.p002"/>
  <signal id="s009" x="830" y="155" mode="input" type="boolean" min="0" max="1"/>
  <transition id="t010" x="715" y="410" priority="0">
    <name off_x="-10" off_y="-10" text="t010"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <transition id="t011" x="715" y="460" priority="0">
    <name off_x="-10" off_y="-10" text="t011"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <transition id="t012" x="695" y="300" priority="0">
    <name off_x="-10" off_y="-10" text="t012"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <arc id="a013" type="read" source="o003.out1" target="t010"/>
  <arc id="a014" type="read" source="o003.out2" target="t011"/>
  <arc id="a015" type="read" source="o003.out3" target="t012"/>
  <arc id="a016" type="read" source="s009" target="t010"/>
  <arc id="a017" type="read" source="s009" target="t012"/>
  <arc id="a018" type="normal" source="t012" target="p002" weight="2"/>
  <transition id="t019" x="505" y="220" priority="0">
    <name off_x="-10" off_y="-10" text="t019"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <arc id="a020" type="normal" source="p001" target="t019"/>
  <arc id="a021" type="normal" source="t019" target="p002" weight="3"/>
  <arc id="a022" type="read" source="s009" target="t019"/>
  <arc id="a023" type="normal" source="p002" target="t010"/>
  <operation id="o024" x="865" y="285" rot="0" shape="rect" size="20">
    <name off_x="-15" off_y="-20" text="o024"/>
    <input name="s009" id="o024.s009" type="range" min="0" max="1" frac="0" dynamic="name" off_x="-25" off_y="0"/>
    <output off_x="20" off_y="0" name="out" id="o024.out" type="range" min="0" max="1" frac="0">
      <expression>
        <operand type="signal" idRef="s009"/>
        <operator type="equal"/>
        <operand type="literal" value="0"/>
        <text>s009 = 0</text>
      </expression>
    </output>
  </operation>
  <arc id="a025" type="read" source="s009" target="o024.s009"/>
  <arc id="a026" type="read" source="o024.out" target="t011"/>
  <transition id="t027" x="755" y="120" priority="0">
    <name off_x="-10" off_y="-10" text="t027"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <arc id="a028" type="read" source="o003.out3" target="t027"/>
  <arc id="a029" type="read" source="o024.out" target="t027"/>
  <arc id="a030" type="normal" source="p002" target="t027"/>
  <arc id="a031" type="normal" source="t027" target="p001"/>
  <transition id="t032" x="635" y="55" priority="0">
    <name off_x="-10" off_y="-10" text="t032"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <arc id="a033" type="read" source="o003.out1" target="t032"/>
  <arc id="a034" type="read" source="o024.out" target="t032"/>
  <arc id="a035" type="normal" source="p002" target="t032" weight="3"/>
  <arc id="a036" type="normal" source="t032" target="p001"/>
  <arc id="a037" type="normal" source="p002" target="t011"/>
  <transition id="t038" x="675" y="505" priority="0">
    <name off_x="-10" off_y="-10" text="t038"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <arc id="a039" type="read" source="o003.out3" target="t038"/>
  <signal id="s040" x="760" y="510" mode="output" type="range" dynamic="none" min="0" max="1" frac="0" value="0"/>
  <arc id="a041" type="read" source="t038" target="s040"/>
</net>
