<?xml version="1.0" encoding="UTF-8"?>
<net name="Simple_Transmitter_4Phase" type="iopt-flow">
  <signal id="Ack" x="740" y="175" mode="input" type="boolean" min="0" max="1"/>
  <event id="Delay" x="585" y="250" mode="input"/>
  <signal id="Req" x="590" y="115" mode="output" type="range" min="0" max="255" dynamic="type" frac="0"/>
  <signal id="Available" x="455" y="325" mode="output" type="range" min="0" max="255" dynamic="type" frac="0"/>
  <place id="p017" x="590" y="175" 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="660" y="250" 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="530" y="175" priority="0">
    <name off_x="-10" off_y="-10" text="t019"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <transition id="t020" x="660" y="175" priority="0">
    <name off_x="-10" off_y="-10" text="t020"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <transition id="t021" x="660" y="325" priority="0">
    <name off_x="-10" off_y="-10" text="t021"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <place id="p022" x="530" y="325" init_marking="1">
    <name off_x="-10" off_y="-10" text="AllowCom"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <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="a028" type="normal" source="t021" target="p022"/>
  <arc id="a029" type="normal" source="p022" target="t019"/>
  <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="725" y="325" 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"/>
  <arc id="a047" type="read" source="p022" target="Available"/>
  <event id="Load" x="455" y="175" mode="input"/>
  <arc id="a002" type="read" source="Load" target="t019"/>
</net>
