Skip to content
Snippets Groups Projects
haddadin_automaton_flat.pnml 59.89 KiB
<?xml version="1.0" encoding="UTF-8"?>
<pnml xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns="http://www.pnml.org/version-2009/grammar/pnml">
  <net type="http://www.pnml.org/version-2009/grammar/ptnet" id="n1">
    <page id="TopLevel">
      <toolspecific tool="org.pnml.tools.epnk.diagraminfo" version="0.9.2">
        <diagram visible="true" type="PNMLCoreModel" element="TopLevel" name="Page null" measurementUnit="Pixel">
          <children xsi:type="notation:Shape" visible="true" type="2001" element="AM" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="432" y="108" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2001" element="CM" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="252" y="312" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2001" element="HFM" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="630" y="304" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2001" element="wasAM" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="996" y="420" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2001" element="wasHFM" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="743" y="472" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2001" element="FRM" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="444" y="480" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2001" element="wasCM" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="156" y="492" width="-1" height="-1"/>
          </children>
          <children visible="true" type="2009" element="//@net.0/@page.0/@labelproxy.0">
            <children xsi:type="notation:DecorationNode" visible="true" type="5004"/>
            <styles xsi:type="notation:DescriptionStyle" description=""/>
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <styles xsi:type="notation:FillStyle" fillColor="16777215" transparency="-1"/>
            <layoutConstraint xsi:type="notation:Bounds" x="504" y="60" width="97" height="13"/>
          </children>
          <children visible="true" type="2009" element="//@net.0/@page.0/@labelproxy.1">
            <children xsi:type="notation:DecorationNode" visible="true" type="5004"/>
            <styles xsi:type="notation:DescriptionStyle" description=""/>
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <styles xsi:type="notation:FillStyle" fillColor="16777215" transparency="-1"/>
            <layoutConstraint xsi:type="notation:Bounds" x="120" y="288" width="-1" height="13"/>
          </children>
          <children visible="true" type="2009" element="//@net.0/@page.0/@labelproxy.2">
            <children xsi:type="notation:DecorationNode" visible="true" type="5004"/>
            <styles xsi:type="notation:DescriptionStyle" description=""/>
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <styles xsi:type="notation:FillStyle" fillColor="16777215" transparency="-1"/>
            <layoutConstraint xsi:type="notation:Bounds" x="672" y="252" width="-1" height="-1"/>
          </children>
          <children visible="true" type="2009" element="//@net.0/@page.0/@labelproxy.3">
            <children xsi:type="notation:DecorationNode" visible="true" type="5004"/>
            <styles xsi:type="notation:DescriptionStyle" description=""/>
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <styles xsi:type="notation:FillStyle" fillColor="16777215" transparency="-1"/>
            <layoutConstraint xsi:type="notation:Bounds" x="336" y="504" width="-1" height="8"/>
          </children>
          <children visible="true" type="2009" element="//@net.0/@page.0/@labelproxy.4">
            <children xsi:type="notation:DecorationNode" visible="true" type="5004"/>
            <styles xsi:type="notation:DescriptionStyle" description=""/>
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <styles xsi:type="notation:FillStyle" fillColor="16777215" transparency="-1"/>
            <layoutConstraint xsi:type="notation:Bounds" x="72" y="576" width="109" height="13"/>
          </children>
          <children visible="true" type="2009" element="//@net.0/@page.0/@labelproxy.5">
            <children xsi:type="notation:DecorationNode" visible="true" type="5004"/>
            <styles xsi:type="notation:DescriptionStyle" description=""/>
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <styles xsi:type="notation:FillStyle" fillColor="16777215" transparency="-1"/>
            <layoutConstraint xsi:type="notation:Bounds" x="781" y="513" width="-1" height="-1"/>
          </children>
          <children visible="true" type="2009" element="//@net.0/@page.0/@labelproxy.6">
            <children xsi:type="notation:DecorationNode" visible="true" type="5004"/>
            <styles xsi:type="notation:DescriptionStyle" description=""/>
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <styles xsi:type="notation:FillStyle" fillColor="16777215" transparency="-1"/>
            <layoutConstraint xsi:type="notation:Bounds" x="984" y="528" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2003" element="Am2Cm" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="300" y="156" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2003" element="Cm2Am" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="384" y="228" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2003" element="Am2Hfm" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="588" y="168" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2003" element="Hfm2Am" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="516" y="204" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2003" element="Cm2Hfm" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="438" y="283" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2003" element="Hfm2Cm" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="443" y="341" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2003" element="Cm2Fm" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="275" y="410" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2003" element="Fm2Cm" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="319" y="612" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2003" element="Hfm2Fm" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="617" y="405" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2003" element="Fm2Hfm" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="617" y="557" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2003" element="Am2Fm" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="952" y="241" width="-1" height="-1"/>
          </children>
          <children xsi:type="notation:Shape" visible="true" type="2003" element="Fm2Am" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false" description="" fillColor="16777215" transparency="-1" lineColor="11579568" lineWidth="-1" roundedBendpointsRadius="0">
            <layoutConstraint xsi:type="notation:Bounds" x="694" y="738" width="-1" height="-1"/>
          </children>
          <children visible="true" type="2009" element="//@net.0/@page.0/@labelproxy.7">
            <children xsi:type="notation:DecorationNode" visible="true" type="5004"/>
            <styles xsi:type="notation:DescriptionStyle" description=""/>
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <styles xsi:type="notation:FillStyle" fillColor="16777215" transparency="-1"/>
            <layoutConstraint xsi:type="notation:Bounds" x="384" y="96" width="25" height="13"/>
          </children>
          <styles xsi:type="notation:DiagramStyle" pageX="0" pageY="0" pageWidth="100" pageHeight="100" description=""/>
          <edges xsi:type="notation:Connector" visible="true" type="4004" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.7" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.0" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <element xsi:nil="true"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[3, 2, 61, -1]$[-59, 17, -1, 14]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.2988505747126437,0.8181818181818182)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(1.0,0.0)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4004" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.8" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.1" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <element xsi:nil="true"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[-1, -1, 52, -1]$[-57, 0, -4, 0]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.011494252873563218,0.2727272727272727)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(1.0,0.225)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4004" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.9" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.2" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <element xsi:nil="true"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[0, 0, 81, 0]$[-89, 0, -8, 0]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.0,0.5454545454545454)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(1.0,0.1)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4004" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.10" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.5" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <element xsi:nil="true"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[6, 1, 75, -8]$[-81, 10, -12, 1]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.27586206896551724,0.9090909090909091)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(1.0,0.0)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4004" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.11" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.6" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <element xsi:nil="true"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[7, 11, 47, 11]$[-42, -13, -2, -13]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.0,0.0)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(1.0,1.0)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4004" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.12" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.4" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <element xsi:nil="true"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[8, 0, 29, 53]$[-26, -61, -5, -8]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.0,0.0)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(1.0,1.0)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4004" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.13" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.3" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <element xsi:nil="true"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[0, 3, 81, 35]$[-91, -36, -10, -4]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.0,0.0)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(1.0,1.0)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="a1" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.0" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.14" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[2, -2, 96, -78]$[-87, 56, 7, -20]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.0,0.775)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="a2" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.14" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.1" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[0, 0, 35, -67]$[-36, 61, -1, -6]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.0,0.5)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(0.475,0.15)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="a3" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.1" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.15" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[-1, -20, -108, 24]$[87, -24, -20, 20]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(1.0,0.9)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="a4" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.15" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.0" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[0, 0, -21, 155]$[28, -137, 7, 18]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(1.0,0.875)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="a5" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.16" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.2" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[0, 0, 3, -94]$[-10, 75, -7, -19]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.6,1.0)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="a6" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.0" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.16" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[-7, -1, -152, -12]$[141, 7, -4, -4]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(1.0,0.875)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(0.15,0.1)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.17" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.2" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.17" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[0, 0, 75, 47]$[-75, -43, 0, 4]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.0,0.575)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(0.525,0.9)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.18" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.17" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.0" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[0, 0, 64, 113]$[-58, -94, 6, 19]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.0,0.925)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.20" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.1" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.18" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[-8, 1, -174, 44]$[157, -23, -9, 20]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(1.0,0.85)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.21" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.18" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.2" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[0, 0, -172, -5]$[165, 23, -7, 18]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(1.0,0.9)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.23" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.2" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.19" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[-27, 4, 180, -18]$[-202, 42, 5, 20]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(1.0,0.875)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.24" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.19" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.1" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[0, 0, 170, 17]$[-170, -14, 0, 3]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.0,0.6)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(0.525,0.9)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.26" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.1" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.20" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[1, -7, 0, -72]$[-4, 58, -5, -7]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.85,1.0)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(0.3,0.175)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.27" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.20" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.6" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[0, 0, 133, -62]$[-113, 62, 20, 0]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.85,1.0)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.28" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.20" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.5" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[0, 0, -137, -42]$[135, 41, -2, -1]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.875,1.0)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(0.075,0.3)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.30" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.6" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.21" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[-1, -1, -155, -88]$[151, 80, -3, -7]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.6,1.0)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(0.375,0.175)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.31" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.5" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.21" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[0, -1, 113, -105]$[-108, 101, 5, -3]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.575,1.0)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(0.875,0.3)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.32" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.21" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.1" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[-24, -3, 47, 317]$[-331, -40, -260, 280]$[-85, -306, -14, 14]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.6,1.0)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.34" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.2" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.22" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[2, 5, 0, -73]$[2, 78, 0, 0]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.0,0.575)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(0.375,0.0)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.35" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.22" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.5" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[0, 0, 153, -59]$[-145, 40, 8, -19]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.0,0.9)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.36" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.22" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.4" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[0, 0, -94, -42]$[88, 44, -6, 2]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(1.0,0.85)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(0.175,0.625)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.38" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.4" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.23" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[-32, -9, 109, -74]$[-140, 85, 1, 20]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.875,1.0)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.39" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.5" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.23" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[-7, -3, -163, -60]$[149, 77, -7, 20]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.925,1.0)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.40" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.23" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.2" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[5, -3, -1, 257]$[56, -33, 50, 227]$[7, -256, 1, 4]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.875,1.0)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(0.7,0.825)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.42" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.0" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.24" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[4, -21, -487, -124]$[277, -28, -214, -131]$[485, 99, -6, -4]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.875,1.0)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(0.15,0.25)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.43" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.24" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.3" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[1, 3, -56, -143]$[56, 143, -1, -3]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.0,0.925)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(0.325,0.1)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.44" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.24" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.5" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[0, 0, 488, -236]$[-28, 264, 460, 28]$[-388, 432, 100, 196]$[-479, 253, 9, 17]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.0,0.575)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.46" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.5" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.25" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[-18, 5, -239, -225]$[-16, 14, -237, -216]$[0, 182, -221, -48]$[210, 227, -11, -3]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(1.0,0.85)"/>
            <targetAnchor xsi:type="notation:IdentityAnchor" id="(0.275,0.15)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.47" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.3" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.25" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[-28, -6, 288, -304]$[-296, 298, 20, 0]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.85,1.0)"/>
          </edges>
          <edges xsi:type="notation:Connector" visible="true" type="4001" element="//@net.0/@page.0/@object.48" source="//@net.0/@page.0/@toolspecific.0/@diagram/@children.25" target="//@net.0/@page.0/@toolspecific.0/@diagram/@children.0" roundedBendpointsRadius="0" routing="Manual" smoothness="None" avoidObstructions="false" closestDistance="false" jumpLinkStatus="None" jumpLinkType="Semicircle" jumpLinksReverse="false" lineColor="11579568" lineWidth="-1">
            <styles xsi:type="notation:FontStyle" fontColor="0" fontName="Ubuntu" fontHeight="9" bold="false" italic="false" underline="false" strikeThrough="false"/>
            <bendpoints xsi:type="notation:RelativeBendpoints" points="[1, -1, 282, 649]$[359, -178, 640, 472]$[395, -382, 676, 268]$[227, -598, 508, 52]$[47, -694, 328, -44]$[-262, -653, 19, -3]"/>
            <sourceAnchor xsi:type="notation:IdentityAnchor" id="(0.975,1.0)"/>
          </edges>
        </diagram>
        <labelProxy label="//@net.0/@page.0/@object.0/@name"/>
        <labelProxy label="//@net.0/@page.0/@object.1/@name"/>
        <labelProxy label="//@net.0/@page.0/@object.2/@name"/>
        <labelProxy label="//@net.0/@page.0/@object.5/@name"/>
        <labelProxy label="//@net.0/@page.0/@object.6/@name"/>
        <labelProxy label="//@net.0/@page.0/@object.4/@name"/>
        <labelProxy label="//@net.0/@page.0/@object.3/@name"/>
        <labelProxy label="//@net.0/@page.0/@object.0/@initialMarking"/>
      </toolspecific>
      <place id="AM">
        <name>
          <graphics>
            <offset x="52" y="-68"/>
          </graphics>
          <text>Autonomous Mode</text>
        </name>
        <graphics>
          <position x="452" y="128"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
        <initialMarking>
          <toolspecific tool="org.pnml.tool" version="1.0">
            <tokengraphics>
              <tokenposition x="-2" y="-2"/>
              <tokenposition x="2" y="0"/>
              <tokenposition x="-2" y="2"/>
            </tokengraphics>
          </toolspecific>
          <graphics>
            <offset x="-68" y="-32"/>
            <fill color="#ffffff"/>
            <line shape="line" color="#000000" width="1"/>
            <font family="Ubuntu" size="9pt"/>
          </graphics>
          <text>1</text>
        </initialMarking>
      </place>
      <place id="CM">
        <name>
          <graphics>
            <offset x="-152" y="-44"/>
          </graphics>
          <text>Collaboration Mode</text>
        </name>
        <graphics>
          <position x="272" y="332"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </place>
      <place id="HFM">
        <name>
          <graphics>
            <offset x="22" y="-72"/>
          </graphics>
          <text>Human-Friendly Mode</text>
        </name>
        <graphics>
          <position x="650" y="324"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </place>
      <place id="wasAM">
        <name>
          <graphics>
            <offset x="-32" y="88"/>
          </graphics>
          <text>WasInAutonomousMode</text>
        </name>
        <graphics>
          <position x="1016" y="440"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </place>
      <place id="wasHFM">
        <name>
          <graphics>
            <offset x="18" y="21"/>
          </graphics>
          <text>WasInHumanFriendlyMode</text>
        </name>
        <graphics>
          <position x="763" y="492"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </place>
      <place id="FRM">
        <name>
          <graphics>
            <offset x="-128" y="4"/>
          </graphics>
          <text>Fault Reaction Mode</text>
        </name>
        <graphics>
          <position x="464" y="500"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </place>
      <place id="wasCM">
        <name>
          <graphics>
            <offset x="-104" y="64"/>
          </graphics>
          <text>WasInCollaborationMode</text>
        </name>
        <graphics>
          <position x="176" y="512"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </place>
      <transition id="Am2Cm">
        <graphics>
          <position x="320" y="176"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </transition>
      <arc id="a1" source="AM" target="Am2Cm">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="454" y="126"/>
          <position x="365" y="184"/>
        </graphics>
      </arc>
      <arc id="a2" source="Am2Cm" target="CM">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="320" y="176"/>
          <position x="284" y="237"/>
        </graphics>
      </arc>
      <transition id="Cm2Am">
        <graphics>
          <position x="404" y="248"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </transition>
      <arc id="a3" source="CM" target="Cm2Am">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="271" y="312"/>
          <position x="359" y="308"/>
        </graphics>
      </arc>
      <arc id="a4" source="Cm2Am" target="AM">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="404" y="248"/>
          <position x="432" y="111"/>
        </graphics>
      </arc>
      <transition id="Am2Hfm">
        <graphics>
          <position x="608" y="188"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </transition>
      <arc id="a5" source="Am2Hfm" target="HFM">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="608" y="188"/>
          <position x="598" y="263"/>
        </graphics>
      </arc>
      <arc id="a6" source="AM" target="Am2Hfm">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="445" y="127"/>
          <position x="593" y="135"/>
        </graphics>
      </arc>
      <transition id="Hfm2Am">
        <graphics>
          <position x="536" y="224"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </transition>
      <arc id="a7" source="HFM" target="Hfm2Am">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="650" y="324"/>
          <position x="575" y="281"/>
        </graphics>
      </arc>
      <arc id="a8" source="Hfm2Am" target="AM">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="536" y="224"/>
          <position x="478" y="130"/>
        </graphics>
      </arc>
      <transition id="Cm2Hfm">
        <graphics>
          <position x="458" y="303"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </transition>
      <arc id="a9" source="CM" target="Cm2Hfm">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="264" y="333"/>
          <position x="429" y="309"/>
        </graphics>
      </arc>
      <arc id="a10" source="Cm2Hfm" target="HFM">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="458" y="303"/>
          <position x="623" y="326"/>
        </graphics>
      </arc>
      <transition id="Hfm2Cm">
        <graphics>
          <position x="463" y="361"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </transition>
      <arc id="a11" source="HFM" target="Hfm2Cm">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="623" y="328"/>
          <position x="448" y="366"/>
        </graphics>
      </arc>
      <arc id="a12" source="Hfm2Cm" target="CM">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="463" y="361"/>
          <position x="293" y="347"/>
        </graphics>
      </arc>
      <transition id="Cm2Fm">
        <graphics>
          <position x="295" y="430"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </transition>
      <arc id="a13" source="CM" target="Cm2Fm">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="273" y="325"/>
          <position x="268" y="390"/>
        </graphics>
      </arc>
      <arc id="a28" source="Cm2Fm" target="wasCM">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="295" y="430"/>
          <position x="182" y="492"/>
        </graphics>
      </arc>
      <arc id="a29" source="Cm2Fm" target="FRM">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="295" y="430"/>
          <position x="430" y="471"/>
        </graphics>
      </arc>
      <transition id="Fm2Cm">
        <graphics>
          <position x="339" y="632"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </transition>
      <arc id="a14" source="wasCM" target="Fm2Cm">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="175" y="511"/>
          <position x="327" y="592"/>
        </graphics>
      </arc>
      <arc id="a15" source="FRM" target="Fm2Cm">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="464" y="499"/>
          <position x="356" y="601"/>
        </graphics>
      </arc>
      <arc id="a16" source="Fm2Cm" target="CM">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="315" y="629"/>
          <position x="8" y="592"/>
          <position x="254" y="326"/>
        </graphics>
      </arc>
      <transition id="Hfm2Fm">
        <graphics>
          <position x="637" y="425"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </transition>
      <arc id="a17" source="HFM" target="Hfm2Fm">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="652" y="329"/>
          <position x="652" y="402"/>
        </graphics>
      </arc>
      <arc id="a17" source="Hfm2Fm" target="FRM">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="637" y="425"/>
          <position x="492" y="465"/>
        </graphics>
      </arc>
      <arc id="a18" source="Hfm2Fm" target="wasHFM">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="637" y="425"/>
          <position x="725" y="469"/>
        </graphics>
      </arc>
      <transition id="Fm2Hfm">
        <graphics>
          <position x="637" y="577"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </transition>
      <arc id="a19" source="wasHFM" target="Fm2Hfm">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="731" y="483"/>
          <position x="623" y="577"/>
        </graphics>
      </arc>
      <arc id="a20" source="FRM" target="Fm2Hfm">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="457" y="497"/>
          <position x="613" y="577"/>
        </graphics>
      </arc>
      <arc id="a21" source="Fm2Hfm" target="HFM">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="642" y="574"/>
          <position x="693" y="544"/>
          <position x="644" y="321"/>
        </graphics>
      </arc>
      <transition id="Am2Fm">
        <graphics>
          <position x="972" y="261"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </transition>
      <arc id="a22" source="AM" target="Am2Fm">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="456" y="107"/>
          <position x="729" y="100"/>
          <position x="937" y="227"/>
        </graphics>
      </arc>
      <arc id="a23" source="Am2Fm" target="wasAM">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="973" y="264"/>
          <position x="1028" y="404"/>
        </graphics>
      </arc>
      <arc id="a24" source="Am2Fm" target="FRM">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="972" y="261"/>
          <position x="944" y="525"/>
          <position x="584" y="693"/>
          <position x="493" y="514"/>
        </graphics>
      </arc>
      <transition id="Fm2Am">
        <graphics>
          <position x="714" y="758"/>
          <dimension x="40" y="40"/>
          <line shape="line" color="#b0b0b0" width="1"/>
          <fill color="#ffffff"/>
        </graphics>
      </transition>
      <arc id="a25" source="FRM" target="Fm2Am">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="446" y="505"/>
          <position x="448" y="514"/>
          <position x="464" y="682"/>
          <position x="674" y="727"/>
        </graphics>
      </arc>
      <arc id="a26" source="wasAM" target="Fm2Am">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="988" y="434"/>
          <position x="720" y="738"/>
        </graphics>
      </arc>
      <arc id="a27" source="Fm2Am" target="AM">
        <graphics>
          <line shape="line" color="#b0b0b0" width="1"/>
          <position x="715" y="757"/>
          <position x="1073" y="580"/>
          <position x="1109" y="376"/>
          <position x="941" y="160"/>
          <position x="761" y="64"/>
          <position x="452" y="105"/>
        </graphics>
      </arc>
    </page>
  </net>
</pnml>