<?xml version="1.0"?>
<net name="SPMS1" type="iopt-flow">
  <place id="p001" x="400" y="260" init_marking="3">
    <name off_x="-10" off_y="-10" text="p001"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <transition id="t002" x="400" y="160" priority="0">
    <name off_x="-10" off_y="-10" text="t002"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <transition id="t003" x="400" y="350" priority="0">
    <name off_x="-10" off_y="-10" text="t003"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <arc id="a004" type="normal" source="t002" target="p001" weight="3"/>
  <arc id="a005" type="normal" source="p001" target="t003"/>
  <operation id="o008" x="495" y="255" rot="0" shape="rect" size="20">
    <name off_x="-15" off_y="-20" text="o008"/>
    <input name="p001" id="o008.p001" type="range" min="0" max="3" frac="0" dynamic="name" off_x="-25" off_y="0"/>
    <output off_x="20" off_y="0" name="out" id="o008.out" type="range" min="0" max="1" dynamic="none" frac="0">
      <expression>
        <operand type="signal" idRef="p001"/>
        <operator type="equal"/>
        <operand type="literal" value="1"/>
        <text>p001 = 1</text>
      </expression>
    </output>
  </operation>
  <arc id="a009" type="read" source="p001" target="o008.p001"/>
  <transition id="t010" x="600" y="255" priority="0">
    <name off_x="-10" off_y="-10" text="t010"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <arc id="a011" type="read" source="o008.out" target="t010"/>
  <arc id="a012" type="read" source="t010" target="t002"/>
</net>
