<?xml version="1.0"?>
<net name="PN_exercise2" type="iopt-flow">
  <place id="p001" x="530" y="70" init_marking="1">
    <name off_x="-10" off_y="-10" text="p001"/>
    <comment off_x="0" off_y="20" text="-"/>
  </place>
  <place id="p002" x="530" y="190" init_marking="0">
    <name off_x="-10" off_y="-10" text="p002"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </place>
  <place id="p003" x="535" y="305" init_marking="0">
    <name off_x="-10" off_y="-10" text="p003"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </place>
  <place id="p004" x="540" y="440" init_marking="0">
    <name off_x="-10" off_y="-10" text="p004"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </place>
  <transition id="t005" x="530" y="130" priority="0">
    <name off_x="-10" off_y="-10" text="t005"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <transition id="t006" x="530" y="245" priority="0">
    <name off_x="-10" off_y="-10" text="t006"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <transition id="t007" x="535" y="370" priority="0">
    <name off_x="-10" off_y="-10" text="t007"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <transition id="t008" x="420" y="270" priority="0">
    <name off_x="-10" off_y="-10" text="t008"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <transition id="t009" x="780" y="200" priority="0">
    <name off_x="-10" off_y="-10" text="t009"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <transition id="t010" x="635" y="60" priority="0">
    <name off_x="-10" off_y="-10" text="t010"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <transition id="t011" x="590" y="135" priority="0">
    <name off_x="-10" off_y="-10" text="t011"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <transition id="t012" x="610" y="305" priority="0">
    <name off_x="-10" off_y="-10" text="t012"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <arc id="a013" type="normal" source="p001" target="t005"/>
  <arc id="a014" type="normal" source="t005" target="p002"/>
  <arc id="a015" type="normal" source="p002" target="t006"/>
  <arc id="a016" type="normal" source="t006" target="p003"/>
  <arc id="a017" type="normal" source="p003" target="t007"/>
  <arc id="a018" type="normal" source="t007" target="p004"/>
  <arc id="a019" type="normal" source="p001" target="t010"/>
  <arc id="a020" type="normal" source="t010" target="p001"/>
  <arc id="a021" type="normal" source="p002" target="t011"/>
  <arc id="a022" type="normal" source="t011" target="p001"/>
  <arc id="a023" type="normal" source="t012" target="p003"/>
  <arc id="a024" type="normal" source="p003" target="t012"/>
  <arc id="a025" type="normal" source="p004" target="t008"/>
  <arc id="a027" type="normal" source="t008" target="p002"/>
  <arc id="a028" type="normal" source="p004" target="t009"/>
  <arc id="a029" type="normal" source="t009" target="p001"/>
  <operation id="o039" x="715" y="25" rot="0" shape="rect" size="20">
    <name off_x="-15" off_y="-20" text="o039"/>
    <input name="IN" id="o039.IN" type="boolean" min="0" max="1" dynamic="all" off_x="-25" off_y="0"/>
    <output off_x="20" off_y="0" name="out" id="o039.out" type="range" min="0" max="1" frac="0">
      <expression>
        <operand type="signal" idRef="IN" neg="true"/>
        <text>NOT(IN)</text>
      </expression>
    </output>
  </operation>
  <signal id="IN" x="315" y="40" mode="input" type="boolean" min="0" max="1"/>
  <arc id="a041" type="read" source="IN" target="t005"/>
  <arc id="a042" type="read" source="IN" target="t006"/>
  <arc id="a043" type="read" source="IN" target="t008"/>
  <arc id="a044" type="read" source="IN" target="t012"/>
  <arc id="a045" type="read" source="IN" target="o039.IN"/>
  <arc id="a046" type="read" source="o039.out" target="t010"/>
  <arc id="a047" type="read" source="o039.out" target="t011"/>
  <arc id="a048" type="read" source="o039.out" target="t007"/>
  <arc id="a049" type="read" source="o039.out" target="t009"/>
  <transition id="t001" x="610" y="440" priority="0">
    <name off_x="-10" off_y="-10" text="t001"/>
    <comment off_x="-10" off_y="20" text="-"/>
  </transition>
  <arc id="a002" type="read" source="p004" target="t001"/>
  <signal id="s003" x="695" y="440" mode="output" type="range" dynamic="none" min="0" max="1" frac="0" value="0"/>
  <arc id="a004" type="read" source="t001" target="s003"/>
</net>
