<?xml version="1.0" encoding="UTF-8"?>
<notation:Diagram xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:umlbMetamodel="http:///umlbMetamodel.ecore" xmi:id="_DCNqIPiUEd-iypiSAEXb_w" type="StateDiagram" measurementUnit="Pixel">
  <children xmi:type="notation:Node" xmi:id="_Dq1JUPiUEd-iypiSAEXb_w" type="1001">
    <children xmi:type="notation:Node" xmi:id="_Dq1JVviUEd-iypiSAEXb_w" type="4002"/>
    <children xmi:type="notation:Node" xmi:id="_Dq1wYPiUEd-iypiSAEXb_w" type="5001">
      <styles xmi:type="notation:DrawerStyle" xmi:id="_Dq1wYfiUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:TitleStyle" xmi:id="_Dq1wYviUEd-iypiSAEXb_w" showTitle="true"/>
      <styles xmi:type="notation:SortingStyle" xmi:id="_Dq1wY_iUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:FilteringStyle" xmi:id="_Dq1wZPiUEd-iypiSAEXb_w"/>
    </children>
    <children xmi:type="notation:Node" xmi:id="_Dq1wZfiUEd-iypiSAEXb_w" type="5002">
      <children xmi:type="notation:Node" xmi:id="_fIP7EDmrEeCli4pncyNrhA" type="2003">
        <element xmi:type="umlbMetamodel:UMLBPredicate" href="pw1.umlb#_fILCkDmrEeCli4pncyNrhA"/>
        <layoutConstraint xmi:type="notation:Location" xmi:id="_fIP7ETmrEeCli4pncyNrhA"/>
      </children>
      <styles xmi:type="notation:DrawerStyle" xmi:id="_Dq1wZviUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:TitleStyle" xmi:id="_Dq1wZ_iUEd-iypiSAEXb_w" showTitle="true"/>
      <styles xmi:type="notation:SortingStyle" xmi:id="_Dq1waPiUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:FilteringStyle" xmi:id="_Dq1wafiUEd-iypiSAEXb_w"/>
    </children>
    <children xmi:type="notation:Node" xmi:id="_Dq1waviUEd-iypiSAEXb_w" type="5003">
      <styles xmi:type="notation:DrawerStyle" xmi:id="_Dq1wa_iUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:TitleStyle" xmi:id="_Dq1wbPiUEd-iypiSAEXb_w" showTitle="true"/>
      <styles xmi:type="notation:SortingStyle" xmi:id="_Dq1wbfiUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:FilteringStyle" xmi:id="_Dq1wbviUEd-iypiSAEXb_w"/>
    </children>
    <styles xmi:type="notation:FontStyle" xmi:id="_Dq1JUfiUEd-iypiSAEXb_w" fontName="Lucida Grande"/>
    <styles xmi:type="notation:DescriptionStyle" xmi:id="_Dq1JUviUEd-iypiSAEXb_w"/>
    <styles xmi:type="notation:FillStyle" xmi:id="_Dq1JU_iUEd-iypiSAEXb_w"/>
    <styles xmi:type="notation:LineStyle" xmi:id="_Dq1JVPiUEd-iypiSAEXb_w"/>
    <element xmi:type="umlbMetamodel:UMLBState" href="pw1.umlb#_Dqxe8PiUEd-iypiSAEXb_w"/>
    <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Dq1JVfiUEd-iypiSAEXb_w" x="220" y="40"/>
  </children>
  <children xmi:type="notation:Node" xmi:id="_F4RRQPiUEd-iypiSAEXb_w" type="1001">
    <children xmi:type="notation:Node" xmi:id="_F4R4UPiUEd-iypiSAEXb_w" type="4002"/>
    <children xmi:type="notation:Node" xmi:id="_F4R4UfiUEd-iypiSAEXb_w" type="5001">
      <styles xmi:type="notation:DrawerStyle" xmi:id="_F4R4UviUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:TitleStyle" xmi:id="_F4R4U_iUEd-iypiSAEXb_w" showTitle="true"/>
      <styles xmi:type="notation:SortingStyle" xmi:id="_F4R4VPiUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:FilteringStyle" xmi:id="_F4R4VfiUEd-iypiSAEXb_w"/>
    </children>
    <children xmi:type="notation:Node" xmi:id="_F4R4VviUEd-iypiSAEXb_w" type="5002">
      <children xmi:type="notation:Node" xmi:id="_ARyqoDmzEeCCpMiKl1zSUQ" type="2003">
        <element xmi:type="umlbMetamodel:UMLBPredicate" href="pw1.umlb#_ARqHwDmzEeCCpMiKl1zSUQ"/>
        <layoutConstraint xmi:type="notation:Location" xmi:id="_ARyqoTmzEeCCpMiKl1zSUQ"/>
      </children>
      <styles xmi:type="notation:DrawerStyle" xmi:id="_F4R4V_iUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:TitleStyle" xmi:id="_F4R4WPiUEd-iypiSAEXb_w" showTitle="true"/>
      <styles xmi:type="notation:SortingStyle" xmi:id="_F4R4WfiUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:FilteringStyle" xmi:id="_F4R4WviUEd-iypiSAEXb_w"/>
    </children>
    <children xmi:type="notation:Node" xmi:id="_F4SfYPiUEd-iypiSAEXb_w" type="5003">
      <styles xmi:type="notation:DrawerStyle" xmi:id="_F4SfYfiUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:TitleStyle" xmi:id="_F4SfYviUEd-iypiSAEXb_w" showTitle="true"/>
      <styles xmi:type="notation:SortingStyle" xmi:id="_F4SfY_iUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:FilteringStyle" xmi:id="_F4SfZPiUEd-iypiSAEXb_w"/>
    </children>
    <styles xmi:type="notation:FontStyle" xmi:id="_F4RRQfiUEd-iypiSAEXb_w" fontName="Lucida Grande"/>
    <styles xmi:type="notation:DescriptionStyle" xmi:id="_F4RRQviUEd-iypiSAEXb_w"/>
    <styles xmi:type="notation:FillStyle" xmi:id="_F4RRQ_iUEd-iypiSAEXb_w"/>
    <styles xmi:type="notation:LineStyle" xmi:id="_F4RRRPiUEd-iypiSAEXb_w"/>
    <element xmi:type="umlbMetamodel:UMLBState" href="pw1.umlb#_F4Nm4PiUEd-iypiSAEXb_w"/>
    <layoutConstraint xmi:type="notation:Bounds" xmi:id="_F4RRRfiUEd-iypiSAEXb_w" x="108" y="208"/>
  </children>
  <children xmi:type="notation:Node" xmi:id="_HRREgPiUEd-iypiSAEXb_w" type="1001">
    <children xmi:type="notation:Node" xmi:id="_HRRrkPiUEd-iypiSAEXb_w" type="4002"/>
    <children xmi:type="notation:Node" xmi:id="_HRRrkfiUEd-iypiSAEXb_w" type="5001">
      <styles xmi:type="notation:DrawerStyle" xmi:id="_HRRrkviUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:TitleStyle" xmi:id="_HRRrk_iUEd-iypiSAEXb_w" showTitle="true"/>
      <styles xmi:type="notation:SortingStyle" xmi:id="_HRRrlPiUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:FilteringStyle" xmi:id="_HRRrlfiUEd-iypiSAEXb_w"/>
    </children>
    <children xmi:type="notation:Node" xmi:id="_HRRrlviUEd-iypiSAEXb_w" type="5002">
      <children xmi:type="notation:Node" xmi:id="_xojioDmtEeCli4pncyNrhA" type="2003">
        <element xmi:type="umlbMetamodel:UMLBPredicate" href="pw1.umlb#_xof4QDmtEeCli4pncyNrhA"/>
        <layoutConstraint xmi:type="notation:Location" xmi:id="_xojioTmtEeCli4pncyNrhA"/>
      </children>
      <styles xmi:type="notation:DrawerStyle" xmi:id="_HRRrl_iUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:TitleStyle" xmi:id="_HRRrmPiUEd-iypiSAEXb_w" showTitle="true"/>
      <styles xmi:type="notation:SortingStyle" xmi:id="_HRRrmfiUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:FilteringStyle" xmi:id="_HRRrmviUEd-iypiSAEXb_w"/>
    </children>
    <children xmi:type="notation:Node" xmi:id="_HRRrm_iUEd-iypiSAEXb_w" type="5003">
      <styles xmi:type="notation:DrawerStyle" xmi:id="_HRRrnPiUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:TitleStyle" xmi:id="_HRRrnfiUEd-iypiSAEXb_w" showTitle="true"/>
      <styles xmi:type="notation:SortingStyle" xmi:id="_HRRrnviUEd-iypiSAEXb_w"/>
      <styles xmi:type="notation:FilteringStyle" xmi:id="_HRRrn_iUEd-iypiSAEXb_w"/>
    </children>
    <styles xmi:type="notation:FontStyle" xmi:id="_HRREgfiUEd-iypiSAEXb_w" fontName="Lucida Grande"/>
    <styles xmi:type="notation:DescriptionStyle" xmi:id="_HRREgviUEd-iypiSAEXb_w"/>
    <styles xmi:type="notation:FillStyle" xmi:id="_HRREg_iUEd-iypiSAEXb_w"/>
    <styles xmi:type="notation:LineStyle" xmi:id="_HRREhPiUEd-iypiSAEXb_w"/>
    <element xmi:type="umlbMetamodel:UMLBState" href="pw1.umlb#_HRP2YPiUEd-iypiSAEXb_w"/>
    <layoutConstraint xmi:type="notation:Bounds" xmi:id="_HRREhfiUEd-iypiSAEXb_w" x="440" y="208"/>
  </children>
  <children xmi:type="notation:Node" xmi:id="_J1JWgPiUEd-iypiSAEXb_w" type="1002">
    <styles xmi:type="notation:FontStyle" xmi:id="_J1JWgfiUEd-iypiSAEXb_w" fontName="Lucida Grande"/>
    <styles xmi:type="notation:DescriptionStyle" xmi:id="_J1JWgviUEd-iypiSAEXb_w"/>
    <styles xmi:type="notation:FillStyle" xmi:id="_J1JWg_iUEd-iypiSAEXb_w"/>
    <styles xmi:type="notation:LineStyle" xmi:id="_J1JWhPiUEd-iypiSAEXb_w"/>
    <element xmi:type="umlbMetamodel:UMLBState" href="pw1.umlb#_J1IIYPiUEd-iypiSAEXb_w"/>
    <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J1JWhfiUEd-iypiSAEXb_w" x="32" y="36"/>
  </children>
  <children xmi:type="notation:Node" xmi:id="_OJVIgPiUEd-iypiSAEXb_w" type="1003">
    <styles xmi:type="notation:FontStyle" xmi:id="_OJVIgfiUEd-iypiSAEXb_w" fontName="Lucida Grande"/>
    <styles xmi:type="notation:DescriptionStyle" xmi:id="_OJVIgviUEd-iypiSAEXb_w"/>
    <styles xmi:type="notation:FillStyle" xmi:id="_OJVIg_iUEd-iypiSAEXb_w"/>
    <styles xmi:type="notation:LineStyle" xmi:id="_OJVIhPiUEd-iypiSAEXb_w"/>
    <element xmi:type="umlbMetamodel:UMLBState" href="pw1.umlb#_OJTTUPiUEd-iypiSAEXb_w"/>
    <layoutConstraint xmi:type="notation:Bounds" xmi:id="_OJVIhfiUEd-iypiSAEXb_w" x="632" y="352"/>
  </children>
  <children xmi:type="notation:Node" xmi:id="_NTalcPiaEd-iypiSAEXb_w" type="1200">
    <styles xmi:type="notation:FontStyle" xmi:id="_NTalcfiaEd-iypiSAEXb_w" fontName="Lucida Grande"/>
    <styles xmi:type="notation:DescriptionStyle" xmi:id="_NTalcviaEd-iypiSAEXb_w"/>
    <styles xmi:type="notation:FillStyle" xmi:id="_NTalc_iaEd-iypiSAEXb_w"/>
    <styles xmi:type="notation:LineStyle" xmi:id="_NTaldPiaEd-iypiSAEXb_w"/>
    <element xmi:type="umlbMetamodel:UMLBState" href="pw1.umlb#_NTYwQPiaEd-iypiSAEXb_w"/>
    <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NTaldfiaEd-iypiSAEXb_w" x="392" y="344"/>
  </children>
  <children xmi:type="notation:Shape" xmi:id="_1lkN8TmxEeCCpMiKl1zSUQ" type="Note" fontName="Lucida Grande" description="The invariant in Dn_Stepwise is different from that of the original Event-B model because I removed the action to increase timer_auto_dn from EC_Normal_EntryToDownStepwise" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
    <children xmi:type="notation:BasicDecorationNode" xmi:id="_1lnRQDmxEeCCpMiKl1zSUQ" type="DiagramName">
      <element xsi:nil="true"/>
    </children>
    <children xmi:type="notation:BasicDecorationNode" xmi:id="_1lnRQTmxEeCCpMiKl1zSUQ" type="Description">
      <element xsi:nil="true"/>
    </children>
    <styles xmi:type="notation:TextStyle" xmi:id="_1lkN8jmxEeCCpMiKl1zSUQ"/>
    <styles xmi:type="notation:LineTypeStyle" xmi:id="_1lkN8zmxEeCCpMiKl1zSUQ"/>
    <element xsi:nil="true"/>
    <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1lkN9DmxEeCCpMiKl1zSUQ" x="424" y="416" width="205" height="89"/>
  </children>
  <children xmi:type="notation:Shape" xmi:id="_KW6OkDm1EeCCpMiKl1zSUQ" type="Note" fontName="Lucida Grande" description="the implication of inv9 and inv10 have been reversed because it is more convenient to express invariants inside states so that the state becomes the anticedent" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
    <children xmi:type="notation:BasicDecorationNode" xmi:id="_KW8q0Dm1EeCCpMiKl1zSUQ" type="DiagramName">
      <element xsi:nil="true"/>
    </children>
    <children xmi:type="notation:BasicDecorationNode" xmi:id="_KW8q0Tm1EeCCpMiKl1zSUQ" type="Description">
      <element xsi:nil="true"/>
    </children>
    <styles xmi:type="notation:TextStyle" xmi:id="_KW6OkTm1EeCCpMiKl1zSUQ"/>
    <styles xmi:type="notation:LineTypeStyle" xmi:id="_KW6Okjm1EeCCpMiKl1zSUQ"/>
    <element xsi:nil="true"/>
    <layoutConstraint xmi:type="notation:Bounds" xmi:id="_KW6Okzm1EeCCpMiKl1zSUQ" x="88" y="352" width="236" height="75"/>
  </children>
  <styles xmi:type="notation:PageStyle" xmi:id="_DCNqIfiUEd-iypiSAEXb_w"/>
  <styles xmi:type="notation:GuideStyle" xmi:id="_DCNqIviUEd-iypiSAEXb_w"/>
  <styles xmi:type="notation:DescriptionStyle" xmi:id="_DCNqI_iUEd-iypiSAEXb_w"/>
  <element xmi:type="umlbMetamodel:UMLBStatemachine" href="pw1.umlb#_ral4kPiTEd-iypiSAEXb_w"/>
  <edges xmi:type="notation:Edge" xmi:id="_KgZ6APiUEd-iypiSAEXb_w" type="3001" source="_J1JWgPiUEd-iypiSAEXb_w" target="_Dq1JUPiUEd-iypiSAEXb_w">
    <children xmi:type="notation:Node" xmi:id="_KgahEPiUEd-iypiSAEXb_w" type="4006">
      <layoutConstraint xmi:type="notation:Location" xmi:id="_KgahEfiUEd-iypiSAEXb_w" x="-1" y="-13"/>
    </children>
    <styles xmi:type="notation:RoutingStyle" xmi:id="_KgZ6AfiUEd-iypiSAEXb_w" routing="Rectilinear"/>
    <styles xmi:type="notation:FontStyle" xmi:id="_KgZ6AviUEd-iypiSAEXb_w" fontName="Lucida Grande"/>
    <styles xmi:type="notation:LineStyle" xmi:id="_KgZ6A_iUEd-iypiSAEXb_w"/>
    <element xmi:type="umlbMetamodel:UMLBTransition" href="pw1.umlb#_KgZS8PiUEd-iypiSAEXb_w"/>
    <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_KgZ6BPiUEd-iypiSAEXb_w" points="[20, 8, -181, -4]$[168, 8, -33, -4]"/>
  </edges>
  <edges xmi:type="notation:Edge" xmi:id="_zU-fwPiUEd-iypiSAEXb_w" type="3001" source="_Dq1JUPiUEd-iypiSAEXb_w" target="_Dq1JUPiUEd-iypiSAEXb_w">
    <children xmi:type="notation:Node" xmi:id="_zU-fxfiUEd-iypiSAEXb_w" type="4006">
      <layoutConstraint xmi:type="notation:Location" xmi:id="_zU-fxviUEd-iypiSAEXb_w" x="-1" y="-104"/>
    </children>
    <styles xmi:type="notation:RoutingStyle" xmi:id="_zU-fwfiUEd-iypiSAEXb_w" routing="Rectilinear"/>
    <styles xmi:type="notation:FontStyle" xmi:id="_zU-fwviUEd-iypiSAEXb_w" fontName="Lucida Grande"/>
    <styles xmi:type="notation:LineStyle" xmi:id="_zU-fw_iUEd-iypiSAEXb_w"/>
    <element xmi:type="umlbMetamodel:UMLBTransition" href="pw1.umlb#_zU61YPiUEd-iypiSAEXb_w"/>
    <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_zU-fxPiUEd-iypiSAEXb_w" points="[114, -12, 114, -12]$[176, -12, 176, -12]$[176, 16, 176, 16]$[114, 16, 114, 16]"/>
  </edges>
  <edges xmi:type="notation:Edge" xmi:id="_hn22YPiXEd-iypiSAEXb_w" type="3001" source="_Dq1JUPiUEd-iypiSAEXb_w" target="_HRREgPiUEd-iypiSAEXb_w">
    <children xmi:type="notation:Node" xmi:id="_hn3dcPiXEd-iypiSAEXb_w" type="4006">
      <layoutConstraint xmi:type="notation:Location" xmi:id="_hn3dcfiXEd-iypiSAEXb_w" x="57" y="-13"/>
    </children>
    <styles xmi:type="notation:RoutingStyle" xmi:id="_hn22YfiXEd-iypiSAEXb_w" routing="Rectilinear"/>
    <styles xmi:type="notation:FontStyle" xmi:id="_hn22YviXEd-iypiSAEXb_w" fontName="Lucida Grande"/>
    <styles xmi:type="notation:LineStyle" xmi:id="_hn22Y_iXEd-iypiSAEXb_w"/>
    <element xmi:type="umlbMetamodel:UMLBTransition" href="pw1.umlb#_hnzMAPiXEd-iypiSAEXb_w"/>
    <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_hn22ZPiXEd-iypiSAEXb_w" points="[39, 25, -160, -143]$[39, 92, -160, -76]$[168, 92, -31, -76]$[168, 144, -31, -24]"/>
  </edges>
  <edges xmi:type="notation:Edge" xmi:id="_2_hXgPiXEd-iypiSAEXb_w" type="3001" source="_Dq1JUPiUEd-iypiSAEXb_w" target="_F4RRQPiUEd-iypiSAEXb_w">
    <children xmi:type="notation:Node" xmi:id="_2_hXhfiXEd-iypiSAEXb_w" type="4006">
      <layoutConstraint xmi:type="notation:Location" xmi:id="_2_hXhviXEd-iypiSAEXb_w" x="54" y="15"/>
    </children>
    <styles xmi:type="notation:RoutingStyle" xmi:id="_2_hXgfiXEd-iypiSAEXb_w" routing="Rectilinear"/>
    <styles xmi:type="notation:FontStyle" xmi:id="_2_hXgviXEd-iypiSAEXb_w" fontName="Lucida Grande"/>
    <styles xmi:type="notation:LineStyle" xmi:id="_2_hXg_iXEd-iypiSAEXb_w"/>
    <element xmi:type="umlbMetamodel:UMLBTransition" href="pw1.umlb#_2_gJYPiXEd-iypiSAEXb_w"/>
    <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2_hXhPiXEd-iypiSAEXb_w" points="[35, 10, 112, -143]$[35, 79, 112, -74]$[-85, 79, -8, -74]$[-85, 129, -8, -24]"/>
    <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2_jzwPiXEd-iypiSAEXb_w" id="(0.2537313432835821,0.8)"/>
  </edges>
  <edges xmi:type="notation:Edge" xmi:id="_Vh6i0PiYEd-iypiSAEXb_w" type="3001" source="_HRREgPiUEd-iypiSAEXb_w" target="_HRREgPiUEd-iypiSAEXb_w">
    <children xmi:type="notation:Node" xmi:id="_Vh7J4PiYEd-iypiSAEXb_w" type="4006">
      <layoutConstraint xmi:type="notation:Location" xmi:id="_Vh7J4fiYEd-iypiSAEXb_w" x="-9" y="-11"/>
    </children>
    <styles xmi:type="notation:RoutingStyle" xmi:id="_Vh6i0fiYEd-iypiSAEXb_w" routing="Rectilinear"/>
    <styles xmi:type="notation:FontStyle" xmi:id="_Vh6i0viYEd-iypiSAEXb_w" fontName="Lucida Grande"/>
    <styles xmi:type="notation:LineStyle" xmi:id="_Vh6i0_iYEd-iypiSAEXb_w"/>
    <element xmi:type="umlbMetamodel:UMLBTransition" href="pw1.umlb#_Vh5UsPiYEd-iypiSAEXb_w"/>
    <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Vh6i1PiYEd-iypiSAEXb_w" points="[-13, 19, -13, 19]$[-13, 46, -13, 46]$[-141, 46, -141, 46]$[-141, 19, -141, 19]"/>
    <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Vh9mIPiYEd-iypiSAEXb_w" id="(0.9176470588235294,0.625)"/>
    <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Vh9mIfiYEd-iypiSAEXb_w" id="(0.9176470588235294,0.625)"/>
  </edges>
  <edges xmi:type="notation:Edge" xmi:id="_WGJ4UPiYEd-iypiSAEXb_w" type="3001" source="_F4RRQPiUEd-iypiSAEXb_w" target="_F4RRQPiUEd-iypiSAEXb_w">
    <children xmi:type="notation:Node" xmi:id="_WGKfYPiYEd-iypiSAEXb_w" type="4006">
      <layoutConstraint xmi:type="notation:Location" xmi:id="_WGKfYfiYEd-iypiSAEXb_w" x="-19" y="12"/>
    </children>
    <styles xmi:type="notation:RoutingStyle" xmi:id="_WGJ4UfiYEd-iypiSAEXb_w" routing="Rectilinear"/>
    <styles xmi:type="notation:FontStyle" xmi:id="_WGJ4UviYEd-iypiSAEXb_w" fontName="Lucida Grande"/>
    <styles xmi:type="notation:LineStyle" xmi:id="_WGJ4U_iYEd-iypiSAEXb_w"/>
    <element xmi:type="umlbMetamodel:UMLBTransition" href="pw1.umlb#_WGIqMPiYEd-iypiSAEXb_w"/>
    <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_WGJ4VPiYEd-iypiSAEXb_w" points="[54, 9, 51, 9]$[54, 47, 51, 47]$[-86, 47, -89, 47]$[-86, 9, -89, 9]"/>
    <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_WGMUkPiYEd-iypiSAEXb_w" id="(0.639344262295082,0.825)"/>
    <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_WGM7oPiYEd-iypiSAEXb_w" id="(0.6557377049180327,0.825)"/>
  </edges>
  <edges xmi:type="notation:Edge" xmi:id="_gimzoPiZEd-iypiSAEXb_w" type="3001" source="_F4RRQPiUEd-iypiSAEXb_w" target="_F4RRQPiUEd-iypiSAEXb_w">
    <children xmi:type="notation:Node" xmi:id="_ginasPiZEd-iypiSAEXb_w" type="4006">
      <layoutConstraint xmi:type="notation:Location" xmi:id="_ginasfiZEd-iypiSAEXb_w" x="24" y="10"/>
    </children>
    <styles xmi:type="notation:RoutingStyle" xmi:id="_gimzofiZEd-iypiSAEXb_w" routing="Rectilinear"/>
    <styles xmi:type="notation:FontStyle" xmi:id="_gimzoviZEd-iypiSAEXb_w" fontName="Lucida Grande"/>
    <styles xmi:type="notation:LineStyle" xmi:id="_gimzo_iZEd-iypiSAEXb_w"/>
    <element xmi:type="umlbMetamodel:UMLBTransition" href="pw1.umlb#_gijwUPiZEd-iypiSAEXb_w"/>
    <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_gimzpPiZEd-iypiSAEXb_w" points="[150, 2, 150, 2]$[179, 2, 179, 2]$[179, 79, 179, 79]$[-17, 79, -17, 79]$[-17, 19, -17, 19]"/>
    <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_gip28PiZEd-iypiSAEXb_w" id="(0.16393442622950818,0.625)"/>
    <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_gip28fiZEd-iypiSAEXb_w" id="(0.16393442622950818,0.625)"/>
  </edges>
  <edges xmi:type="notation:Edge" xmi:id="_QbZqEPiaEd-iypiSAEXb_w" type="3001" source="_NTalcPiaEd-iypiSAEXb_w" target="_OJVIgPiUEd-iypiSAEXb_w">
    <children xmi:type="notation:Node" xmi:id="_QbaRIPiaEd-iypiSAEXb_w" type="4006">
      <layoutConstraint xmi:type="notation:Location" xmi:id="_QbaRIfiaEd-iypiSAEXb_w" x="-1" y="-18"/>
    </children>
    <styles xmi:type="notation:RoutingStyle" xmi:id="_QbZqEfiaEd-iypiSAEXb_w" routing="Rectilinear"/>
    <styles xmi:type="notation:FontStyle" xmi:id="_QbZqEviaEd-iypiSAEXb_w" fontName="Lucida Grande"/>
    <styles xmi:type="notation:LineStyle" xmi:id="_QbZqE_iaEd-iypiSAEXb_w"/>
    <element xmi:type="umlbMetamodel:UMLBTransition" href="pw1.umlb#_QbWmwPiaEd-iypiSAEXb_w"/>
    <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_QbZqFPiaEd-iypiSAEXb_w" points="[20, -1, -245, 0]$[245, -1, -20, 0]"/>
  </edges>
  <edges xmi:type="notation:Connector" xmi:id="_LZXRcDmyEeCCpMiKl1zSUQ" type="NoteAttachment" source="_HRREgPiUEd-iypiSAEXb_w" target="_1lkN8TmxEeCCpMiKl1zSUQ" lineWidth="1">
    <styles xmi:type="notation:ArrowStyle" xmi:id="_LZXRcTmyEeCCpMiKl1zSUQ"/>
    <styles xmi:type="notation:LineTypeStyle" xmi:id="_LZXRcjmyEeCCpMiKl1zSUQ"/>
    <element xsi:nil="true"/>
    <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_LZXRczmyEeCCpMiKl1zSUQ" points="[-14, 40, 52, -161]$[-66, 199, 0, -2]"/>
    <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_LZbi4DmyEeCCpMiKl1zSUQ" id="(0.5365853658536586,0.02247191011235955)"/>
  </edges>
  <edges xmi:type="notation:Connector" xmi:id="_ZVwzgDm1EeCCpMiKl1zSUQ" type="NoteAttachment" source="_KW6OkDm1EeCCpMiKl1zSUQ" target="_F4RRQPiUEd-iypiSAEXb_w" lineWidth="1">
    <styles xmi:type="notation:ArrowStyle" xmi:id="_ZVwzgTm1EeCCpMiKl1zSUQ"/>
    <styles xmi:type="notation:LineTypeStyle" xmi:id="_ZVwzgjm1EeCCpMiKl1zSUQ"/>
    <element xsi:nil="true"/>
    <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ZVwzgzm1EeCCpMiKl1zSUQ" points="[-3, -37, -21, 164]$[-74, -198, -92, 3]"/>
  </edges>
</notation:Diagram>
