tdse-tp1_02-sensor_statechart

Index Commits Files Refs
sensor_statechart.ysc (25973B)
   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <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">
   3   <sgraph:Statechart xmi:id="_PBMBYJBPEfC3W6DkSSNxEA" specification="// Use the event driven execution model.&#xA;// Switch to cycle based behavior&#xA;// by specifying '@CycleBased(200)'.&#xA;@EventDriven&#xA;&#xA;// Use @SuperSteps(yes) to enable&#xA;// super step semantics.&#xA;@SuperSteps(no)&#xD;&#xA;&#xA;interface:&#xA;&#x9;in event EV_BTN_UP&#xA;&#x9;in event EV_BTN_DOWN&#xA;&#x9;&#xA;&#x9;out event EV_SYS_BTN_PRESSED&#xA;&#x9;out event EV_SYS_BTN_RELEASED&#xA;&#x9;&#xA;&#x9;internal:&#xA;&#x9;var tick: integer&#xA;&#x9;const TICK_START = 2 // 2 ms" name="sensor_statechart">
   4     <regions xmi:id="_PBQ565BPEfC3W6DkSSNxEA" name="main region">
   5       <vertices xsi:type="sgraph:Entry" xmi:id="_PBQ57JBPEfC3W6DkSSNxEA">
   6         <outgoingTransitions xmi:id="_PBQ57ZBPEfC3W6DkSSNxEA" target="_PBSIAJBPEfC3W6DkSSNxEA"/>
   7       </vertices>
   8       <vertices xsi:type="sgraph:State" xmi:id="_PBSIAJBPEfC3W6DkSSNxEA" name="ST_BTN_HIGH" incomingTransitions="_PBQ57ZBPEfC3W6DkSSNxEA _pygncJBSEfC3W6DkSSNxEA _f_7BIJBUEfC3W6DkSSNxEA">
   9         <outgoingTransitions xmi:id="_PBSIA5BPEfC3W6DkSSNxEA" specification="EV_BTN_DOWN / tick = TICK_START&#xD;&#xA;" target="_PBSvE5BPEfC3W6DkSSNxEA"/>
  10       </vertices>
  11       <vertices xsi:type="sgraph:State" xmi:id="_PBSvE5BPEfC3W6DkSSNxEA" name="ST_BTN_FALLING" incomingTransitions="_PBSIA5BPEfC3W6DkSSNxEA _tnKaQJBREfC3W6DkSSNxEA _kOdUKJDCEfCaq9Kbq4cmHw">
  12         <outgoingTransitions xmi:id="_tnKaQJBREfC3W6DkSSNxEA" specification="EV_BTN_UP [tick > 0] /&#xD;&#xA;tick--&#xD;&#xA;" target="_PBSvE5BPEfC3W6DkSSNxEA"/>
  13         <outgoingTransitions xmi:id="_pygncJBSEfC3W6DkSSNxEA" specification="EV_BTN_UP [tick == 0]" target="_PBSIAJBPEfC3W6DkSSNxEA"/>
  14         <outgoingTransitions xmi:id="_kOdUKJDCEfCaq9Kbq4cmHw" specification="EV_BTN_DOWN [tick > 0] /&#xA;tick--" target="_PBSvE5BPEfC3W6DkSSNxEA"/>
  15         <outgoingTransitions xmi:id="_UOhFEJBTEfC3W6DkSSNxEA" specification="EV_BTN_DOWN [tick == 0] /&#xA;raise EV_SYS_BTN_PRESSED" target="_eNjzAJBREfC3W6DkSSNxEA"/>
  16       </vertices>
  17       <vertices xsi:type="sgraph:State" xmi:id="_O1JekJBREfC3W6DkSSNxEA" name="ST_BTN_RISING" incomingTransitions="_hlRDwJBTEfC3W6DkSSNxEA _Gamz0JBUEfC3W6DkSSNxEA _Oph9EJBUEfC3W6DkSSNxEA">
  18         <outgoingTransitions xmi:id="_Gamz0JBUEfC3W6DkSSNxEA" specification="EV_BTN_UP [tick > 0] /&#xD;&#xA;tick--" target="_O1JekJBREfC3W6DkSSNxEA"/>
  19         <outgoingTransitions xmi:id="_Oph9EJBUEfC3W6DkSSNxEA" specification="EV_BTN_DOWN [tick > 0] /&#xD;&#xA;tick--" target="_O1JekJBREfC3W6DkSSNxEA"/>
  20         <outgoingTransitions xmi:id="_f_7BIJBUEfC3W6DkSSNxEA" specification="EV_BTN_UP [tick == 0] /&#xD;&#xA;raise EV_SYS_BTN_RELEASED" target="_PBSIAJBPEfC3W6DkSSNxEA"/>
  21         <outgoingTransitions xmi:id="_I2SCEJDCEfCaq9Kbq4cmHw" specification="EV_BTN_DOWN [tick == 0]" target="_eNjzAJBREfC3W6DkSSNxEA"/>
  22       </vertices>
  23       <vertices xsi:type="sgraph:State" xmi:id="_eNjzAJBREfC3W6DkSSNxEA" name="ST_BTN_LOW" incomingTransitions="_UOhFEJBTEfC3W6DkSSNxEA _-uKskJBTEfC3W6DkSSNxEA _I2SCEJDCEfCaq9Kbq4cmHw">
  24         <outgoingTransitions xmi:id="_hlRDwJBTEfC3W6DkSSNxEA" specification="EV_BTN_UP / tick = TICK_START" target="_O1JekJBREfC3W6DkSSNxEA"/>
  25         <outgoingTransitions xmi:id="_-uKskJBTEfC3W6DkSSNxEA" specification="EV_BTN_DOWN" target="_eNjzAJBREfC3W6DkSSNxEA"/>
  26       </vertices>
  27     </regions>
  28   </sgraph:Statechart>
  29   <notation:Diagram xmi:id="_PBTWIJBPEfC3W6DkSSNxEA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_PBMBYJBPEfC3W6DkSSNxEA" measurementUnit="Pixel">
  30     <children xmi:id="_PBTWIZBPEfC3W6DkSSNxEA" type="Region" element="_PBQ565BPEfC3W6DkSSNxEA">
  31       <children xsi:type="notation:DecorationNode" xmi:id="_PBTWIpBPEfC3W6DkSSNxEA" type="RegionName">
  32         <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWI5BPEfC3W6DkSSNxEA"/>
  33         <layoutConstraint xsi:type="notation:Location" xmi:id="_PBTWJJBPEfC3W6DkSSNxEA"/>
  34       </children>
  35       <children xsi:type="notation:Shape" xmi:id="_PBTWJZBPEfC3W6DkSSNxEA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  36         <children xmi:id="_PBTWJpBPEfC3W6DkSSNxEA" type="Entry" element="_PBQ57JBPEfC3W6DkSSNxEA">
  37           <children xmi:id="_PBTWJ5BPEfC3W6DkSSNxEA" type="BorderItemLabelContainer">
  38             <children xsi:type="notation:DecorationNode" xmi:id="_PBTWKJBPEfC3W6DkSSNxEA" type="BorderItemLabel">
  39               <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWKZBPEfC3W6DkSSNxEA"/>
  40               <layoutConstraint xsi:type="notation:Location" xmi:id="_PBTWKpBPEfC3W6DkSSNxEA"/>
  41             </children>
  42             <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWK5BPEfC3W6DkSSNxEA" fontName="Verdana" lineColor="4210752"/>
  43             <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWLJBPEfC3W6DkSSNxEA"/>
  44           </children>
  45           <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWLZBPEfC3W6DkSSNxEA" fontName="Verdana" fillColor="0" lineColor="16777215"/>
  46           <styles xsi:type="notation:NamedStyle" xmi:id="_PBTWLpBPEfC3W6DkSSNxEA" name="allowColors"/>
  47           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWL5BPEfC3W6DkSSNxEA" x="194" y="27" width="15" height="15"/>
  48         </children>
  49         <children xmi:id="_PBTWMJBPEfC3W6DkSSNxEA" type="State" element="_PBSIAJBPEfC3W6DkSSNxEA">
  50           <children xsi:type="notation:DecorationNode" xmi:id="_PBTWMZBPEfC3W6DkSSNxEA" type="StateName">
  51             <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWMpBPEfC3W6DkSSNxEA"/>
  52             <layoutConstraint xsi:type="notation:Location" xmi:id="_PBTWM5BPEfC3W6DkSSNxEA"/>
  53           </children>
  54           <children xsi:type="notation:Compartment" xmi:id="_PBTWNJBPEfC3W6DkSSNxEA" type="StateTextCompartment">
  55             <children xsi:type="notation:Shape" xmi:id="_PBTWNZBPEfC3W6DkSSNxEA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  56               <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWNpBPEfC3W6DkSSNxEA"/>
  57             </children>
  58           </children>
  59           <children xsi:type="notation:Compartment" xmi:id="_PBTWN5BPEfC3W6DkSSNxEA" type="StateFigureCompartment"/>
  60           <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWOJBPEfC3W6DkSSNxEA" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
  61           <styles xsi:type="notation:FontStyle" xmi:id="_PBTWOZBPEfC3W6DkSSNxEA"/>
  62           <styles xsi:type="notation:BooleanValueStyle" xmi:id="_PBTWOpBPEfC3W6DkSSNxEA" name="isHorizontal" booleanValue="true"/>
  63           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWO5BPEfC3W6DkSSNxEA" x="139" y="62" width="125" height="72"/>
  64         </children>
  65         <children xmi:id="_PBTWPJBPEfC3W6DkSSNxEA" type="State" element="_PBSvE5BPEfC3W6DkSSNxEA">
  66           <children xsi:type="notation:DecorationNode" xmi:id="_PBTWPZBPEfC3W6DkSSNxEA" type="StateName">
  67             <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWPpBPEfC3W6DkSSNxEA"/>
  68             <layoutConstraint xsi:type="notation:Location" xmi:id="_PBTWP5BPEfC3W6DkSSNxEA"/>
  69           </children>
  70           <children xsi:type="notation:Compartment" xmi:id="_PBTWQJBPEfC3W6DkSSNxEA" type="StateTextCompartment">
  71             <children xsi:type="notation:Shape" xmi:id="_PBTWQZBPEfC3W6DkSSNxEA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  72               <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWQpBPEfC3W6DkSSNxEA"/>
  73             </children>
  74           </children>
  75           <children xsi:type="notation:Compartment" xmi:id="_PBTWQ5BPEfC3W6DkSSNxEA" type="StateFigureCompartment"/>
  76           <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWRJBPEfC3W6DkSSNxEA" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
  77           <styles xsi:type="notation:FontStyle" xmi:id="_PBTWRZBPEfC3W6DkSSNxEA"/>
  78           <styles xsi:type="notation:BooleanValueStyle" xmi:id="_PBTWRpBPEfC3W6DkSSNxEA" name="isHorizontal" booleanValue="true"/>
  79           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWR5BPEfC3W6DkSSNxEA" x="595" y="62" width="144" height="72"/>
  80         </children>
  81         <children xmi:id="_O1QzUJBREfC3W6DkSSNxEA" type="State" element="_O1JekJBREfC3W6DkSSNxEA">
  82           <children xsi:type="notation:DecorationNode" xmi:id="_O1RaYJBREfC3W6DkSSNxEA" type="StateName">
  83             <styles xsi:type="notation:ShapeStyle" xmi:id="_O1RaYZBREfC3W6DkSSNxEA"/>
  84             <layoutConstraint xsi:type="notation:Location" xmi:id="_O1RaYpBREfC3W6DkSSNxEA"/>
  85           </children>
  86           <children xsi:type="notation:Compartment" xmi:id="_O1RaY5BREfC3W6DkSSNxEA" type="StateTextCompartment">
  87             <children xsi:type="notation:Shape" xmi:id="_O1SBcJBREfC3W6DkSSNxEA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  88               <layoutConstraint xsi:type="notation:Bounds" xmi:id="_O1SBcZBREfC3W6DkSSNxEA"/>
  89             </children>
  90           </children>
  91           <children xsi:type="notation:Compartment" xmi:id="_O1SogJBREfC3W6DkSSNxEA" type="StateFigureCompartment"/>
  92           <styles xsi:type="notation:ShapeStyle" xmi:id="_O1QzUZBREfC3W6DkSSNxEA" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
  93           <styles xsi:type="notation:FontStyle" xmi:id="_O1QzUpBREfC3W6DkSSNxEA"/>
  94           <styles xsi:type="notation:BooleanValueStyle" xmi:id="_O1SogZBREfC3W6DkSSNxEA" name="isHorizontal" booleanValue="true"/>
  95           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_O1QzU5BREfC3W6DkSSNxEA" x="134" y="272" width="132" height="61"/>
  96         </children>
  97         <children xmi:id="_eNndYJBREfC3W6DkSSNxEA" type="State" element="_eNjzAJBREfC3W6DkSSNxEA">
  98           <children xsi:type="notation:DecorationNode" xmi:id="_eNoEcJBREfC3W6DkSSNxEA" type="StateName">
  99             <styles xsi:type="notation:ShapeStyle" xmi:id="_eNoEcZBREfC3W6DkSSNxEA"/>
 100             <layoutConstraint xsi:type="notation:Location" xmi:id="_eNoEcpBREfC3W6DkSSNxEA"/>
 101           </children>
 102           <children xsi:type="notation:Compartment" xmi:id="_eNoEc5BREfC3W6DkSSNxEA" type="StateTextCompartment">
 103             <children xsi:type="notation:Shape" xmi:id="_eNorgJBREfC3W6DkSSNxEA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
 104               <layoutConstraint xsi:type="notation:Bounds" xmi:id="_eNorgZBREfC3W6DkSSNxEA"/>
 105             </children>
 106           </children>
 107           <children xsi:type="notation:Compartment" xmi:id="_eNorgpBREfC3W6DkSSNxEA" type="StateFigureCompartment"/>
 108           <styles xsi:type="notation:ShapeStyle" xmi:id="_eNndYZBREfC3W6DkSSNxEA" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
 109           <styles xsi:type="notation:FontStyle" xmi:id="_eNndYpBREfC3W6DkSSNxEA"/>
 110           <styles xsi:type="notation:BooleanValueStyle" xmi:id="_eNorg5BREfC3W6DkSSNxEA" name="isHorizontal" booleanValue="true"/>
 111           <layoutConstraint xsi:type="notation:Bounds" xmi:id="_eNndY5BREfC3W6DkSSNxEA" x="595" y="275" width="144" height="53"/>
 112         </children>
 113         <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWSJBPEfC3W6DkSSNxEA"/>
 114       </children>
 115       <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWSZBPEfC3W6DkSSNxEA" fontName="Verdana" fillColor="16448250" lineColor="12632256"/>
 116       <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWSpBPEfC3W6DkSSNxEA" x="5" y="43" width="945" height="595"/>
 117     </children>
 118     <children xsi:type="notation:Shape" xmi:id="_PBTWS5BPEfC3W6DkSSNxEA" type="StatechartText" fontName="Verdana" lineColor="4210752">
 119       <children xsi:type="notation:DecorationNode" xmi:id="_PBTWTJBPEfC3W6DkSSNxEA" type="StatechartName">
 120         <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWTZBPEfC3W6DkSSNxEA"/>
 121         <layoutConstraint xsi:type="notation:Location" xmi:id="_PBTWTpBPEfC3W6DkSSNxEA"/>
 122       </children>
 123       <children xsi:type="notation:Shape" xmi:id="_PBTWT5BPEfC3W6DkSSNxEA" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
 124         <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWUJBPEfC3W6DkSSNxEA"/>
 125       </children>
 126       <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWUZBPEfC3W6DkSSNxEA" x="10" y="10" width="200" height="400"/>
 127     </children>
 128     <styles xsi:type="notation:BooleanValueStyle" xmi:id="_PBTWUpBPEfC3W6DkSSNxEA" name="inlineDefinitionSection"/>
 129     <styles xsi:type="notation:DiagramStyle" xmi:id="_PBTWU5BPEfC3W6DkSSNxEA"/>
 130     <edges xmi:id="_PBTWVJBPEfC3W6DkSSNxEA" type="Transition" element="_PBQ57ZBPEfC3W6DkSSNxEA" source="_PBTWJpBPEfC3W6DkSSNxEA" target="_PBTWMJBPEfC3W6DkSSNxEA">
 131       <children xsi:type="notation:DecorationNode" xmi:id="_PBTWVZBPEfC3W6DkSSNxEA" type="TransitionExpression">
 132         <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWVpBPEfC3W6DkSSNxEA"/>
 133         <layoutConstraint xsi:type="notation:Location" xmi:id="_PBTWV5BPEfC3W6DkSSNxEA" x="-10" y="10"/>
 134       </children>
 135       <styles xsi:type="notation:ConnectorStyle" xmi:id="_PBTWWJBPEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
 136       <styles xsi:type="notation:FontStyle" xmi:id="_PBTWWZBPEfC3W6DkSSNxEA" fontName="Verdana"/>
 137       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_PBTWWpBPEfC3W6DkSSNxEA" points="[1, 1, 0, -57]$[1, 22, 0, -36]"/>
 138       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_7X1HoJC7EfCaq9Kbq4cmHw" id="(0.4,0.8666666666666667)"/>
 139     </edges>
 140     <edges xmi:id="_PBTWW5BPEfC3W6DkSSNxEA" type="Transition" element="_PBSIA5BPEfC3W6DkSSNxEA" source="_PBTWMJBPEfC3W6DkSSNxEA" target="_PBTWPJBPEfC3W6DkSSNxEA">
 141       <children xsi:type="notation:DecorationNode" xmi:id="_PBTWXJBPEfC3W6DkSSNxEA" type="TransitionExpression">
 142         <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWXZBPEfC3W6DkSSNxEA"/>
 143         <layoutConstraint xsi:type="notation:Location" xmi:id="_PBTWXpBPEfC3W6DkSSNxEA" y="-3"/>
 144       </children>
 145       <styles xsi:type="notation:ConnectorStyle" xmi:id="_PBTWX5BPEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
 146       <styles xsi:type="notation:FontStyle" xmi:id="_PBTWYJBPEfC3W6DkSSNxEA" fontName="Verdana"/>
 147       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_PBTWYZBPEfC3W6DkSSNxEA" points="[35, 7, -355, 10]$[366, 7, -24, 10]"/>
 148       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_PBTWYpBPEfC3W6DkSSNxEA" id="(0.7241379310344828,0.22641509433962265)"/>
 149       <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_PBTWY5BPEfC3W6DkSSNxEA" id="(0.1724137931034483,0.18867924528301888)"/>
 150     </edges>
 151     <edges xmi:id="_tnS9IJBREfC3W6DkSSNxEA" type="Transition" element="_tnKaQJBREfC3W6DkSSNxEA" source="_PBTWPJBPEfC3W6DkSSNxEA" target="_PBTWPJBPEfC3W6DkSSNxEA">
 152       <children xsi:type="notation:DecorationNode" xmi:id="_tnTkMJBREfC3W6DkSSNxEA" type="TransitionExpression">
 153         <styles xsi:type="notation:ShapeStyle" xmi:id="_tnTkMZBREfC3W6DkSSNxEA"/>
 154         <layoutConstraint xsi:type="notation:Location" xmi:id="_tnTkMpBREfC3W6DkSSNxEA" x="12" y="-36"/>
 155       </children>
 156       <styles xsi:type="notation:ConnectorStyle" xmi:id="_tnS9IZBREfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
 157       <styles xsi:type="notation:FontStyle" xmi:id="_tnS9I5BREfC3W6DkSSNxEA" fontName="Verdana"/>
 158       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_tnS9IpBREfC3W6DkSSNxEA" points="[89, -23, 88, -23]$[141, -23, 140, -23]$[141, 22, 140, 22]$[49, 22, 48, 22]$[49, 0, 48, 0]"/>
 159       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_tnZDwJBREfC3W6DkSSNxEA" id="(0.3880597014925373,1.0)"/>
 160       <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_tnZDwZBREfC3W6DkSSNxEA" id="(0.39552238805970147,1.0)"/>
 161     </edges>
 162     <edges xmi:id="_pyjDsJBSEfC3W6DkSSNxEA" type="Transition" element="_pygncJBSEfC3W6DkSSNxEA" source="_PBTWPJBPEfC3W6DkSSNxEA" target="_PBTWMJBPEfC3W6DkSSNxEA">
 163       <children xsi:type="notation:DecorationNode" xmi:id="_pyjqwZBSEfC3W6DkSSNxEA" type="TransitionExpression">
 164         <styles xsi:type="notation:ShapeStyle" xmi:id="_pyjqwpBSEfC3W6DkSSNxEA"/>
 165         <layoutConstraint xsi:type="notation:Location" xmi:id="_pyjqw5BSEfC3W6DkSSNxEA" x="-5" y="-17"/>
 166       </children>
 167       <styles xsi:type="notation:ConnectorStyle" xmi:id="_pyjDsZBSEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
 168       <styles xsi:type="notation:FontStyle" xmi:id="_pyjqwJBSEfC3W6DkSSNxEA" fontName="Verdana"/>
 169       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_pyjDspBSEfC3W6DkSSNxEA" points="[0, 7, 345, 9]$[-331, 7, 14, 9]"/>
 170       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_pymHAJBSEfC3W6DkSSNxEA" id="(0.0,0.5416666666666666)"/>
 171       <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_pymHAZBSEfC3W6DkSSNxEA" id="(0.888,0.5138888888888888)"/>
 172     </edges>
 173     <edges xmi:id="_kOdUIJDCEfCaq9Kbq4cmHw" type="Transition" element="_kOdUKJDCEfCaq9Kbq4cmHw" source="_PBTWPJBPEfC3W6DkSSNxEA" target="_PBTWPJBPEfC3W6DkSSNxEA">
 174       <children xsi:type="notation:DecorationNode" xmi:id="_kOdUJZDCEfCaq9Kbq4cmHw" type="TransitionExpression">
 175         <styles xsi:type="notation:ShapeStyle" xmi:id="_kOdUJ5DCEfCaq9Kbq4cmHw"/>
 176         <layoutConstraint xsi:type="notation:Location" xmi:id="_kOdUJpDCEfCaq9Kbq4cmHw" x="-35" y="-24"/>
 177       </children>
 178       <styles xsi:type="notation:ConnectorStyle" xmi:id="_kOdUJJDCEfCaq9Kbq4cmHw" routing="Rectilinear" lineColor="4210752"/>
 179       <styles xsi:type="notation:FontStyle" xmi:id="_kOdUI5DCEfCaq9Kbq4cmHw" fontName="Verdana"/>
 180       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_kOdUIpDCEfCaq9Kbq4cmHw" points="[23, 0, -2, -36]$[23, -21, -2, -57]$[148, -21, 123, -57]$[148, 15, 123, -21]$[97, 15, 72, -21]"/>
 181       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_kOdUIZDCEfCaq9Kbq4cmHw" id="(0.3283582089552239,0.0)"/>
 182     </edges>
 183     <edges xmi:id="_UOsEMJBTEfC3W6DkSSNxEA" type="Transition" element="_UOhFEJBTEfC3W6DkSSNxEA" source="_PBTWPJBPEfC3W6DkSSNxEA" target="_eNndYJBREfC3W6DkSSNxEA">
 184       <children xsi:type="notation:DecorationNode" xmi:id="_UOsrQJBTEfC3W6DkSSNxEA" type="TransitionExpression">
 185         <styles xsi:type="notation:ShapeStyle" xmi:id="_UOsrQZBTEfC3W6DkSSNxEA"/>
 186         <layoutConstraint xsi:type="notation:Location" xmi:id="_UOsrQpBTEfC3W6DkSSNxEA" x="-12" y="95"/>
 187       </children>
 188       <styles xsi:type="notation:ConnectorStyle" xmi:id="_UOsEMZBTEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
 189       <styles xsi:type="notation:FontStyle" xmi:id="_UOsEM5BTEfC3W6DkSSNxEA" fontName="Verdana"/>
 190       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_UOsEMpBTEfC3W6DkSSNxEA" points="[24, 0, 35, -143]$[24, 141, 35, -2]"/>
 191       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_UOzY8JBTEfC3W6DkSSNxEA" id="(0.3208955223880597,1.0)"/>
 192       <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_UOzY8ZBTEfC3W6DkSSNxEA" id="(0.2462686567164179,0.03773584905660377)"/>
 193     </edges>
 194     <edges xmi:id="_hlWjUJBTEfC3W6DkSSNxEA" type="Transition" element="_hlRDwJBTEfC3W6DkSSNxEA" source="_eNndYJBREfC3W6DkSSNxEA" target="_O1QzUJBREfC3W6DkSSNxEA">
 195       <children xsi:type="notation:DecorationNode" xmi:id="_hlXKYJBTEfC3W6DkSSNxEA" type="TransitionExpression">
 196         <styles xsi:type="notation:ShapeStyle" xmi:id="_hlXKYZBTEfC3W6DkSSNxEA"/>
 197         <layoutConstraint xsi:type="notation:Location" xmi:id="_hlXKYpBTEfC3W6DkSSNxEA" x="-11" y="17"/>
 198       </children>
 199       <styles xsi:type="notation:ConnectorStyle" xmi:id="_hlWjUZBTEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
 200       <styles xsi:type="notation:FontStyle" xmi:id="_hlWjU5BTEfC3W6DkSSNxEA" fontName="Verdana"/>
 201       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_hlWjUpBTEfC3W6DkSSNxEA" points="[-45, 17, 341, -6]$[-374, 17, 12, -6]"/>
 202       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_hlcC4JBTEfC3W6DkSSNxEA" id="(0.31343283582089554,0.0)"/>
 203       <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_hlcp8JBTEfC3W6DkSSNxEA" id="(0.912,0.4339622641509434)"/>
 204     </edges>
 205     <edges xmi:id="_-uVrsJBTEfC3W6DkSSNxEA" type="Transition" element="_-uKskJBTEfC3W6DkSSNxEA" source="_eNndYJBREfC3W6DkSSNxEA" target="_eNndYJBREfC3W6DkSSNxEA">
 206       <children xsi:type="notation:DecorationNode" xmi:id="_-uWSwZBTEfC3W6DkSSNxEA" type="TransitionExpression">
 207         <styles xsi:type="notation:ShapeStyle" xmi:id="_-uWSwpBTEfC3W6DkSSNxEA"/>
 208         <layoutConstraint xsi:type="notation:Location" xmi:id="_-uWSw5BTEfC3W6DkSSNxEA" x="37" y="-14"/>
 209       </children>
 210       <styles xsi:type="notation:ConnectorStyle" xmi:id="_-uVrsZBTEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
 211       <styles xsi:type="notation:FontStyle" xmi:id="_-uWSwJBTEfC3W6DkSSNxEA" fontName="Verdana"/>
 212       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_-uVrspBTEfC3W6DkSSNxEA" points="[0, -11, 0, -12]$[48, -11, 48, -12]$[48, 44, 48, 43]$[-74, 44, -74, 43]$[-74, 18, -74, 17]"/>
 213       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-udAcJBTEfC3W6DkSSNxEA" id="(1.0,0.660377358490566)"/>
 214       <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-udngJBTEfC3W6DkSSNxEA" id="(1.0,0.6792452830188679)"/>
 215     </edges>
 216     <edges xmi:id="_GapQEJBUEfC3W6DkSSNxEA" type="Transition" element="_Gamz0JBUEfC3W6DkSSNxEA" source="_O1QzUJBREfC3W6DkSSNxEA" target="_O1QzUJBREfC3W6DkSSNxEA">
 217       <children xsi:type="notation:DecorationNode" xmi:id="_Gap3IZBUEfC3W6DkSSNxEA" type="TransitionExpression">
 218         <styles xsi:type="notation:ShapeStyle" xmi:id="_Gap3IpBUEfC3W6DkSSNxEA"/>
 219         <layoutConstraint xsi:type="notation:Location" xmi:id="_GaqeMJBUEfC3W6DkSSNxEA" x="-17" y="-20"/>
 220       </children>
 221       <styles xsi:type="notation:ConnectorStyle" xmi:id="_GapQEZBUEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
 222       <styles xsi:type="notation:FontStyle" xmi:id="_Gap3IJBUEfC3W6DkSSNxEA" fontName="Verdana"/>
 223       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_GapQEpBUEfC3W6DkSSNxEA" points="[-89, 13, -28, 1]$[-89, 37, -28, 25]$[-156, 37, -95, 25]$[-156, -6, -95, -18]$[-132, -6, -71, -18]"/>
 224       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Gav9wJBUEfC3W6DkSSNxEA" id="(0.9924812030075187,0.7547169811320755)"/>
 225       <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Gav9wZBUEfC3W6DkSSNxEA" id="(0.536,0.9811320754716981)"/>
 226     </edges>
 227     <edges xmi:id="_Opqf8JBUEfC3W6DkSSNxEA" type="Transition" element="_Oph9EJBUEfC3W6DkSSNxEA" source="_O1QzUJBREfC3W6DkSSNxEA" target="_O1QzUJBREfC3W6DkSSNxEA">
 228       <children xsi:type="notation:DecorationNode" xmi:id="_OprHAJBUEfC3W6DkSSNxEA" type="TransitionExpression">
 229         <styles xsi:type="notation:ShapeStyle" xmi:id="_OprHAZBUEfC3W6DkSSNxEA"/>
 230         <layoutConstraint xsi:type="notation:Location" xmi:id="_OprHApBUEfC3W6DkSSNxEA" x="7" y="10"/>
 231       </children>
 232       <styles xsi:type="notation:ConnectorStyle" xmi:id="_Opqf8ZBUEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
 233       <styles xsi:type="notation:FontStyle" xmi:id="_Opqf85BUEfC3W6DkSSNxEA" fontName="Verdana"/>
 234       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Opqf8pBUEfC3W6DkSSNxEA" points="[-90, -31, 8, -49]$[-90, -54, 8, -72]$[-159, -54, -61, -72]$[-159, -16, -61, -34]$[-133, -16, -35, -34]"/>
 235       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_OpxNoJBUEfC3W6DkSSNxEA" id="(1.0,0.5849056603773585)"/>
 236       <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_OpxNoZBUEfC3W6DkSSNxEA" id="(0.264,0.9245283018867925)"/>
 237     </edges>
 238     <edges xmi:id="_f_-rgJBUEfC3W6DkSSNxEA" type="Transition" element="_f_7BIJBUEfC3W6DkSSNxEA" source="_O1QzUJBREfC3W6DkSSNxEA" target="_PBTWMJBPEfC3W6DkSSNxEA">
 239       <children xsi:type="notation:DecorationNode" xmi:id="_f_-rhJBUEfC3W6DkSSNxEA" type="TransitionExpression">
 240         <styles xsi:type="notation:ShapeStyle" xmi:id="_f_-rhZBUEfC3W6DkSSNxEA"/>
 241         <layoutConstraint xsi:type="notation:Location" xmi:id="_f_-rhpBUEfC3W6DkSSNxEA" x="12" y="99"/>
 242       </children>
 243       <styles xsi:type="notation:ConnectorStyle" xmi:id="_f_-rgZBUEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
 244       <styles xsi:type="notation:FontStyle" xmi:id="_f_-rg5BUEfC3W6DkSSNxEA" fontName="Verdana"/>
 245       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_f_-rgpBUEfC3W6DkSSNxEA" points="[18, 0, 22, 140]$[18, -138, 22, 2]"/>
 246       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_gAC88JBUEfC3W6DkSSNxEA" id="(0.376,0.0)"/>
 247       <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_gADkAJBUEfC3W6DkSSNxEA" id="(0.32,0.9722222222222222)"/>
 248     </edges>
 249     <edges xmi:id="_I2SpIJDCEfCaq9Kbq4cmHw" type="Transition" element="_I2SCEJDCEfCaq9Kbq4cmHw" source="_O1QzUJBREfC3W6DkSSNxEA" target="_eNndYJBREfC3W6DkSSNxEA">
 250       <children xsi:type="notation:DecorationNode" xmi:id="_I2SpJJDCEfCaq9Kbq4cmHw" type="TransitionExpression">
 251         <styles xsi:type="notation:ShapeStyle" xmi:id="_I2SpJZDCEfCaq9Kbq4cmHw"/>
 252         <layoutConstraint xsi:type="notation:Location" xmi:id="_I2SpJpDCEfCaq9Kbq4cmHw" x="1" y="20"/>
 253       </children>
 254       <styles xsi:type="notation:ConnectorStyle" xmi:id="_I2SpIZDCEfCaq9Kbq4cmHw" routing="Rectilinear" lineColor="4210752"/>
 255       <styles xsi:type="notation:FontStyle" xmi:id="_I2SpI5DCEfCaq9Kbq4cmHw" fontName="Verdana"/>
 256       <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_I2SpIpDCEfCaq9Kbq4cmHw" points="[5, -4, -331, -4]$[334, -4, -2, -4]"/>
 257       <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_I2TQMJDCEfCaq9Kbq4cmHw" id="(0.9621212121212122,0.6721311475409836)"/>
 258       <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_I2TQMZDCEfCaq9Kbq4cmHw" id="(0.013888888888888888,0.7169811320754716)"/>
 259     </edges>
 260   </notation:Diagram>
 261 </xmi:XMI>