DSMTP-SC/traffic_light_history/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" name="TrafficLightCtrl">
    <regions xmi:id="_YM2j4CQsEeeu6I-nNWXkgQ" name="main">
      <vertices xsi:type="sgraph:Entry" xmi:id="_YM2j4SQsEeeu6I-nNWXkgQ">
        <outgoingTransitions xmi:id="_YM2j4iQsEeeu6I-nNWXkgQ" specification="" target="_YM2j4yQsEeeu6I-nNWXkgQ"/>
      </vertices>
      <vertices xsi:type="sgraph:State" xmi:id="_YM2j4yQsEeeu6I-nNWXkgQ" name="normal" incomingTransitions="_YM2j4iQsEeeu6I-nNWXkgQ">
        <outgoingTransitions xmi:id="_YM3K8SQsEeeu6I-nNWXkgQ" specification="police_interrupt" target="_YM5ALSQsEeeu6I-nNWXkgQ"/>
        <regions xmi:id="_YM3yAyQsEeeu6I-nNWXkgQ" name="normal">
          <vertices xsi:type="sgraph:State" xmi:id="_YM3yBCQsEeeu6I-nNWXkgQ" specification="entry / raise displayYellow" name="Yellow" incomingTransitions="_YM4ZHCQsEeeu6I-nNWXkgQ">
            <outgoingTransitions xmi:id="_YM3yDCQsEeeu6I-nNWXkgQ" specification="after 5s" target="_YM5AICQsEeeu6I-nNWXkgQ"/>
          </vertices>
          <vertices xsi:type="sgraph:State" xmi:id="_YM4ZFCQsEeeu6I-nNWXkgQ" specification="entry / raise displayGreen" name="Green" incomingTransitions="_YM5AKCQsEeeu6I-nNWXkgQ">
            <outgoingTransitions xmi:id="_YM4ZHCQsEeeu6I-nNWXkgQ" specification="after 55s" target="_YM3yBCQsEeeu6I-nNWXkgQ"/>
          </vertices>
          <vertices xsi:type="sgraph:Entry" xmi:id="_YM4ZISQsEeeu6I-nNWXkgQ">
            <outgoingTransitions xmi:id="_YM4ZIiQsEeeu6I-nNWXkgQ" target="_YM5AICQsEeeu6I-nNWXkgQ"/>
          </vertices>
          <vertices xsi:type="sgraph:State" xmi:id="_YM5AICQsEeeu6I-nNWXkgQ" specification="entry / raise displayRed" name="Red" incomingTransitions="_YM4ZIiQsEeeu6I-nNWXkgQ _YM3yDCQsEeeu6I-nNWXkgQ">
            <outgoingTransitions xmi:id="_YM5AKCQsEeeu6I-nNWXkgQ" specification="after 60s" target="_YM4ZFCQsEeeu6I-nNWXkgQ"/>
          </vertices>
          <vertices xsi:type="sgraph:Entry" xmi:id="_gVVRcCQtEeeu6I-nNWXkgQ" name="hist" incomingTransitions="_YM5nMSQsEeeu6I-nNWXkgQ" kind="SHALLOW_HISTORY"/>
        </regions>
      </vertices>
      <vertices xsi:type="sgraph:State" xmi:id="_YM5ALSQsEeeu6I-nNWXkgQ" name="interrupted" incomingTransitions="_YM3K8SQsEeeu6I-nNWXkgQ">
        <outgoingTransitions xmi:id="_YM5nMSQsEeeu6I-nNWXkgQ" specification="police_interrupt" target="_gVVRcCQtEeeu6I-nNWXkgQ"/>
        <regions xmi:id="_YM5nNSQsEeeu6I-nNWXkgQ" name="interrupted">
          <vertices xsi:type="sgraph:State" xmi:id="_YM5nNiQsEeeu6I-nNWXkgQ" specification="entry / raise displayNone" name="Black" incomingTransitions="_YM5nTSQsEeeu6I-nNWXkgQ">
            <outgoingTransitions xmi:id="_YM5nPiQsEeeu6I-nNWXkgQ" specification="after 1s" target="_YM5nRSQsEeeu6I-nNWXkgQ"/>
          </vertices>
          <vertices xsi:type="sgraph:Entry" xmi:id="_YM5nQyQsEeeu6I-nNWXkgQ">
            <outgoingTransitions xmi:id="_YM5nRCQsEeeu6I-nNWXkgQ" target="_YM5nRSQsEeeu6I-nNWXkgQ"/>
          </vertices>
          <vertices xsi:type="sgraph:State" xmi:id="_YM5nRSQsEeeu6I-nNWXkgQ" specification="entry / raise displayYellow" name="Yellow" incomingTransitions="_YM5nRCQsEeeu6I-nNWXkgQ _YM5nPiQsEeeu6I-nNWXkgQ">
            <outgoingTransitions xmi:id="_YM5nTSQsEeeu6I-nNWXkgQ" specification="after 1s" target="_YM5nNiQsEeeu6I-nNWXkgQ"/>
          </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 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="36" width="216" height="211"/>
    </children>
    <children xmi:id="_YM1VwCQsEeeu6I-nNWXkgQ" type="Region" element="_YM2j4CQsEeeu6I-nNWXkgQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_YM1VwSQsEeeu6I-nNWXkgQ" type="RegionName">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1VwiQsEeeu6I-nNWXkgQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_YM1VwyQsEeeu6I-nNWXkgQ"/>
      </children>
      <children xsi:type="notation:Shape" xmi:id="_YM1VxCQsEeeu6I-nNWXkgQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
        <children xmi:id="_YM1VxSQsEeeu6I-nNWXkgQ" type="Entry" element="_YM2j4SQsEeeu6I-nNWXkgQ">
          <children xmi:id="_YM1VxiQsEeeu6I-nNWXkgQ" type="BorderItemLabelContainer">
            <children xsi:type="notation:DecorationNode" xmi:id="_YM1VxyQsEeeu6I-nNWXkgQ" type="BorderItemLabel">
              <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1VyCQsEeeu6I-nNWXkgQ"/>
              <layoutConstraint xsi:type="notation:Location" xmi:id="_YM1VySQsEeeu6I-nNWXkgQ"/>
            </children>
            <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1VyiQsEeeu6I-nNWXkgQ" fontName="Verdana" lineColor="4210752"/>
            <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1VyyQsEeeu6I-nNWXkgQ"/>
          </children>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1VzCQsEeeu6I-nNWXkgQ" fontName="Verdana" fillColor="0" lineColor="16777215"/>
          <styles xsi:type="notation:NamedStyle" xmi:id="_YM1VzSQsEeeu6I-nNWXkgQ" name="allowColors"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1VziQsEeeu6I-nNWXkgQ" x="169" y="-4" width="18" height="16"/>
        </children>
        <children xmi:id="_YM1VzyQsEeeu6I-nNWXkgQ" type="State" element="_YM2j4yQsEeeu6I-nNWXkgQ">
          <children xsi:type="notation:DecorationNode" xmi:id="_YM1V0CQsEeeu6I-nNWXkgQ" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1V0SQsEeeu6I-nNWXkgQ"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_YM1V0iQsEeeu6I-nNWXkgQ"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_YM1V0yQsEeeu6I-nNWXkgQ" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_YM1V1CQsEeeu6I-nNWXkgQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1V1SQsEeeu6I-nNWXkgQ"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_YM1V1iQsEeeu6I-nNWXkgQ" type="StateFigureCompartment">
            <children xmi:id="_YM1V1yQsEeeu6I-nNWXkgQ" type="Region" element="_YM3yAyQsEeeu6I-nNWXkgQ">
              <children xsi:type="notation:DecorationNode" xmi:id="_YM1V2CQsEeeu6I-nNWXkgQ" type="RegionName">
                <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1V2SQsEeeu6I-nNWXkgQ"/>
                <layoutConstraint xsi:type="notation:Location" xmi:id="_YM1V2iQsEeeu6I-nNWXkgQ"/>
              </children>
              <children xsi:type="notation:Shape" xmi:id="_YM1V2yQsEeeu6I-nNWXkgQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
                <children xmi:id="_YM1V3CQsEeeu6I-nNWXkgQ" type="State" element="_YM3yBCQsEeeu6I-nNWXkgQ">
                  <children xsi:type="notation:DecorationNode" xmi:id="_YM1V3SQsEeeu6I-nNWXkgQ" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1V3iQsEeeu6I-nNWXkgQ"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_YM1V3yQsEeeu6I-nNWXkgQ"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_YM1V4CQsEeeu6I-nNWXkgQ" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_YM1V4SQsEeeu6I-nNWXkgQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1V4iQsEeeu6I-nNWXkgQ"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_YM1V4yQsEeeu6I-nNWXkgQ" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1V5CQsEeeu6I-nNWXkgQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_YM1V5SQsEeeu6I-nNWXkgQ"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1V5iQsEeeu6I-nNWXkgQ" x="24" y="182" width="229" height="54"/>
                </children>
                <children xmi:id="_YM1V5yQsEeeu6I-nNWXkgQ" type="State" element="_YM4ZFCQsEeeu6I-nNWXkgQ">
                  <children xsi:type="notation:DecorationNode" xmi:id="_YM1V6CQsEeeu6I-nNWXkgQ" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1V6SQsEeeu6I-nNWXkgQ"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_YM1V6iQsEeeu6I-nNWXkgQ"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_YM1V6yQsEeeu6I-nNWXkgQ" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_YM1V7CQsEeeu6I-nNWXkgQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1V7SQsEeeu6I-nNWXkgQ"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_YM1V7iQsEeeu6I-nNWXkgQ" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1V7yQsEeeu6I-nNWXkgQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_YM1V8CQsEeeu6I-nNWXkgQ"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1V8SQsEeeu6I-nNWXkgQ" x="23" y="98" width="231" height="54"/>
                </children>
                <children xmi:id="_YM1V8iQsEeeu6I-nNWXkgQ" type="Entry" element="_YM4ZISQsEeeu6I-nNWXkgQ">
                  <children xmi:id="_YM1V8yQsEeeu6I-nNWXkgQ" type="BorderItemLabelContainer">
                    <children xsi:type="notation:DecorationNode" xmi:id="_YM1V9CQsEeeu6I-nNWXkgQ" type="BorderItemLabel">
                      <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1V9SQsEeeu6I-nNWXkgQ"/>
                      <layoutConstraint xsi:type="notation:Location" xmi:id="_YM1V9iQsEeeu6I-nNWXkgQ"/>
                    </children>
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1V9yQsEeeu6I-nNWXkgQ" fontName="Verdana" lineColor="4210752"/>
                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1V-CQsEeeu6I-nNWXkgQ"/>
                  </children>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1V-SQsEeeu6I-nNWXkgQ" fontName="Verdana" lineColor="4210752"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1V-iQsEeeu6I-nNWXkgQ" x="141" y="-17" width="15" height="15"/>
                </children>
                <children xmi:id="_YM1V-yQsEeeu6I-nNWXkgQ" type="State" element="_YM5AICQsEeeu6I-nNWXkgQ">
                  <children xsi:type="notation:DecorationNode" xmi:id="_YM1V_CQsEeeu6I-nNWXkgQ" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1V_SQsEeeu6I-nNWXkgQ"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_YM1V_iQsEeeu6I-nNWXkgQ"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_YM1V_yQsEeeu6I-nNWXkgQ" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_YM1WACQsEeeu6I-nNWXkgQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WASQsEeeu6I-nNWXkgQ"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_YM1WAiQsEeeu6I-nNWXkgQ" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1WAyQsEeeu6I-nNWXkgQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_YM1WBCQsEeeu6I-nNWXkgQ"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WBSQsEeeu6I-nNWXkgQ" x="21" y="14" width="234" height="54"/>
                </children>
                <children xmi:id="_gVx9YCQtEeeu6I-nNWXkgQ" type="ShallowHistory" element="_gVVRcCQtEeeu6I-nNWXkgQ">
                  <children xmi:id="_gVzykCQtEeeu6I-nNWXkgQ" type="BorderItemLabelContainer">
                    <children xsi:type="notation:DecorationNode" xmi:id="_gV-KoCQtEeeu6I-nNWXkgQ" type="BorderItemLabel">
                      <styles xsi:type="notation:ShapeStyle" xmi:id="_gV-KoSQtEeeu6I-nNWXkgQ"/>
                      <layoutConstraint xsi:type="notation:Location" xmi:id="_gV-KoiQtEeeu6I-nNWXkgQ"/>
                    </children>
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_gVzykSQtEeeu6I-nNWXkgQ" fontName="Verdana" lineColor="4210752"/>
                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gVzykiQtEeeu6I-nNWXkgQ"/>
                  </children>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_gVx9YSQtEeeu6I-nNWXkgQ" fontName="Verdana" fillColor="0" lineColor="16777215"/>
                  <styles xsi:type="notation:NamedStyle" xmi:id="_gVx9YiQtEeeu6I-nNWXkgQ" name="allowColors"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gVx9YyQtEeeu6I-nNWXkgQ" x="297" y="206"/>
                </children>
                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WBiQsEeeu6I-nNWXkgQ"/>
              </children>
              <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1WByQsEeeu6I-nNWXkgQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WCCQsEeeu6I-nNWXkgQ"/>
            </children>
          </children>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1WCSQsEeeu6I-nNWXkgQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_YM1WCiQsEeeu6I-nNWXkgQ"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WCyQsEeeu6I-nNWXkgQ" x="13" y="44" width="350" height="340"/>
        </children>
        <children xmi:id="_YM1WDCQsEeeu6I-nNWXkgQ" type="State" element="_YM5ALSQsEeeu6I-nNWXkgQ">
          <children xsi:type="notation:DecorationNode" xmi:id="_YM1WDSQsEeeu6I-nNWXkgQ" type="StateName">
            <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1WDiQsEeeu6I-nNWXkgQ"/>
            <layoutConstraint xsi:type="notation:Location" xmi:id="_YM1WDyQsEeeu6I-nNWXkgQ"/>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_YM1WECQsEeeu6I-nNWXkgQ" type="StateTextCompartment">
            <children xsi:type="notation:Shape" xmi:id="_YM1WESQsEeeu6I-nNWXkgQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WEiQsEeeu6I-nNWXkgQ"/>
            </children>
          </children>
          <children xsi:type="notation:Compartment" xmi:id="_YM1WEyQsEeeu6I-nNWXkgQ" type="StateFigureCompartment">
            <children xmi:id="_YM1WFCQsEeeu6I-nNWXkgQ" type="Region" element="_YM5nNSQsEeeu6I-nNWXkgQ">
              <children xsi:type="notation:DecorationNode" xmi:id="_YM1WFSQsEeeu6I-nNWXkgQ" type="RegionName">
                <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1WFiQsEeeu6I-nNWXkgQ"/>
                <layoutConstraint xsi:type="notation:Location" xmi:id="_YM1WFyQsEeeu6I-nNWXkgQ"/>
              </children>
              <children xsi:type="notation:Shape" xmi:id="_YM1WGCQsEeeu6I-nNWXkgQ" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
                <children xmi:id="_YM1WGSQsEeeu6I-nNWXkgQ" type="State" element="_YM5nNiQsEeeu6I-nNWXkgQ">
                  <children xsi:type="notation:DecorationNode" xmi:id="_YM1WGiQsEeeu6I-nNWXkgQ" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1WGyQsEeeu6I-nNWXkgQ"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_YM1WHCQsEeeu6I-nNWXkgQ"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_YM1WHSQsEeeu6I-nNWXkgQ" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_YM1WHiQsEeeu6I-nNWXkgQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WHyQsEeeu6I-nNWXkgQ"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_YM1WICQsEeeu6I-nNWXkgQ" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1WISQsEeeu6I-nNWXkgQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_YM1WIiQsEeeu6I-nNWXkgQ"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WIyQsEeeu6I-nNWXkgQ" x="24" y="98" width="229" height="55"/>
                </children>
                <children xmi:id="_YM1WJCQsEeeu6I-nNWXkgQ" type="Entry" element="_YM5nQyQsEeeu6I-nNWXkgQ">
                  <children xmi:id="_YM1WJSQsEeeu6I-nNWXkgQ" type="BorderItemLabelContainer">
                    <children xsi:type="notation:DecorationNode" xmi:id="_YM1WJiQsEeeu6I-nNWXkgQ" type="BorderItemLabel">
                      <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1WJyQsEeeu6I-nNWXkgQ"/>
                      <layoutConstraint xsi:type="notation:Location" xmi:id="_YM1WKCQsEeeu6I-nNWXkgQ"/>
                    </children>
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1WKSQsEeeu6I-nNWXkgQ" fontName="Verdana" lineColor="4210752"/>
                    <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WKiQsEeeu6I-nNWXkgQ"/>
                  </children>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1WKyQsEeeu6I-nNWXkgQ" fontName="Verdana" lineColor="4210752"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WLCQsEeeu6I-nNWXkgQ" x="141" y="-17" width="15" height="15"/>
                </children>
                <children xmi:id="_YM1WLSQsEeeu6I-nNWXkgQ" type="State" element="_YM5nRSQsEeeu6I-nNWXkgQ">
                  <children xsi:type="notation:DecorationNode" xmi:id="_YM1WLiQsEeeu6I-nNWXkgQ" type="StateName">
                    <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1WLyQsEeeu6I-nNWXkgQ"/>
                    <layoutConstraint xsi:type="notation:Location" xmi:id="_YM1WMCQsEeeu6I-nNWXkgQ"/>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_YM1WMSQsEeeu6I-nNWXkgQ" type="StateTextCompartment">
                    <children xsi:type="notation:Shape" xmi:id="_YM1WMiQsEeeu6I-nNWXkgQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
                      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WMyQsEeeu6I-nNWXkgQ"/>
                    </children>
                  </children>
                  <children xsi:type="notation:Compartment" xmi:id="_YM1WNCQsEeeu6I-nNWXkgQ" type="StateFigureCompartment"/>
                  <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1WNSQsEeeu6I-nNWXkgQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
                  <styles xsi:type="notation:FontStyle" xmi:id="_YM1WNiQsEeeu6I-nNWXkgQ"/>
                  <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WNyQsEeeu6I-nNWXkgQ" x="21" y="14" width="234" height="54"/>
                </children>
                <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WOCQsEeeu6I-nNWXkgQ"/>
              </children>
              <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1WOSQsEeeu6I-nNWXkgQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
              <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WOiQsEeeu6I-nNWXkgQ"/>
            </children>
          </children>
          <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1WOyQsEeeu6I-nNWXkgQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
          <styles xsi:type="notation:FontStyle" xmi:id="_YM1WPCQsEeeu6I-nNWXkgQ"/>
          <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WPSQsEeeu6I-nNWXkgQ" x="469" y="80" width="344" height="270"/>
        </children>
        <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WPiQsEeeu6I-nNWXkgQ"/>
      </children>
      <styles xsi:type="notation:ShapeStyle" xmi:id="_YM1WPyQsEeeu6I-nNWXkgQ" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
      <layoutConstraint xsi:type="notation:Bounds" xmi:id="_YM1WQCQsEeeu6I-nNWXkgQ" x="214" y="10" width="856" height="437"/>
    </children>
    <styles xsi:type="notation:DiagramStyle" xmi:id="_NPjBghA-EeGQ0KsLDV4EFg"/>
    <edges xmi:id="_YM8DcCQsEeeu6I-nNWXkgQ" type="Transition" element="_YM4ZIiQsEeeu6I-nNWXkgQ" source="_YM1V8iQsEeeu6I-nNWXkgQ" target="_YM1V-yQsEeeu6I-nNWXkgQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_YM8DcSQsEeeu6I-nNWXkgQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_YM8DciQsEeeu6I-nNWXkgQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_YM8DcyQsEeeu6I-nNWXkgQ" y="40"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_YM8DdCQsEeeu6I-nNWXkgQ" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_YM8DdSQsEeeu6I-nNWXkgQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_YM8DdiQsEeeu6I-nNWXkgQ" points="[7, 0, -124, -1]$[127, 0, -4, -1]"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YM8DdyQsEeeu6I-nNWXkgQ" id="(0.5854700854700855,0.0)"/>
    </edges>
    <edges xmi:id="_YM8qgCQsEeeu6I-nNWXkgQ" type="Transition" element="_YM5AKCQsEeeu6I-nNWXkgQ" source="_YM1V-yQsEeeu6I-nNWXkgQ" target="_YM1V5yQsEeeu6I-nNWXkgQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_YM8qgSQsEeeu6I-nNWXkgQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_YM8qgiQsEeeu6I-nNWXkgQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_YM8qgyQsEeeu6I-nNWXkgQ" x="4" y="-40"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_YM8qhCQsEeeu6I-nNWXkgQ" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_YM8qhSQsEeeu6I-nNWXkgQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_YM8qhiQsEeeu6I-nNWXkgQ" 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="_YM8qhyQsEeeu6I-nNWXkgQ" id="(0.452991452991453,0.9478260869565217)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YM8qiCQsEeeu6I-nNWXkgQ" id="(0.48484848484848486,0.0684931506849315)"/>
    </edges>
    <edges xmi:id="_YM8qiSQsEeeu6I-nNWXkgQ" type="Transition" element="_YM2j4iQsEeeu6I-nNWXkgQ" source="_YM1VxSQsEeeu6I-nNWXkgQ" target="_YM1VzyQsEeeu6I-nNWXkgQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_YM8qiiQsEeeu6I-nNWXkgQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_YM8qiyQsEeeu6I-nNWXkgQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_YM8qjCQsEeeu6I-nNWXkgQ" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_YM8qjSQsEeeu6I-nNWXkgQ" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_YM8qjiQsEeeu6I-nNWXkgQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_YM8qjyQsEeeu6I-nNWXkgQ" points="[-5, -8, 7, -62]$[-5, 52, 7, -2]"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YM8qkCQsEeeu6I-nNWXkgQ" id="(0.4847852310274296,0.004850746268656716)"/>
    </edges>
    <edges xmi:id="_YM8qkSQsEeeu6I-nNWXkgQ" type="Transition" element="_YM4ZHCQsEeeu6I-nNWXkgQ" source="_YM1V5yQsEeeu6I-nNWXkgQ" target="_YM1V3CQsEeeu6I-nNWXkgQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_YM8qkiQsEeeu6I-nNWXkgQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_YM8qkyQsEeeu6I-nNWXkgQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_YM8qlCQsEeeu6I-nNWXkgQ" x="4" y="-37"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_YM8qlSQsEeeu6I-nNWXkgQ" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_YM8qliQsEeeu6I-nNWXkgQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_YM8qlyQsEeeu6I-nNWXkgQ" points="[72, 68, 62, -65]$[72, 132, 62, -1]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YM8qmCQsEeeu6I-nNWXkgQ" id="(0.15151515151515152,0.0)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YM8qmSQsEeeu6I-nNWXkgQ" id="(0.19213973799126638,0.03389830508474576)"/>
    </edges>
    <edges xmi:id="_YM8qmiQsEeeu6I-nNWXkgQ" type="Transition" element="_YM3yDCQsEeeu6I-nNWXkgQ" source="_YM1V3CQsEeeu6I-nNWXkgQ" target="_YM1V-yQsEeeu6I-nNWXkgQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_YM8qmyQsEeeu6I-nNWXkgQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_YM8qnCQsEeeu6I-nNWXkgQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_YM8qnSQsEeeu6I-nNWXkgQ" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_YM8qniQsEeeu6I-nNWXkgQ" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_YM8qnyQsEeeu6I-nNWXkgQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_YM8qoCQsEeeu6I-nNWXkgQ" points="[6, 2, 4, 174]$[31, 2, 29, 174]$[31, -164, 29, 8]$[8, -164, 6, 8]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YM8qoSQsEeeu6I-nNWXkgQ" id="(0.9737991266375546,0.42592592592592593)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YM8qoiQsEeeu6I-nNWXkgQ" id="(0.9743589743589743,0.3391304347826087)"/>
    </edges>
    <edges xmi:id="_YM8qoyQsEeeu6I-nNWXkgQ" type="Transition" element="_YM5nRCQsEeeu6I-nNWXkgQ" source="_YM1WJCQsEeeu6I-nNWXkgQ" target="_YM1WLSQsEeeu6I-nNWXkgQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_YM8qpCQsEeeu6I-nNWXkgQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_YM8qpSQsEeeu6I-nNWXkgQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_YM8qpiQsEeeu6I-nNWXkgQ" y="40"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_YM8qpyQsEeeu6I-nNWXkgQ" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_YM8qqCQsEeeu6I-nNWXkgQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_YM8qqSQsEeeu6I-nNWXkgQ" points="[7, 0, -124, -1]$[127, 0, -4, -1]"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YM8qqiQsEeeu6I-nNWXkgQ" id="(0.5854700854700855,0.0)"/>
    </edges>
    <edges xmi:id="_YM8qqyQsEeeu6I-nNWXkgQ" type="Transition" element="_YM5nPiQsEeeu6I-nNWXkgQ" source="_YM1WGSQsEeeu6I-nNWXkgQ" target="_YM1WLSQsEeeu6I-nNWXkgQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_YM8qrCQsEeeu6I-nNWXkgQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_YM8qrSQsEeeu6I-nNWXkgQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_YM8qriQsEeeu6I-nNWXkgQ" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_YM8qryQsEeeu6I-nNWXkgQ" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_YM8qsCQsEeeu6I-nNWXkgQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_YM8qsSQsEeeu6I-nNWXkgQ" points="[188, 33, 4, 101]$[221, 33, 37, 101]$[221, -60, 37, 8]$[190, -60, 6, 8]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YM8qsiQsEeeu6I-nNWXkgQ" id="(0.1615720524017467,0.0)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YM8qsyQsEeeu6I-nNWXkgQ" id="(0.9743589743589743,0.3391304347826087)"/>
    </edges>
    <edges xmi:id="_YM8qtCQsEeeu6I-nNWXkgQ" type="Transition" element="_YM5nTSQsEeeu6I-nNWXkgQ" source="_YM1WLSQsEeeu6I-nNWXkgQ" target="_YM1WGSQsEeeu6I-nNWXkgQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_YM8qtSQsEeeu6I-nNWXkgQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_YM8qtiQsEeeu6I-nNWXkgQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_YM8qtyQsEeeu6I-nNWXkgQ" y="10"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_YM8quCQsEeeu6I-nNWXkgQ" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_YM8quSQsEeeu6I-nNWXkgQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_YM8quiQsEeeu6I-nNWXkgQ" points="[51, 49, 59, -44]$[51, 84, 59, -9]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YM8quyQsEeeu6I-nNWXkgQ" id="(0.19658119658119658,0.0)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YM8qvCQsEeeu6I-nNWXkgQ" id="(0.15283842794759825,0.1917808219178082)"/>
    </edges>
    <edges xmi:id="_YM8qvSQsEeeu6I-nNWXkgQ" type="Transition" element="_YM3K8SQsEeeu6I-nNWXkgQ" source="_YM1VzyQsEeeu6I-nNWXkgQ" target="_YM1WDCQsEeeu6I-nNWXkgQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_YM8qviQsEeeu6I-nNWXkgQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_YM8qvyQsEeeu6I-nNWXkgQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_YM8qwCQsEeeu6I-nNWXkgQ" x="-7" y="-13"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_YM8qwSQsEeeu6I-nNWXkgQ" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_YM8qwiQsEeeu6I-nNWXkgQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_YM8qwyQsEeeu6I-nNWXkgQ" points="[0, 53, -117, 0]$[117, 53, 0, 0]"/>
      <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YM8qxCQsEeeu6I-nNWXkgQ" id="(0.9826086956521739,0.08446573104626125)"/>
      <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_YM8qxSQsEeeu6I-nNWXkgQ" id="(0.0029239766081871343,0.17350157728706625)"/>
    </edges>
    <edges xmi:id="_YM9RkCQsEeeu6I-nNWXkgQ" type="Transition" element="_YM5nMSQsEeeu6I-nNWXkgQ" source="_YM1WDCQsEeeu6I-nNWXkgQ" target="_gVx9YCQtEeeu6I-nNWXkgQ">
      <children xsi:type="notation:DecorationNode" xmi:id="_YM9RkSQsEeeu6I-nNWXkgQ" type="TransitionExpression">
        <styles xsi:type="notation:ShapeStyle" xmi:id="_YM9RkiQsEeeu6I-nNWXkgQ"/>
        <layoutConstraint xsi:type="notation:Location" xmi:id="_YM9RkyQsEeeu6I-nNWXkgQ" x="-10" y="39"/>
      </children>
      <styles xsi:type="notation:ConnectorStyle" xmi:id="_YM9RlCQsEeeu6I-nNWXkgQ" routing="Rectilinear" lineColor="4210752"/>
      <styles xsi:type="notation:FontStyle" xmi:id="_YM9RlSQsEeeu6I-nNWXkgQ" fontName="Verdana"/>
      <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_YM9RliQsEeeu6I-nNWXkgQ" 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="_YM9RlyQsEeeu6I-nNWXkgQ" id="(0.0,0.5394321766561514)"/>
    </edges>
  </notation:Diagram>
</xmi:XMI>