-
Johannes Mey authored
the order of some child elements of 'graphics' is relevant. this is most certainly a bug in the pnml framework parser
Johannes Mey authoredthe order of some child elements of 'graphics' is relevant. this is most certainly a bug in the pnml framework parser
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>