<?xml version="1.0" encoding="UTF-8"?>
<net name="Data_Receiver_2Phase" type="iopt-flow">
  <event id="Delay" x="380" y="340" mode="input"/>
  <signal id="Ack" x="505" y="275" mode="output" type="boolean" min="0" max="1" dynamic="none" frac="0" value="0"/>
  <signal id="Req" x="165" y="415" mode="input" type="boolean" min="0" max="1"/>
  <operation id="o023" x="840" y="260" rot="0" shape="arrow" size="32">
    <name off_x="-27" off_y="-32" text="o023"/>
    <input off_x="-32" off_y="-16" name="t072" id="o023.t072" type="event" dynamic="all"/>
    <input off_x="-32" off_y="0" name="InData" id="o023.InData" type="range" min="0" max="255" dynamic="all" frac="0"/>
    <input off_x="-32" off_y="16" name="InternalData" id="o023.InternalData" type="range" min="0" max="255" dynamic="all" frac="0"/>
    <output off_x="32" off_y="0" name="out" id="o023.out" type="range" min="0" max="255" dynamic="type" frac="0">
      <expression>
        <operand type="signal" idRef="InData"/>
        <operator type="when"/>
        <operand type="sub-expression">
          <operand type="signal" idRef="t072"/>
        </operand>
        <text>InData WHEN (t072)</text>
      </expression>
      <expression>
        <operand type="signal" idRef="InternalData" delay="1"/>
        <text>InternalData[-1]</text>
      </expression>
    </output>
  </operation>
  <signal id="InternalData" x="935" y="260" mode="internal" type="range" min="0" max="255" frac="0" value="0" dynamic="none"/>
  <signal id="OutData" x="1020" y="260" mode="output" type="range" min="0" max="255" dynamic="none" frac="0" value="0"/>
  <signal id="InData" x="720" y="260" mode="input" type="range" min="0" max="255" frac="0" value="0" dynamic="none"/>
  <arc id="a027" type="read" source="InData" target="o023.InData"/>
  <arc id="a028" type="read" source="InternalData" target="o023.InternalData" view="symbolic"/>
  <arc id="a029" type="read" source="o023.out" target="InternalData"/>
  <arc id="a030" type="read" source="InternalData" target="OutData"/>
  <signal id="NewData" x="650" y="400" mode="output" type="boolean" min="0" max="1" dynamic="none" frac="0" value="0"/>
  <transition id="t034" x="380" y="220" priority="0">
    <name off_x="-10" off_y="-10" text="t034"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <transition id="t035" x="630" y="220" priority="0">
    <name off_x="-10" off_y="-10" text="t035"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <place id="p036" x="505" y="220" init_marking="0">
    <name off_x="-10" off_y="-10" text="Ack+"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <arc id="a037" type="normal" source="t034" target="p036"/>
  <arc id="a038" type="normal" source="p036" target="t035"/>
  <arc id="a039" type="read" source="p036" target="Ack"/>
  <transition id="t044" x="430" y="415" priority="0">
    <name off_x="-10" off_y="-10" text="t044"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <place id="p045" x="500" y="415" init_marking="0">
    <name off_x="-10" off_y="-10" text="ReqReceived"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <arc id="a047" type="read" source="t072" target="t034" c2_x="0" c2_y="55" c1_x="0" c1_y="0"/>
  <arc id="a048" type="read" source="t072" target="t035" c2_x="0" c2_y="55" c1_x="0" c1_y="0"/>
  <arc id="a051" type="normal" source="p045" target="t072"/>
  <arc id="a052" type="normal" source="t044" target="p045"/>
  <arc id="a055" type="read" source="Delay" target="t072"/>
  <operation id="o056" x="295" y="415" rot="0" shape="arrow" size="16">
    <name off_x="-11" off_y="-16" text="o056"/>
    <input off_x="-16" off_y="0" name="Req" id="o056.Req" type="boolean" min="0" max="1" dynamic="all"/>
    <output off_x="16" off_y="0" name="out" id="o056.out" type="range" min="-32768" max="32767" dynamic="type" frac="0">
      <expression>
        <operand type="literal" value="1"/>
        <operator type="when"/>
        <operand type="sub-expression">
          <operand type="sub-expression">
            <operand type="signal" idRef="Req"/>
            <operator type="equal"/>
            <operand type="literal" value="0"/>
            <operator type="and"/>
            <operand type="signal" idRef="Req" delay="1"/>
            <operator type="equal"/>
            <operand type="literal" value="1"/>
          </operand>
          <operator type="or"/>
          <operand type="sub-expression">
            <operand type="signal" idRef="Req"/>
            <operator type="equal"/>
            <operand type="literal" value="1"/>
            <operator type="and"/>
            <operand type="signal" idRef="Req" delay="1"/>
            <operator type="equal"/>
            <operand type="literal" value="0"/>
          </operand>
        </operand>
        <text>1 WHEN ((Req = 0 AND Req[-1] = 1) OR (Req = 1 AND Req[-1] = 0))</text>
      </expression>
      <expression>
        <operand type="literal" value="0"/>
        <text>0 OTHERWISE</text>
      </expression>
    </output>
  </operation>
  <arc id="a057" type="read" source="Req" target="o056.Req"/>
  <arc id="a058" type="read" source="o056.out" target="t044"/>
  <transition id="t072" x="500" y="340" priority="0">
    <name off_x="-10" off_y="-10" text="t072"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <place id="p094" x="650" y="340" init_marking="0">
    <name off_x="-10" off_y="-10" text="DataReady"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <arc id="a095" type="normal" source="t072" target="p094"/>
  <arc id="a096" type="read" source="p094" target="NewData"/>
  <transition id="t097" x="815" y="340" priority="0">
    <name off_x="-10" off_y="-10" text="t097"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <arc id="a098" type="normal" source="p094" target="t097"/>
  <place id="p040" x="505" y="155" init_marking="1">
    <name off_x="-10" off_y="-10" text="Ack-"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <arc id="a041" type="normal" source="p040" target="t034"/>
  <arc id="a042" type="normal" source="t035" target="p040"/>
  <place id="p043" x="650" y="460" init_marking="1">
    <name off_x="-10" off_y="-10" text="DataReady_cmpl"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <arc id="a044" type="normal" source="p043" target="t072"/>
  <arc id="a045" type="normal" source="t097" target="p043"/>
  <event id="Release" x="900" y="340" mode="input"/>
  <arc id="a049" type="read" source="Release" target="t097"/>
  <arc id="a009" type="read" source="t072" target="o023.t072" c1_x="110" c1_y="-20" c2_x="-138" c2_y="-9"/>
</net>
