<?xml version="1.0" encoding="UTF-8"?>
<net name="SimpleBuffer_Transmitter_4Phase" type="iopt-flow">
  <signal id="Ack" x="725" y="205" mode="input" type="boolean" min="0" max="1"/>
  <event id="Delay" x="720" y="295" mode="input"/>
  <signal id="Req" x="485" y="205" mode="output" type="range" min="0" max="255" dynamic="type" frac="0"/>
  <signal id="Available" x="485" y="380" mode="output" type="boolean" min="0" max="1" dynamic="type" frac="0"/>
  <place id="p017" x="550" y="205" init_marking="0">
    <name off_x="-10" off_y="-10" text="Req+"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <place id="p018" x="645" y="280" init_marking="0">
    <name off_x="-10" off_y="-10" text="Req-"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <transition id="t019" x="550" y="295" priority="0">
    <name off_x="-10" off_y="-10" text="t019"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <transition id="t020" x="645" y="205" priority="0">
    <name off_x="-10" off_y="-10" text="t020"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <transition id="t021" x="645" y="380" priority="0">
    <name off_x="-10" off_y="-10" text="t021"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <arc id="a024" type="normal" source="t019" target="p017"/>
  <arc id="a025" type="normal" source="p017" target="t020"/>
  <arc id="a026" type="normal" source="t020" target="p018"/>
  <arc id="a027" type="normal" source="p018" target="t021"/>
  <arc id="a030" type="read" source="p017" target="Req"/>
  <arc id="a031" type="read" source="Delay" target="t020"/>
  <arc id="a032" type="read" source="Delay" target="t021"/>
  <operation id="o033" x="710" y="380" rot="180" shape="arrow" size="16">
    <name off_x="-11" off_y="-16" text="o033"/>
    <input off_x="16" off_y="0" name="Ack" id="o033.Ack" type="boolean" min="0" max="1" dynamic="all"/>
    <output off_x="-16" off_y="0" name="out" id="o033.out" type="range" min="-32768" max="32767" dynamic="type" frac="0">
      <expression>
        <operand type="signal" idRef="Ack" neg="true"/>
        <text>NOT(Ack)</text>
      </expression>
    </output>
  </operation>
  <arc id="a034" type="read" source="Ack" target="t020"/>
  <arc id="a035" type="read" source="Ack" target="o033.Ack" c1_x="35" c1_y="10" c2_x="34" c2_y="-5"/>
  <arc id="a036" type="read" source="o033.out" target="t021"/>
  <place id="p001" x="550" y="380" init_marking="1">
    <name off_x="-10" off_y="-10" text="AllowCom"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <arc id="a002" type="normal" source="p001" target="t019"/>
  <transition id="t004" x="415" y="295" priority="0">
    <name off_x="-10" off_y="-10" text="t004"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <place id="p005" x="485" y="295" init_marking="0">
    <name off_x="-10" off_y="-10" text="Buffer"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <arc id="a008" type="normal" source="t004" target="p005"/>
  <arc id="a009" type="normal" source="p005" target="t019"/>
  <arc id="a010" type="normal" source="t021" target="p001"/>
  <signal id="BufferSize" x="273" y="388" mode="input" type="range" min="0" max="255" frac="0" value="0" dynamic="none"/>
  <operation id="o005" x="355" y="380" rot="0" shape="arrow" size="24">
    <name off_x="-19" off_y="-24" text="o005"/>
    <input off_x="-24" off_y="-8" name="p005" id="o005.p005" type="range" min="0" max="255" dynamic="all" frac="0"/>
    <input off_x="-24" off_y="8" name="Size" id="o005.Size" type="range" min="0" max="255" dynamic="all" frac="0"/>
    <output off_x="24" off_y="0" name="out" id="o005.out" type="boolean" min="0" max="1" dynamic="type" frac="0">
      <expression>
        <operand type="signal" idRef="p005"/>
        <operator type="less"/>
        <operand type="signal" idRef="Size"/>
        <text>p005 &lt; Size</text>
      </expression>
    </output>
  </operation>
  <arc id="a007" type="read" source="BufferSize" target="o005.Size"/>
  <arc id="a011" type="read" source="p005" target="o005.p005" view="symbolic"/>
  <arc id="a013" type="read" source="o005.out" target="t004" c1_x="26" c1_y="0" c2_x="0" c2_y="0"/>
  <event id="Load" x="345" y="295" mode="input"/>
  <arc id="a076" type="read" source="Load" target="t004"/>
  <arc id="a078" type="read" source="o005.out" target="Available"/>
  <signal id="Buffer" x="420" y="205" mode="output" type="range" min="0" max="255" dynamic="type" frac="0"/>
  <arc id="a003" type="read" source="p005" target="Buffer"/>
</net>
