<?xml version="1.0" encoding="UTF-8"?>
<net name="Simple_Receiver_2Phase" type="iopt-flow">
  <place id="p003" x="430" y="350" init_marking="0">
    <name off_x="-10" off_y="-10" text="Ack+"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <transition id="t006" x="330" y="175" priority="0">
    <name off_x="-10" off_y="-10" text="t006"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <event id="Delay" x="330" y="105" mode="input"/>
  <arc id="a015" type="read" source="Delay" target="t006"/>
  <signal id="Ack" x="495" y="350" mode="output" type="boolean" min="0" max="1" dynamic="none" frac="0" value="0"/>
  <arc id="a017" type="read" source="p003" target="Ack"/>
  <signal id="Req" x="715" y="175" mode="input" type="boolean" min="0" max="1"/>
  <signal id="NewData" x="175" y="110" mode="output" type="boolean" min="0" max="1" dynamic="none" frac="0" value="0"/>
  <place id="p038" x="175" y="175" init_marking="0">
    <name off_x="-10" off_y="-10" text="DataReady"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <transition id="t040" x="175" y="355" priority="0">
    <name off_x="-10" off_y="-10" text="t040"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <arc id="a042" type="read" source="p038" target="NewData"/>
  <arc id="a046" type="normal" source="p038" target="t040"/>
  <arc id="a047" type="normal" source="t006" target="p038"/>
  <place id="p017" x="255" y="260" init_marking="1">
    <name off_x="-10" off_y="-10" text="DataReady_cmpl"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <arc id="a018" type="normal" source="t040" target="p017"/>
  <arc id="a019" type="normal" source="p017" target="t006"/>
  <operation id="o020" x="615" y="185" rot="-180" shape="arrow" size="16">
    <name off_x="-11" off_y="-16" text="o020"/>
    <input off_x="16" off_y="0" name="Req" id="o020.Req" type="boolean" min="0" max="1" dynamic="all"/>
    <output off_x="-16" off_y="0" name="out" id="o020.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="a021" type="read" source="Req" target="o020.Req"/>
  <transition id="t023" x="525" y="175" priority="0">
    <name off_x="-10" off_y="-10" text="t023"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <place id="p024" x="430" y="175" init_marking="0">
    <name off_x="-10" off_y="-10" text="ReqReceived"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <arc id="a025" type="read" source="o020.out" target="t023"/>
  <arc id="a026" type="normal" source="t023" target="p024"/>
  <arc id="a027" type="normal" source="p024" target="t006"/>
  <transition id="t028" x="375" y="275" priority="0">
    <name off_x="-10" off_y="-10" text="t028"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <transition id="t029" x="430" y="240" priority="0">
    <name off_x="-10" off_y="-10" text="t029"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <arc id="a030" type="read" source="t006" target="t028"/>
  <arc id="a031" type="read" source="t006" target="t029"/>
  <arc id="a032" type="normal" source="p003" target="t029"/>
  <arc id="a033" type="normal" source="t028" target="p003"/>
  <place id="p035" x="530" y="275" init_marking="1">
    <name off_x="-10" off_y="-10" text="Ack-"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <arc id="a036" type="normal" source="t029" target="p035"/>
  <arc id="a037" type="normal" source="p035" target="t028"/>
  <event id="Release" x="325" y="355" mode="input"/>
  <arc id="a035" type="read" source="Release" target="t040"/>
</net>
