From 68cb9e071b3311644e96f0de15043fa63e93c269 Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Mon, 20 Apr 2020 09:47:47 +0200
Subject: [PATCH] pnml file for the haddadin automaton

---
 .../resources/haddadin_automaton_flat.pnml    | 777 ++++++++++++++++++
 1 file changed, 777 insertions(+)
 create mode 100644 src/main/resources/haddadin_automaton_flat.pnml

diff --git a/src/main/resources/haddadin_automaton_flat.pnml b/src/main/resources/haddadin_automaton_flat.pnml
new file mode 100644
index 0000000..1048cf4
--- /dev/null
+++ b/src/main/resources/haddadin_automaton_flat.pnml
@@ -0,0 +1,777 @@
+<?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.0" y="-68.0"/>
+          </graphics>
+          <text>Autonomous Mode</text>
+        </name>
+        <graphics>
+          <position x="452.0" y="128.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+        <initialMarking>
+          <toolspecific tool="org.pnml.tool" version="1.0">
+            <tokengraphics>
+              <tokenposition x="-2.0" y="-2.0"/>
+              <tokenposition x="2.0" y="0.0"/>
+              <tokenposition x="-2.0" y="2.0"/>
+            </tokengraphics>
+          </toolspecific>
+          <graphics>
+            <fill color="#ffffff"/>
+            <line shape="line" color="#000000" width="1.0"/>
+            <offset x="-68.0" y="-32.0"/>
+            <font family="Ubuntu" size="9pt"/>
+          </graphics>
+          <text>1</text>
+        </initialMarking>
+      </place>
+      <place id="CM">
+        <name>
+          <graphics>
+            <offset x="-152.0" y="-44.0"/>
+          </graphics>
+          <text>Collaboration Mode</text>
+        </name>
+        <graphics>
+          <position x="272.0" y="332.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </place>
+      <place id="HFM">
+        <name>
+          <graphics>
+            <offset x="22.0" y="-72.0"/>
+          </graphics>
+          <text>Human-Friendly Mode</text>
+        </name>
+        <graphics>
+          <position x="650.0" y="324.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </place>
+      <place id="wasAM">
+        <name>
+          <graphics>
+            <offset x="-32.0" y="88.0"/>
+          </graphics>
+          <text>WasInAutonomousMode</text>
+        </name>
+        <graphics>
+          <position x="1016.0" y="440.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </place>
+      <place id="wasHFM">
+        <name>
+          <graphics>
+            <offset x="18.0" y="21.0"/>
+          </graphics>
+          <text>WasInHumanFriendlyMode</text>
+        </name>
+        <graphics>
+          <position x="763.0" y="492.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </place>
+      <place id="FRM">
+        <name>
+          <graphics>
+            <offset x="-128.0" y="4.0"/>
+          </graphics>
+          <text>Fault Reaction Mode</text>
+        </name>
+        <graphics>
+          <position x="464.0" y="500.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </place>
+      <place id="wasCM">
+        <name>
+          <graphics>
+            <offset x="-104.0" y="64.0"/>
+          </graphics>
+          <text>WasInCollaborationMode</text>
+        </name>
+        <graphics>
+          <position x="176.0" y="512.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </place>
+      <transition id="Am2Cm">
+        <graphics>
+          <position x="320.0" y="176.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </transition>
+      <arc id="a1" source="AM" target="Am2Cm">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="454.0" y="126.0"/>
+          <position x="365.0" y="184.0"/>
+        </graphics>
+      </arc>
+      <arc id="a2" source="Am2Cm" target="CM">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="320.0" y="176.0"/>
+          <position x="284.0" y="237.0"/>
+        </graphics>
+      </arc>
+      <transition id="Cm2Am">
+        <graphics>
+          <position x="404.0" y="248.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </transition>
+      <arc id="a3" source="CM" target="Cm2Am">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="271.0" y="312.0"/>
+          <position x="359.0" y="308.0"/>
+        </graphics>
+      </arc>
+      <arc id="a4" source="Cm2Am" target="AM">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="404.0" y="248.0"/>
+          <position x="432.0" y="111.0"/>
+        </graphics>
+      </arc>
+      <transition id="Am2Hfm">
+        <graphics>
+          <position x="608.0" y="188.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </transition>
+      <arc id="a5" source="Am2Hfm" target="HFM">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="608.0" y="188.0"/>
+          <position x="598.0" y="263.0"/>
+        </graphics>
+      </arc>
+      <arc id="a6" source="AM" target="Am2Hfm">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="445.0" y="127.0"/>
+          <position x="593.0" y="135.0"/>
+        </graphics>
+      </arc>
+      <transition id="Hfm2Am">
+        <graphics>
+          <position x="536.0" y="224.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </transition>
+      <arc id="a7" source="HFM" target="Hfm2Am">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="650.0" y="324.0"/>
+          <position x="575.0" y="281.0"/>
+        </graphics>
+      </arc>
+      <arc id="a8" source="Hfm2Am" target="AM">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="536.0" y="224.0"/>
+          <position x="478.0" y="130.0"/>
+        </graphics>
+      </arc>
+      <transition id="Cm2Hfm">
+        <graphics>
+          <position x="458.0" y="303.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </transition>
+      <arc id="a9" source="CM" target="Cm2Hfm">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="264.0" y="333.0"/>
+          <position x="429.0" y="309.0"/>
+        </graphics>
+      </arc>
+      <arc id="a10" source="Cm2Hfm" target="HFM">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="458.0" y="303.0"/>
+          <position x="623.0" y="326.0"/>
+        </graphics>
+      </arc>
+      <transition id="Hfm2Cm">
+        <graphics>
+          <position x="463.0" y="361.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </transition>
+      <arc id="a11" source="HFM" target="Hfm2Cm">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="623.0" y="328.0"/>
+          <position x="448.0" y="366.0"/>
+        </graphics>
+      </arc>
+      <arc id="a12" source="Hfm2Cm" target="CM">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="463.0" y="361.0"/>
+          <position x="293.0" y="347.0"/>
+        </graphics>
+      </arc>
+      <transition id="Cm2Fm">
+        <graphics>
+          <position x="295.0" y="430.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </transition>
+      <arc id="a13" source="CM" target="Cm2Fm">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="273.0" y="325.0"/>
+          <position x="268.0" y="390.0"/>
+        </graphics>
+      </arc>
+      <arc id="a28" source="Cm2Fm" target="wasCM">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="295.0" y="430.0"/>
+          <position x="182.0" y="492.0"/>
+        </graphics>
+      </arc>
+      <arc id="a29" source="Cm2Fm" target="FRM">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="295.0" y="430.0"/>
+          <position x="430.0" y="471.0"/>
+        </graphics>
+      </arc>
+      <transition id="Fm2Cm">
+        <graphics>
+          <position x="339.0" y="632.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </transition>
+      <arc id="a14" source="wasCM" target="Fm2Cm">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="175.0" y="511.0"/>
+          <position x="327.0" y="592.0"/>
+        </graphics>
+      </arc>
+      <arc id="a15" source="FRM" target="Fm2Cm">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="464.0" y="499.0"/>
+          <position x="356.0" y="601.0"/>
+        </graphics>
+      </arc>
+      <arc id="a16" source="Fm2Cm" target="CM">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="315.0" y="629.0"/>
+          <position x="8.0" y="592.0"/>
+          <position x="254.0" y="326.0"/>
+        </graphics>
+      </arc>
+      <transition id="Hfm2Fm">
+        <graphics>
+          <position x="637.0" y="425.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </transition>
+      <arc id="a17" source="HFM" target="Hfm2Fm">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="652.0" y="329.0"/>
+          <position x="652.0" y="402.0"/>
+        </graphics>
+      </arc>
+      <arc id="a17" source="Hfm2Fm" target="FRM">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="637.0" y="425.0"/>
+          <position x="492.0" y="465.0"/>
+        </graphics>
+      </arc>
+      <arc id="a18" source="Hfm2Fm" target="wasHFM">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="637.0" y="425.0"/>
+          <position x="725.0" y="469.0"/>
+        </graphics>
+      </arc>
+      <transition id="Fm2Hfm">
+        <graphics>
+          <position x="637.0" y="577.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </transition>
+      <arc id="a19" source="wasHFM" target="Fm2Hfm">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="731.0" y="483.0"/>
+          <position x="623.0" y="577.0"/>
+        </graphics>
+      </arc>
+      <arc id="a20" source="FRM" target="Fm2Hfm">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="457.0" y="497.0"/>
+          <position x="613.0" y="577.0"/>
+        </graphics>
+      </arc>
+      <arc id="a21" source="Fm2Hfm" target="HFM">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="642.0" y="574.0"/>
+          <position x="693.0" y="544.0"/>
+          <position x="644.0" y="321.0"/>
+        </graphics>
+      </arc>
+      <transition id="Am2Fm">
+        <graphics>
+          <position x="972.0" y="261.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </transition>
+      <arc id="a22" source="AM" target="Am2Fm">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="456.0" y="107.0"/>
+          <position x="729.0" y="100.0"/>
+          <position x="937.0" y="227.0"/>
+        </graphics>
+      </arc>
+      <arc id="a23" source="Am2Fm" target="wasAM">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="973.0" y="264.0"/>
+          <position x="1028.0" y="404.0"/>
+        </graphics>
+      </arc>
+      <arc id="a24" source="Am2Fm" target="FRM">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="972.0" y="261.0"/>
+          <position x="944.0" y="525.0"/>
+          <position x="584.0" y="693.0"/>
+          <position x="493.0" y="514.0"/>
+        </graphics>
+      </arc>
+      <transition id="Fm2Am">
+        <graphics>
+          <position x="714.0" y="758.0"/>
+          <dimension x="40.0" y="40.0"/>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <fill color="#ffffff"/>
+        </graphics>
+      </transition>
+      <arc id="a25" source="FRM" target="Fm2Am">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="446.0" y="505.0"/>
+          <position x="448.0" y="514.0"/>
+          <position x="464.0" y="682.0"/>
+          <position x="674.0" y="727.0"/>
+        </graphics>
+      </arc>
+      <arc id="a26" source="wasAM" target="Fm2Am">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="988.0" y="434.0"/>
+          <position x="720.0" y="738.0"/>
+        </graphics>
+      </arc>
+      <arc id="a27" source="Fm2Am" target="AM">
+        <graphics>
+          <line shape="line" color="#b0b0b0" width="1.0"/>
+          <position x="715.0" y="757.0"/>
+          <position x="1073.0" y="580.0"/>
+          <position x="1109.0" y="376.0"/>
+          <position x="941.0" y="160.0"/>
+          <position x="761.0" y="64.0"/>
+          <position x="452.0" y="105.0"/>
+        </graphics>
+      </arc>
+    </page>
+  </net>
+</pnml>
-- 
GitLab