DSMTP-SC/traffic_light_with_interrupts/model/TrafficLightCtrl.sct

<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI 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:sgraph="http://www.yakindu.org/sct/sgraph/2.0.0">
  <sgraph:Statechart xmi:id="_NPjBgBA-EeGQ0KsLDV4EFg" specification="interface:&#xD;&#xA;  in event police_interrupt&#xD;&#xA;  out event displayRed&#xD;&#xA;  out event displayGreen&#xD;&#xA;  out event displayYellow&#xD;&#xA;  out event displayNone&#xD;&#xA;" name="TrafficLightCtrl">
    <regions xmi:id="_NPjBgxA-EeGQ0KsLDV4EFg" name="main">
      <vertices xsi:type="sgraph:Entry" xmi:id="_rIjhEG9PEeaXwv4KCSuD6Q">
        <outgoingTransitions xmi:id="_2dvSoBU9Eeetu6TpqpTvnQ" specification="" target="_NPjBmBA-EeGQ0KsLDV4EFg"/>
      </vertices>
      <vertices xsi:type="sgraph:State" xmi:id="_NPjBmBA-EeGQ0KsLDV4EFg" name="normal" incomingTransitions="_2dvSoBU9Eeetu6TpqpTvnQ _byRQAB7JEeeMxp-88Ms92w">
        <outgoingTransitions xmi:id="_j7FvcBVAEeetu6TpqpTvnQ" specification="police_interrupt" target="_F7yDEBVAEeetu6TpqpTvnQ"/>
        <regions xmi:id="_vZz18BA_EeGQ0KsLDV4EFg" name="normal">
          <vertices xsi:type="sgraph:State" xmi:id="_K-JX7RBEEeGQ0KsLDV4EFg" specification="entry / raise displayYellow" name="Yellow" incomingTransitions="_I42jEBU-Eeetu6TpqpTvnQ">
            <outgoingTransitions xmi:id="_KcvXsBU-Eeetu6TpqpTvnQ" specification="after 5s" target="_wI4T0PqBEeW6VYxAee_Daw"/>
          </vertices>
          <vertices xsi:type="sgraph:State" xmi:id="_TfjYTRBEEeGQ0KsLDV4EFg" specification="entry / raise displayGreen" name="Green" incomingTransitions="_G0eiAPqCEeW6VYxAee_Daw">
            <outgoingTransitions xmi:id="_I42jEBU-Eeetu6TpqpTvnQ" specification="after 55s" target="_K-JX7RBEEeGQ0KsLDV4EFg"/>
          </vertices>
          <vertices xsi:type="sgraph:Entry" xmi:id="_xz0nABBPEeGQ0KsLDV4EFg">
            <outgoingTransitions xmi:id="_yYuD0BBPEeGQ0KsLDV4EFg" target="_wI4T0PqBEeW6VYxAee_Daw"/>
          </vertices>
          <vertices xsi:type="sgraph:State" xmi:id="_wI4T0PqBEeW6VYxAee_Daw" specification="entry / raise displayRed" name="Red" incomingTransitions="_yYuD0BBPEeGQ0KsLDV4EFg _KcvXsBU-Eeetu6TpqpTvnQ">
            <outgoingTransitions xmi:id="_G0eiAPqCEeW6VYxAee_Daw" specification="after 60s" target="_TfjYTRBEEeGQ0KsLDV4EFg"/>
          </vertices>
        </regions>
      </vertices>
      <vertices xsi:type="sgraph:State" xmi:id="_F7yDEBVAEeetu6TpqpTvnQ" name="interrupted" incomingTransitions="_j7FvcBVAEeetu6TpqpTvnQ">
        <outgoingTransitions xmi:id="_byRQAB7JEeeMxp-88Ms92w" specification="police_interrupt" target="_NPjBmBA-EeGQ0KsLDV4EFg"/>
        <regions xmi:id="_F7z4QRVAEeetu6TpqpTvnQ" name="interrupted">
          <vertices xsi:type="sgraph:State" xmi:id="_F7z4QhVAEeetu6TpqpTvnQ" specification="entry / raise displayNone" name="Black" incomingTransitions="_UV144BVAEeetu6TpqpTvnQ">
            <outgoingTransitions xmi:id="_F70fZBVAEeetu6TpqpTvnQ" specification="after 1s" target="_F727kBVAEeetu6TpqpTvnQ"/>
          </vertices>
          <vertices xsi:type="sgraph:Entry" xmi:id="_F72UhBVAEeetu6TpqpTvnQ">
            <outgoingTransitions xmi:id="_F72UhRVAEeetu6TpqpTvnQ" target="_F727kBVAEeetu6TpqpTvnQ"/>
          </vertices>
          <vertices xsi:type="sgraph:State" xmi:id="_F727kBVAEeetu6TpqpTvnQ" specification="entry / raise displayYellow" name="Yellow" incomingTransitions="_F72UhRVAEeetu6TpqpTvnQ _F70fZBVAEeetu6TpqpTvnQ">
            <outgoingTransitions xmi:id="_UV144BVAEeetu6TpqpTvnQ" specification="after 1s" target="_F7z4QhVAEeetu6TpqpTvnQ"/>
          </vertices>
        </regions>
      </vertices>
    </regions>
  </sgraph:Statechart>
  <notation:Diagram xmi:id="_NPjBgRA-EeGQ0KsLDV4EFg" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_NPjBgBA-EeGQ0KsLDV4EFg" measurementUnit="Pixel">
    <children xmi:id="_NPjBhBA-EeGQ0KsLDV4EFg" type="Region" element="_NPjBgxA-EeGQ0KsLDV4EFg">
      <children xsi:type="notation:DecorationNode" xmi:id="_NPjBhxA-EeGQ0KsLDV4EFg" type="RegionName">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_NPjBiBA-EeGQ0KsLDV4EFg"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_NPjBiRA-EeGQ0KsLDV4EFg"/>
      </children>
      <children xsi:type="notation:Shape" xmi:id="_NPjBihA-EeGQ0KsLDV4EFg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
        <children xmi:id="_rIkIIG9PEeaXwv4KCSuD6Q" type="Entry" element="_rIjhEG9PEeaXwv4KCSuD6Q">
          <children xmi:id="_rIkvMG9PEeaXwv4KCSuD6Q" type="BorderItemLabelContainer">
            <children xsi:type="notation:DecorationNode" xmi:id="_rIkvM29PEeaXwv4KCSuD6Q" type="BorderItemLabel">
              <styles xsi:type="notation:ShapeStyle" xmi:id="_rIkvNG9PEeaXwv4KCSuD6Q"/>
              <layoutConstraint xsi:type="notation:Location" xmi:id="_rIlWQG9PEeaXwv4KCSuD6Q"/>
            </children>
            <styles xsi:type="notation:ShapeStyle" xmi:id="_rIkvMW9PEeaXwv4KCSuD6Q" fontName="Verdana" lineColor="4210752"/>
            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_rIkvMm9PEeaXwv4KCSuD6Q"/>
          </children>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_rIkIIW9PEeaXwv4KCSuD6Q" fontName="Verdana" fillColor="0" lineColor="16777215"/>
          <styles xsi:type="notation:NamedStyle" xmi:id="_rIkIIm9PEeaXwv4KCSuD6Q" name="allowColors"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_rIkII29PEeaXwv4KCSuD6Q" x="169" y="-4" width="18" height="16"/>
        </children>
        <children xmi:id="_rpMeFW9REeaXwv4KCSuD6Q" type="State" element="_NPjBmBA-EeGQ0KsLDV4EFg">
          <children xsi:type="notation:DecorationNode" xmi:id="_rpMeFm9REeaXwv4KCSuD6Q" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_rpMeF29REeaXwv4KCSuD6Q"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_rpMeGG9REeaXwv4KCSuD6Q"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_rpMeGW9REeaXwv4KCSuD6Q" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_rpMeGm9REeaXwv4KCSuD6Q" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_rpMeG29REeaXwv4KCSuD6Q"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_rpMeHG9REeaXwv4KCSuD6Q" type="StateFigureCompartment">
            <children xmi:id="_XYdvACQrEeeu6I-nNWXkgQ" type="Region" element="_vZz18BA_EeGQ0KsLDV4EFg">
              <children xsi:type="notation:DecorationNode" xmi:id="_XYdvASQrEeeu6I-nNWXkgQ" type="RegionName">
                <styles xsi:type="notation:ShapeStyle" xmi:id="_XYdvAiQrEeeu6I-nNWXkgQ"/>
                <layoutConstraint xsi:type="notation:Location" xmi:id="_XYdvAyQrEeeu6I-nNWXkgQ"/>
              </children>
              <children xsi:type="notation:Shape" xmi:id="_XYdvBCQrEeeu6I-nNWXkgQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
                <children xmi:id="_XYdvBSQrEeeu6I-nNWXkgQ" type="State" element="_K-JX7RBEEeGQ0KsLDV4EFg">
                  <children xsi:type="notation:DecorationNode" xmi:id="_XYdvBiQrEeeu6I-nNWXkgQ" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_XYdvByQrEeeu6I-nNWXkgQ"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_XYdvCCQrEeeu6I-nNWXkgQ"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_XYdvCSQrEeeu6I-nNWXkgQ" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_XYdvCiQrEeeu6I-nNWXkgQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XYdvCyQrEeeu6I-nNWXkgQ"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_XYdvDCQrEeeu6I-nNWXkgQ" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_XYdvDSQrEeeu6I-nNWXkgQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_XYeWECQrEeeu6I-nNWXkgQ"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XYeWESQrEeeu6I-nNWXkgQ" x="24" y="182" width="229" height="54"/>
                </children>
                <children xmi:id="_XYeWEiQrEeeu6I-nNWXkgQ" type="State" element="_TfjYTRBEEeGQ0KsLDV4EFg">
                  <children xsi:type="notation:DecorationNode" xmi:id="_XYeWEyQrEeeu6I-nNWXkgQ" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_XYeWFCQrEeeu6I-nNWXkgQ"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_XYeWFSQrEeeu6I-nNWXkgQ"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_XYeWFiQrEeeu6I-nNWXkgQ" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_XYeWFyQrEeeu6I-nNWXkgQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XYeWGCQrEeeu6I-nNWXkgQ"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_XYeWGSQrEeeu6I-nNWXkgQ" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_XYeWGiQrEeeu6I-nNWXkgQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_XYeWGyQrEeeu6I-nNWXkgQ"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XYeWHCQrEeeu6I-nNWXkgQ" x="23" y="98" width="231" height="54"/>
                </children>
                <children xmi:id="_XYeWHSQrEeeu6I-nNWXkgQ" type="Entry" element="_xz0nABBPEeGQ0KsLDV4EFg">
                  <children xmi:id="_XYeWHiQrEeeu6I-nNWXkgQ" type="BorderItemLabelContainer">
                    <children xsi:type="notation:DecorationNode" xmi:id="_XYeWHyQrEeeu6I-nNWXkgQ" type="BorderItemLabel">
                      <styles xsi:type="notation:ShapeStyle" xmi:id="_XYeWICQrEeeu6I-nNWXkgQ"/>
                      <layoutConstraint xsi:type="notation:Location" xmi:id="_XYeWISQrEeeu6I-nNWXkgQ"/>
                    </children>
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_XYeWIiQrEeeu6I-nNWXkgQ" fontName="Verdana" lineColor="4210752"/>
                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XYeWIyQrEeeu6I-nNWXkgQ"/>
                  </children>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_XYeWJCQrEeeu6I-nNWXkgQ" fontName="Verdana" lineColor="4210752"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XYeWJSQrEeeu6I-nNWXkgQ" x="141" y="-17" width="15" height="15"/>
                </children>
                <children xmi:id="_XYeWJiQrEeeu6I-nNWXkgQ" type="State" element="_wI4T0PqBEeW6VYxAee_Daw">
                  <children xsi:type="notation:DecorationNode" xmi:id="_XYeWJyQrEeeu6I-nNWXkgQ" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_XYeWKCQrEeeu6I-nNWXkgQ"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_XYeWKSQrEeeu6I-nNWXkgQ"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_XYeWKiQrEeeu6I-nNWXkgQ" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_XYeWKyQrEeeu6I-nNWXkgQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XYeWLCQrEeeu6I-nNWXkgQ"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_XYeWLSQrEeeu6I-nNWXkgQ" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_XYeWLiQrEeeu6I-nNWXkgQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_XYeWLyQrEeeu6I-nNWXkgQ"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XYeWMCQrEeeu6I-nNWXkgQ" x="21" y="14" width="234" height="54"/>
                </children>
                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XYeWMSQrEeeu6I-nNWXkgQ"/>
              </children>
              <styles xsi:type="notation:ShapeStyle" xmi:id="_XYeWMiQrEeeu6I-nNWXkgQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_XYeWMyQrEeeu6I-nNWXkgQ"/>
            </children>
          </children>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_rpMerW9REeaXwv4KCSuD6Q" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_rpMerm9REeaXwv4KCSuD6Q"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_rpMer29REeaXwv4KCSuD6Q" x="13" y="44" width="344" height="330"/>
        </children>
        <children xmi:id="_F7wN4BVAEeetu6TpqpTvnQ" type="State" element="_F7yDEBVAEeetu6TpqpTvnQ">
          <children xsi:type="notation:DecorationNode" xmi:id="_F7wN4RVAEeetu6TpqpTvnQ" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_F7wN4hVAEeetu6TpqpTvnQ"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_F7wN4xVAEeetu6TpqpTvnQ"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_F7wN5BVAEeetu6TpqpTvnQ" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_F7wN5RVAEeetu6TpqpTvnQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_F7wN5hVAEeetu6TpqpTvnQ"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_F7wN5xVAEeetu6TpqpTvnQ" type="StateFigureCompartment">
            <children xmi:id="_X2CCIBVAEeetu6TpqpTvnQ" type="Region" element="_F7z4QRVAEeetu6TpqpTvnQ">
              <children xsi:type="notation:DecorationNode" xmi:id="_X2CCIRVAEeetu6TpqpTvnQ" type="RegionName">
                <styles xsi:type="notation:ShapeStyle" xmi:id="_X2CCIhVAEeetu6TpqpTvnQ"/>
                <layoutConstraint xsi:type="notation:Location" xmi:id="_X2CCIxVAEeetu6TpqpTvnQ"/>
              </children>
              <children xsi:type="notation:Shape" xmi:id="_X2CCJBVAEeetu6TpqpTvnQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
                <children xmi:id="_X2CCJRVAEeetu6TpqpTvnQ" type="State" element="_F7z4QhVAEeetu6TpqpTvnQ">
                  <children xsi:type="notation:DecorationNode" xmi:id="_X2CCJhVAEeetu6TpqpTvnQ" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_X2CCJxVAEeetu6TpqpTvnQ"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_X2CCKBVAEeetu6TpqpTvnQ"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_X2CCKRVAEeetu6TpqpTvnQ" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_X2CCKhVAEeetu6TpqpTvnQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X2CCKxVAEeetu6TpqpTvnQ"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_X2CCLBVAEeetu6TpqpTvnQ" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_X2CCLRVAEeetu6TpqpTvnQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_X2CCLhVAEeetu6TpqpTvnQ"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X2CCLxVAEeetu6TpqpTvnQ" x="24" y="98" width="229" height="55"/>
                </children>
                <children xmi:id="_X2CCMBVAEeetu6TpqpTvnQ" type="Entry" element="_F72UhBVAEeetu6TpqpTvnQ">
                  <children xmi:id="_X2CCMRVAEeetu6TpqpTvnQ" type="BorderItemLabelContainer">
                    <children xsi:type="notation:DecorationNode" xmi:id="_X2CCMhVAEeetu6TpqpTvnQ" type="BorderItemLabel">
                      <styles xsi:type="notation:ShapeStyle" xmi:id="_X2CCMxVAEeetu6TpqpTvnQ"/>
                      <layoutConstraint xsi:type="notation:Location" xmi:id="_X2CCNBVAEeetu6TpqpTvnQ"/>
                    </children>
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_X2CCNRVAEeetu6TpqpTvnQ" fontName="Verdana" lineColor="4210752"/>
                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X2CCNhVAEeetu6TpqpTvnQ"/>
                  </children>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_X2CCNxVAEeetu6TpqpTvnQ" fontName="Verdana" lineColor="4210752"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X2CCOBVAEeetu6TpqpTvnQ" x="141" y="-17" width="15" height="15"/>
                </children>
                <children xmi:id="_X2CCORVAEeetu6TpqpTvnQ" type="State" element="_F727kBVAEeetu6TpqpTvnQ">
                  <children xsi:type="notation:DecorationNode" xmi:id="_X2CCOhVAEeetu6TpqpTvnQ" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_X2CCOxVAEeetu6TpqpTvnQ"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_X2CCPBVAEeetu6TpqpTvnQ"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_X2CCPRVAEeetu6TpqpTvnQ" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_X2CCPhVAEeetu6TpqpTvnQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X2CCPxVAEeetu6TpqpTvnQ"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_X2CCQBVAEeetu6TpqpTvnQ" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_X2CCQRVAEeetu6TpqpTvnQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_X2CCQhVAEeetu6TpqpTvnQ"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X2CCQxVAEeetu6TpqpTvnQ" x="21" y="14" width="234" height="54"/>
                </children>
                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X2CCRBVAEeetu6TpqpTvnQ"/>
              </children>
              <styles xsi:type="notation:ShapeStyle" xmi:id="_X2CCRRVAEeetu6TpqpTvnQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_X2CCRhVAEeetu6TpqpTvnQ"/>
            </children>
          </children>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_F7wOGhVAEeetu6TpqpTvnQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_F7wOGxVAEeetu6TpqpTvnQ"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_F7wOHBVAEeetu6TpqpTvnQ" x="469" y="80" width="344" height="270"/>
        </children>
        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPjBixA-EeGQ0KsLDV4EFg"/>
      </children>
      <styles xsi:type="notation:ShapeStyle" xmi:id="_NPjBhRA-EeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPjBjBA-EeGQ0KsLDV4EFg" x="204" width="856" height="437"/>
    </children>
    <children xsi:type="notation:Shape" xmi:id="_NPsyjxA-EeGQ0KsLDV4EFg" type="StatechartText" fontName="Verdana" lineColor="4210752">
      <children xsi:type="notation:DecorationNode" xmi:id="_NPsykRA-EeGQ0KsLDV4EFg" type="StatechartName">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_NPsykhA-EeGQ0KsLDV4EFg"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_NPsykxA-EeGQ0KsLDV4EFg"/>
      </children>
      <children xsi:type="notation:Shape" xmi:id="_NPsylBA-EeGQ0KsLDV4EFg" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPsylRA-EeGQ0KsLDV4EFg"/>
      </children>
      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPsylhA-EeGQ0KsLDV4EFg" x="-24" y="12" width="216" height="211"/>
    </children>
    <styles xsi:type="notation:DiagramStyle" xmi:id="_NPjBghA-EeGQ0KsLDV4EFg"/>
    <edges xmi:id="_yY3NwBBPEeGQ0KsLDV4EFg" type="Transition" element="_yYuD0BBPEeGQ0KsLDV4EFg" source="_XYeWHSQrEeeu6I-nNWXkgQ" target="_XYeWJiQrEeeu6I-nNWXkgQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_yY3NxBBPEeGQ0KsLDV4EFg" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_yY3NxRBPEeGQ0KsLDV4EFg"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_yY3NxhBPEeGQ0KsLDV4EFg" y="40"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_yY3NwRBPEeGQ0KsLDV4EFg" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_yY3NwxBPEeGQ0KsLDV4EFg" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_yY3NwhBPEeGQ0KsLDV4EFg" points="[7, 0, -124, -1]$[127, 0, -4, -1]"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_yZT5sBBPEeGQ0KsLDV4EFg" id="(0.5854700854700855,0.0)"/>
    </edges>
    <edges xmi:id="_G0g-QPqCEeW6VYxAee_Daw" type="Transition" element="_G0eiAPqCEeW6VYxAee_Daw" source="_XYeWJiQrEeeu6I-nNWXkgQ" target="_XYeWEiQrEeeu6I-nNWXkgQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_G0jagPqCEeW6VYxAee_Daw" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_G0jagfqCEeW6VYxAee_Daw"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_G0jagvqCEeW6VYxAee_Daw" x="4" y="-40"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_G0g-QfqCEeW6VYxAee_Daw" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_G0hlUPqCEeW6VYxAee_Daw" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_G0g-QvqCEeW6VYxAee_Daw" points="[5, 6, -3, -50]$[5, 27, -3, -29]$[5, 50, -3, -6]$[4, 51, -4, -5]$[4, 52, -4, -4]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_36bV0A4PEeaFVqHEfs0_CA" id="(0.452991452991453,0.9478260869565217)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_G0l2wPqCEeW6VYxAee_Daw" id="(0.48484848484848486,0.0684931506849315)"/>
    </edges>
    <edges xmi:id="_2dwgwBU9Eeetu6TpqpTvnQ" type="Transition" element="_2dvSoBU9Eeetu6TpqpTvnQ" source="_rIkIIG9PEeaXwv4KCSuD6Q" target="_rpMeFW9REeaXwv4KCSuD6Q">
      <children xsi:type="notation:DecorationNode" xmi:id="_2dwgxBU9Eeetu6TpqpTvnQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_2dwgxRU9Eeetu6TpqpTvnQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_2dwgxhU9Eeetu6TpqpTvnQ" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_2dwgwRU9Eeetu6TpqpTvnQ" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_2dwgwxU9Eeetu6TpqpTvnQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_2dwgwhU9Eeetu6TpqpTvnQ" points="[-5, -8, 7, -62]$[-5, 52, 7, -2]"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_2dyV8BU9Eeetu6TpqpTvnQ" id="(0.49336550060313633,0.005)"/>
    </edges>
    <edges xmi:id="_I43xMBU-Eeetu6TpqpTvnQ" type="Transition" element="_I42jEBU-Eeetu6TpqpTvnQ" source="_XYeWEiQrEeeu6I-nNWXkgQ" target="_XYdvBSQrEeeu6I-nNWXkgQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_I43xNBU-Eeetu6TpqpTvnQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_I43xNRU-Eeetu6TpqpTvnQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_I43xNhU-Eeetu6TpqpTvnQ" x="4" y="-37"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_I43xMRU-Eeetu6TpqpTvnQ" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_I43xMxU-Eeetu6TpqpTvnQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_I43xMhU-Eeetu6TpqpTvnQ" points="[72, 68, 62, -65]$[72, 132, 62, -1]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_I44_UBU-Eeetu6TpqpTvnQ" id="(0.15151515151515152,0.0)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_I45mYBU-Eeetu6TpqpTvnQ" id="(0.19213973799126638,0.03389830508474576)"/>
    </edges>
    <edges xmi:id="_Kcwl0BU-Eeetu6TpqpTvnQ" type="Transition" element="_KcvXsBU-Eeetu6TpqpTvnQ" source="_XYdvBSQrEeeu6I-nNWXkgQ" target="_XYeWJiQrEeeu6I-nNWXkgQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_Kcwl1BU-Eeetu6TpqpTvnQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_Kcwl1RU-Eeetu6TpqpTvnQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_Kcwl1hU-Eeetu6TpqpTvnQ" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_Kcwl0RU-Eeetu6TpqpTvnQ" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_Kcwl0xU-Eeetu6TpqpTvnQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Kcwl0hU-Eeetu6TpqpTvnQ" points="[6, 2, 4, 174]$[31, 2, 29, 174]$[31, -179, 29, -7]$[8, -179, 6, -7]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Kcxz8BU-Eeetu6TpqpTvnQ" id="(0.9737991266375546,0.42592592592592593)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Kcxz8RU-Eeetu6TpqpTvnQ" id="(0.9743589743589743,0.3391304347826087)"/>
    </edges>
    <edges xmi:id="_F78bIBVAEeetu6TpqpTvnQ" type="Transition" element="_F72UhRVAEeetu6TpqpTvnQ" source="_X2CCMBVAEeetu6TpqpTvnQ" target="_X2CCORVAEeetu6TpqpTvnQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_F78bIRVAEeetu6TpqpTvnQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_F78bIhVAEeetu6TpqpTvnQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_F78bIxVAEeetu6TpqpTvnQ" y="40"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_F78bJBVAEeetu6TpqpTvnQ" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_F78bJRVAEeetu6TpqpTvnQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_F78bJhVAEeetu6TpqpTvnQ" points="[7, 0, -124, -1]$[127, 0, -4, -1]"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_F78bJxVAEeetu6TpqpTvnQ" id="(0.5854700854700855,0.0)"/>
    </edges>
    <edges xmi:id="_F79pSRVAEeetu6TpqpTvnQ" type="Transition" element="_F70fZBVAEeetu6TpqpTvnQ" source="_X2CCJRVAEeetu6TpqpTvnQ" target="_X2CCORVAEeetu6TpqpTvnQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_F79pShVAEeetu6TpqpTvnQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_F79pSxVAEeetu6TpqpTvnQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_F79pTBVAEeetu6TpqpTvnQ" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_F79pTRVAEeetu6TpqpTvnQ" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_F79pThVAEeetu6TpqpTvnQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_F79pTxVAEeetu6TpqpTvnQ" points="[188, 33, 4, 101]$[221, 33, 37, 101]$[221, -60, 37, 8]$[190, -60, 6, 8]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_F79pUBVAEeetu6TpqpTvnQ" id="(0.1615720524017467,0.0)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_F79pURVAEeetu6TpqpTvnQ" id="(0.9743589743589743,0.3391304347826087)"/>
    </edges>
    <edges xmi:id="_UV3HABVAEeetu6TpqpTvnQ" type="Transition" element="_UV144BVAEeetu6TpqpTvnQ" source="_X2CCORVAEeetu6TpqpTvnQ" target="_X2CCJRVAEeetu6TpqpTvnQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_UV3uEBVAEeetu6TpqpTvnQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_UV3uERVAEeetu6TpqpTvnQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_UV3uEhVAEeetu6TpqpTvnQ" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_UV3HARVAEeetu6TpqpTvnQ" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_UV3HAxVAEeetu6TpqpTvnQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_UV3HAhVAEeetu6TpqpTvnQ" points="[51, 49, 59, -44]$[51, 84, 59, -9]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_UV5jQBVAEeetu6TpqpTvnQ" id="(0.19658119658119658,0.0)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_UV5jQRVAEeetu6TpqpTvnQ" id="(0.15283842794759825,0.1917808219178082)"/>
    </edges>
    <edges xmi:id="_j7GWgBVAEeetu6TpqpTvnQ" type="Transition" element="_j7FvcBVAEeetu6TpqpTvnQ" source="_rpMeFW9REeaXwv4KCSuD6Q" target="_F7wN4BVAEeetu6TpqpTvnQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_j7G9kRVAEeetu6TpqpTvnQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_j7G9khVAEeetu6TpqpTvnQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_j7G9kxVAEeetu6TpqpTvnQ" x="-7" y="-13"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_j7GWgRVAEeetu6TpqpTvnQ" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_j7G9kBVAEeetu6TpqpTvnQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_j7GWghVAEeetu6TpqpTvnQ" points="[0, 53, -117, 0]$[117, 53, 0, 0]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_j7ILsBVAEeetu6TpqpTvnQ" id="(1.0,0.08706467661691543)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_j7ILsRVAEeetu6TpqpTvnQ" id="(0.0029239766081871343,0.17350157728706625)"/>
    </edges>
    <edges xmi:id="_byTsSh7JEeeMxp-88Ms92w" type="Transition" element="_byRQAB7JEeeMxp-88Ms92w" source="_F7wN4BVAEeetu6TpqpTvnQ" target="_rpMeFW9REeaXwv4KCSuD6Q">
      <children xsi:type="notation:DecorationNode" xmi:id="_byTsSx7JEeeMxp-88Ms92w" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_byTsTB7JEeeMxp-88Ms92w"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_byTsTR7JEeeMxp-88Ms92w" x="-5" y="8"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_byTsTh7JEeeMxp-88Ms92w" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_byTsTx7JEeeMxp-88Ms92w" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_byTsUB7JEeeMxp-88Ms92w" points="[275, -168, -42, 73]$[275, -192, -42, 49]$[317, -192, 0, 49]$[317, -238, 0, 3]$[324, -238, 7, 3]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_byTsUR7JEeeMxp-88Ms92w" id="(0.0,0.5394321766561514)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_cPsL0B7JEeeMxp-88Ms92w" id="(0.9825581395348837,0.7213930348258707)"/>
    </edges>
  </notation:Diagram>
</xmi:XMI>