commit 8251f8c449bacd40313bc8a9c3be379667731237
Author: Martin Kloeckner <mjkloeckner@gmail.com>
Date: Sat, 13 Sep 2025 15:39:47 -0300
first commit
Diffstat:
| A | sensor_statechart.ysc | | | 261 | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ |
1 file changed, 261 insertions(+), 0 deletions(-)
diff --git a/sensor_statechart.ysc b/sensor_statechart.ysc
@@ -0,0 +1,261 @@
+<?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="_PBMBYJBPEfC3W6DkSSNxEA" specification="// Use the event driven execution model.
// Switch to cycle based behavior
// by specifying '@CycleBased(200)'.
@EventDriven

// Use @SuperSteps(yes) to enable
// super step semantics.
@SuperSteps(no)

interface:
	in event EV_BTN_UP
	in event EV_BTN_DOWN
	
	out event EV_SYS_BTN_PRESSED
	out event EV_SYS_BTN_RELEASED
	
	internal:
	var tick: integer
	const TICK_START = 2 // 2 ms" name="sensor_statechart">
+ <regions xmi:id="_PBQ565BPEfC3W6DkSSNxEA" name="main region">
+ <vertices xsi:type="sgraph:Entry" xmi:id="_PBQ57JBPEfC3W6DkSSNxEA">
+ <outgoingTransitions xmi:id="_PBQ57ZBPEfC3W6DkSSNxEA" target="_PBSIAJBPEfC3W6DkSSNxEA"/>
+ </vertices>
+ <vertices xsi:type="sgraph:State" xmi:id="_PBSIAJBPEfC3W6DkSSNxEA" name="ST_BTN_HIGH" incomingTransitions="_PBQ57ZBPEfC3W6DkSSNxEA _pygncJBSEfC3W6DkSSNxEA _f_7BIJBUEfC3W6DkSSNxEA">
+ <outgoingTransitions xmi:id="_PBSIA5BPEfC3W6DkSSNxEA" specification="EV_BTN_DOWN / tick = TICK_START
" target="_PBSvE5BPEfC3W6DkSSNxEA"/>
+ </vertices>
+ <vertices xsi:type="sgraph:State" xmi:id="_PBSvE5BPEfC3W6DkSSNxEA" name="ST_BTN_FALLING" incomingTransitions="_PBSIA5BPEfC3W6DkSSNxEA _tnKaQJBREfC3W6DkSSNxEA _kOdUKJDCEfCaq9Kbq4cmHw">
+ <outgoingTransitions xmi:id="_tnKaQJBREfC3W6DkSSNxEA" specification="EV_BTN_UP [tick > 0] /
tick--
" target="_PBSvE5BPEfC3W6DkSSNxEA"/>
+ <outgoingTransitions xmi:id="_pygncJBSEfC3W6DkSSNxEA" specification="EV_BTN_UP [tick == 0]" target="_PBSIAJBPEfC3W6DkSSNxEA"/>
+ <outgoingTransitions xmi:id="_kOdUKJDCEfCaq9Kbq4cmHw" specification="EV_BTN_DOWN [tick > 0] /
tick--" target="_PBSvE5BPEfC3W6DkSSNxEA"/>
+ <outgoingTransitions xmi:id="_UOhFEJBTEfC3W6DkSSNxEA" specification="EV_BTN_DOWN [tick == 0] /
raise EV_SYS_BTN_PRESSED" target="_eNjzAJBREfC3W6DkSSNxEA"/>
+ </vertices>
+ <vertices xsi:type="sgraph:State" xmi:id="_O1JekJBREfC3W6DkSSNxEA" name="ST_BTN_RISING" incomingTransitions="_hlRDwJBTEfC3W6DkSSNxEA _Gamz0JBUEfC3W6DkSSNxEA _Oph9EJBUEfC3W6DkSSNxEA">
+ <outgoingTransitions xmi:id="_Gamz0JBUEfC3W6DkSSNxEA" specification="EV_BTN_UP [tick > 0] /
tick--" target="_O1JekJBREfC3W6DkSSNxEA"/>
+ <outgoingTransitions xmi:id="_Oph9EJBUEfC3W6DkSSNxEA" specification="EV_BTN_DOWN [tick > 0] /
tick--" target="_O1JekJBREfC3W6DkSSNxEA"/>
+ <outgoingTransitions xmi:id="_f_7BIJBUEfC3W6DkSSNxEA" specification="EV_BTN_UP [tick == 0] /
raise EV_SYS_BTN_RELEASED" target="_PBSIAJBPEfC3W6DkSSNxEA"/>
+ <outgoingTransitions xmi:id="_I2SCEJDCEfCaq9Kbq4cmHw" specification="EV_BTN_DOWN [tick == 0]" target="_eNjzAJBREfC3W6DkSSNxEA"/>
+ </vertices>
+ <vertices xsi:type="sgraph:State" xmi:id="_eNjzAJBREfC3W6DkSSNxEA" name="ST_BTN_LOW" incomingTransitions="_UOhFEJBTEfC3W6DkSSNxEA _-uKskJBTEfC3W6DkSSNxEA _I2SCEJDCEfCaq9Kbq4cmHw">
+ <outgoingTransitions xmi:id="_hlRDwJBTEfC3W6DkSSNxEA" specification="EV_BTN_UP / tick = TICK_START" target="_O1JekJBREfC3W6DkSSNxEA"/>
+ <outgoingTransitions xmi:id="_-uKskJBTEfC3W6DkSSNxEA" specification="EV_BTN_DOWN" target="_eNjzAJBREfC3W6DkSSNxEA"/>
+ </vertices>
+ </regions>
+ </sgraph:Statechart>
+ <notation:Diagram xmi:id="_PBTWIJBPEfC3W6DkSSNxEA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_PBMBYJBPEfC3W6DkSSNxEA" measurementUnit="Pixel">
+ <children xmi:id="_PBTWIZBPEfC3W6DkSSNxEA" type="Region" element="_PBQ565BPEfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_PBTWIpBPEfC3W6DkSSNxEA" type="RegionName">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWI5BPEfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_PBTWJJBPEfC3W6DkSSNxEA"/>
+ </children>
+ <children xsi:type="notation:Shape" xmi:id="_PBTWJZBPEfC3W6DkSSNxEA" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
+ <children xmi:id="_PBTWJpBPEfC3W6DkSSNxEA" type="Entry" element="_PBQ57JBPEfC3W6DkSSNxEA">
+ <children xmi:id="_PBTWJ5BPEfC3W6DkSSNxEA" type="BorderItemLabelContainer">
+ <children xsi:type="notation:DecorationNode" xmi:id="_PBTWKJBPEfC3W6DkSSNxEA" type="BorderItemLabel">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWKZBPEfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_PBTWKpBPEfC3W6DkSSNxEA"/>
+ </children>
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWK5BPEfC3W6DkSSNxEA" fontName="Verdana" lineColor="4210752"/>
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWLJBPEfC3W6DkSSNxEA"/>
+ </children>
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWLZBPEfC3W6DkSSNxEA" fontName="Verdana" fillColor="0" lineColor="16777215"/>
+ <styles xsi:type="notation:NamedStyle" xmi:id="_PBTWLpBPEfC3W6DkSSNxEA" name="allowColors"/>
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWL5BPEfC3W6DkSSNxEA" x="194" y="27" width="15" height="15"/>
+ </children>
+ <children xmi:id="_PBTWMJBPEfC3W6DkSSNxEA" type="State" element="_PBSIAJBPEfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_PBTWMZBPEfC3W6DkSSNxEA" type="StateName">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWMpBPEfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_PBTWM5BPEfC3W6DkSSNxEA"/>
+ </children>
+ <children xsi:type="notation:Compartment" xmi:id="_PBTWNJBPEfC3W6DkSSNxEA" type="StateTextCompartment">
+ <children xsi:type="notation:Shape" xmi:id="_PBTWNZBPEfC3W6DkSSNxEA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWNpBPEfC3W6DkSSNxEA"/>
+ </children>
+ </children>
+ <children xsi:type="notation:Compartment" xmi:id="_PBTWN5BPEfC3W6DkSSNxEA" type="StateFigureCompartment"/>
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWOJBPEfC3W6DkSSNxEA" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
+ <styles xsi:type="notation:FontStyle" xmi:id="_PBTWOZBPEfC3W6DkSSNxEA"/>
+ <styles xsi:type="notation:BooleanValueStyle" xmi:id="_PBTWOpBPEfC3W6DkSSNxEA" name="isHorizontal" booleanValue="true"/>
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWO5BPEfC3W6DkSSNxEA" x="139" y="62" width="125" height="72"/>
+ </children>
+ <children xmi:id="_PBTWPJBPEfC3W6DkSSNxEA" type="State" element="_PBSvE5BPEfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_PBTWPZBPEfC3W6DkSSNxEA" type="StateName">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWPpBPEfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_PBTWP5BPEfC3W6DkSSNxEA"/>
+ </children>
+ <children xsi:type="notation:Compartment" xmi:id="_PBTWQJBPEfC3W6DkSSNxEA" type="StateTextCompartment">
+ <children xsi:type="notation:Shape" xmi:id="_PBTWQZBPEfC3W6DkSSNxEA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWQpBPEfC3W6DkSSNxEA"/>
+ </children>
+ </children>
+ <children xsi:type="notation:Compartment" xmi:id="_PBTWQ5BPEfC3W6DkSSNxEA" type="StateFigureCompartment"/>
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWRJBPEfC3W6DkSSNxEA" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
+ <styles xsi:type="notation:FontStyle" xmi:id="_PBTWRZBPEfC3W6DkSSNxEA"/>
+ <styles xsi:type="notation:BooleanValueStyle" xmi:id="_PBTWRpBPEfC3W6DkSSNxEA" name="isHorizontal" booleanValue="true"/>
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWR5BPEfC3W6DkSSNxEA" x="595" y="62" width="144" height="72"/>
+ </children>
+ <children xmi:id="_O1QzUJBREfC3W6DkSSNxEA" type="State" element="_O1JekJBREfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_O1RaYJBREfC3W6DkSSNxEA" type="StateName">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_O1RaYZBREfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_O1RaYpBREfC3W6DkSSNxEA"/>
+ </children>
+ <children xsi:type="notation:Compartment" xmi:id="_O1RaY5BREfC3W6DkSSNxEA" type="StateTextCompartment">
+ <children xsi:type="notation:Shape" xmi:id="_O1SBcJBREfC3W6DkSSNxEA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_O1SBcZBREfC3W6DkSSNxEA"/>
+ </children>
+ </children>
+ <children xsi:type="notation:Compartment" xmi:id="_O1SogJBREfC3W6DkSSNxEA" type="StateFigureCompartment"/>
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_O1QzUZBREfC3W6DkSSNxEA" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
+ <styles xsi:type="notation:FontStyle" xmi:id="_O1QzUpBREfC3W6DkSSNxEA"/>
+ <styles xsi:type="notation:BooleanValueStyle" xmi:id="_O1SogZBREfC3W6DkSSNxEA" name="isHorizontal" booleanValue="true"/>
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_O1QzU5BREfC3W6DkSSNxEA" x="134" y="272" width="132" height="61"/>
+ </children>
+ <children xmi:id="_eNndYJBREfC3W6DkSSNxEA" type="State" element="_eNjzAJBREfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_eNoEcJBREfC3W6DkSSNxEA" type="StateName">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_eNoEcZBREfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_eNoEcpBREfC3W6DkSSNxEA"/>
+ </children>
+ <children xsi:type="notation:Compartment" xmi:id="_eNoEc5BREfC3W6DkSSNxEA" type="StateTextCompartment">
+ <children xsi:type="notation:Shape" xmi:id="_eNorgJBREfC3W6DkSSNxEA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_eNorgZBREfC3W6DkSSNxEA"/>
+ </children>
+ </children>
+ <children xsi:type="notation:Compartment" xmi:id="_eNorgpBREfC3W6DkSSNxEA" type="StateFigureCompartment"/>
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_eNndYZBREfC3W6DkSSNxEA" fontName="Verdana" fillColor="15720400" lineColor="12632256"/>
+ <styles xsi:type="notation:FontStyle" xmi:id="_eNndYpBREfC3W6DkSSNxEA"/>
+ <styles xsi:type="notation:BooleanValueStyle" xmi:id="_eNorg5BREfC3W6DkSSNxEA" name="isHorizontal" booleanValue="true"/>
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_eNndY5BREfC3W6DkSSNxEA" x="595" y="275" width="144" height="53"/>
+ </children>
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWSJBPEfC3W6DkSSNxEA"/>
+ </children>
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWSZBPEfC3W6DkSSNxEA" fontName="Verdana" fillColor="16448250" lineColor="12632256"/>
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWSpBPEfC3W6DkSSNxEA" x="5" y="43" width="945" height="595"/>
+ </children>
+ <children xsi:type="notation:Shape" xmi:id="_PBTWS5BPEfC3W6DkSSNxEA" type="StatechartText" fontName="Verdana" lineColor="4210752">
+ <children xsi:type="notation:DecorationNode" xmi:id="_PBTWTJBPEfC3W6DkSSNxEA" type="StatechartName">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWTZBPEfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_PBTWTpBPEfC3W6DkSSNxEA"/>
+ </children>
+ <children xsi:type="notation:Shape" xmi:id="_PBTWT5BPEfC3W6DkSSNxEA" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWUJBPEfC3W6DkSSNxEA"/>
+ </children>
+ <layoutConstraint xsi:type="notation:Bounds" xmi:id="_PBTWUZBPEfC3W6DkSSNxEA" x="10" y="10" width="200" height="400"/>
+ </children>
+ <styles xsi:type="notation:BooleanValueStyle" xmi:id="_PBTWUpBPEfC3W6DkSSNxEA" name="inlineDefinitionSection"/>
+ <styles xsi:type="notation:DiagramStyle" xmi:id="_PBTWU5BPEfC3W6DkSSNxEA"/>
+ <edges xmi:id="_PBTWVJBPEfC3W6DkSSNxEA" type="Transition" element="_PBQ57ZBPEfC3W6DkSSNxEA" source="_PBTWJpBPEfC3W6DkSSNxEA" target="_PBTWMJBPEfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_PBTWVZBPEfC3W6DkSSNxEA" type="TransitionExpression">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWVpBPEfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_PBTWV5BPEfC3W6DkSSNxEA" x="-10" y="10"/>
+ </children>
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_PBTWWJBPEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
+ <styles xsi:type="notation:FontStyle" xmi:id="_PBTWWZBPEfC3W6DkSSNxEA" fontName="Verdana"/>
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_PBTWWpBPEfC3W6DkSSNxEA" points="[1, 1, 0, -57]$[1, 22, 0, -36]"/>
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_7X1HoJC7EfCaq9Kbq4cmHw" id="(0.4,0.8666666666666667)"/>
+ </edges>
+ <edges xmi:id="_PBTWW5BPEfC3W6DkSSNxEA" type="Transition" element="_PBSIA5BPEfC3W6DkSSNxEA" source="_PBTWMJBPEfC3W6DkSSNxEA" target="_PBTWPJBPEfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_PBTWXJBPEfC3W6DkSSNxEA" type="TransitionExpression">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_PBTWXZBPEfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_PBTWXpBPEfC3W6DkSSNxEA" y="-3"/>
+ </children>
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_PBTWX5BPEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
+ <styles xsi:type="notation:FontStyle" xmi:id="_PBTWYJBPEfC3W6DkSSNxEA" fontName="Verdana"/>
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_PBTWYZBPEfC3W6DkSSNxEA" points="[35, 7, -355, 10]$[366, 7, -24, 10]"/>
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_PBTWYpBPEfC3W6DkSSNxEA" id="(0.7241379310344828,0.22641509433962265)"/>
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_PBTWY5BPEfC3W6DkSSNxEA" id="(0.1724137931034483,0.18867924528301888)"/>
+ </edges>
+ <edges xmi:id="_tnS9IJBREfC3W6DkSSNxEA" type="Transition" element="_tnKaQJBREfC3W6DkSSNxEA" source="_PBTWPJBPEfC3W6DkSSNxEA" target="_PBTWPJBPEfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_tnTkMJBREfC3W6DkSSNxEA" type="TransitionExpression">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_tnTkMZBREfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_tnTkMpBREfC3W6DkSSNxEA" x="12" y="-36"/>
+ </children>
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_tnS9IZBREfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
+ <styles xsi:type="notation:FontStyle" xmi:id="_tnS9I5BREfC3W6DkSSNxEA" fontName="Verdana"/>
+ <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]"/>
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_tnZDwJBREfC3W6DkSSNxEA" id="(0.3880597014925373,1.0)"/>
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_tnZDwZBREfC3W6DkSSNxEA" id="(0.39552238805970147,1.0)"/>
+ </edges>
+ <edges xmi:id="_pyjDsJBSEfC3W6DkSSNxEA" type="Transition" element="_pygncJBSEfC3W6DkSSNxEA" source="_PBTWPJBPEfC3W6DkSSNxEA" target="_PBTWMJBPEfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_pyjqwZBSEfC3W6DkSSNxEA" type="TransitionExpression">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_pyjqwpBSEfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_pyjqw5BSEfC3W6DkSSNxEA" x="-5" y="-17"/>
+ </children>
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_pyjDsZBSEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
+ <styles xsi:type="notation:FontStyle" xmi:id="_pyjqwJBSEfC3W6DkSSNxEA" fontName="Verdana"/>
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_pyjDspBSEfC3W6DkSSNxEA" points="[0, 7, 345, 9]$[-331, 7, 14, 9]"/>
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_pymHAJBSEfC3W6DkSSNxEA" id="(0.0,0.5416666666666666)"/>
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_pymHAZBSEfC3W6DkSSNxEA" id="(0.888,0.5138888888888888)"/>
+ </edges>
+ <edges xmi:id="_kOdUIJDCEfCaq9Kbq4cmHw" type="Transition" element="_kOdUKJDCEfCaq9Kbq4cmHw" source="_PBTWPJBPEfC3W6DkSSNxEA" target="_PBTWPJBPEfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_kOdUJZDCEfCaq9Kbq4cmHw" type="TransitionExpression">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_kOdUJ5DCEfCaq9Kbq4cmHw"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_kOdUJpDCEfCaq9Kbq4cmHw" x="-35" y="-24"/>
+ </children>
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_kOdUJJDCEfCaq9Kbq4cmHw" routing="Rectilinear" lineColor="4210752"/>
+ <styles xsi:type="notation:FontStyle" xmi:id="_kOdUI5DCEfCaq9Kbq4cmHw" fontName="Verdana"/>
+ <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]"/>
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_kOdUIZDCEfCaq9Kbq4cmHw" id="(0.3283582089552239,0.0)"/>
+ </edges>
+ <edges xmi:id="_UOsEMJBTEfC3W6DkSSNxEA" type="Transition" element="_UOhFEJBTEfC3W6DkSSNxEA" source="_PBTWPJBPEfC3W6DkSSNxEA" target="_eNndYJBREfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_UOsrQJBTEfC3W6DkSSNxEA" type="TransitionExpression">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_UOsrQZBTEfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_UOsrQpBTEfC3W6DkSSNxEA" x="-12" y="95"/>
+ </children>
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_UOsEMZBTEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
+ <styles xsi:type="notation:FontStyle" xmi:id="_UOsEM5BTEfC3W6DkSSNxEA" fontName="Verdana"/>
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_UOsEMpBTEfC3W6DkSSNxEA" points="[24, 0, 35, -143]$[24, 141, 35, -2]"/>
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_UOzY8JBTEfC3W6DkSSNxEA" id="(0.3208955223880597,1.0)"/>
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_UOzY8ZBTEfC3W6DkSSNxEA" id="(0.2462686567164179,0.03773584905660377)"/>
+ </edges>
+ <edges xmi:id="_hlWjUJBTEfC3W6DkSSNxEA" type="Transition" element="_hlRDwJBTEfC3W6DkSSNxEA" source="_eNndYJBREfC3W6DkSSNxEA" target="_O1QzUJBREfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_hlXKYJBTEfC3W6DkSSNxEA" type="TransitionExpression">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_hlXKYZBTEfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_hlXKYpBTEfC3W6DkSSNxEA" x="-11" y="17"/>
+ </children>
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_hlWjUZBTEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
+ <styles xsi:type="notation:FontStyle" xmi:id="_hlWjU5BTEfC3W6DkSSNxEA" fontName="Verdana"/>
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_hlWjUpBTEfC3W6DkSSNxEA" points="[-45, 17, 341, -6]$[-374, 17, 12, -6]"/>
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_hlcC4JBTEfC3W6DkSSNxEA" id="(0.31343283582089554,0.0)"/>
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_hlcp8JBTEfC3W6DkSSNxEA" id="(0.912,0.4339622641509434)"/>
+ </edges>
+ <edges xmi:id="_-uVrsJBTEfC3W6DkSSNxEA" type="Transition" element="_-uKskJBTEfC3W6DkSSNxEA" source="_eNndYJBREfC3W6DkSSNxEA" target="_eNndYJBREfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_-uWSwZBTEfC3W6DkSSNxEA" type="TransitionExpression">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_-uWSwpBTEfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_-uWSw5BTEfC3W6DkSSNxEA" x="37" y="-14"/>
+ </children>
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_-uVrsZBTEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
+ <styles xsi:type="notation:FontStyle" xmi:id="_-uWSwJBTEfC3W6DkSSNxEA" fontName="Verdana"/>
+ <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]"/>
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-udAcJBTEfC3W6DkSSNxEA" id="(1.0,0.660377358490566)"/>
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_-udngJBTEfC3W6DkSSNxEA" id="(1.0,0.6792452830188679)"/>
+ </edges>
+ <edges xmi:id="_GapQEJBUEfC3W6DkSSNxEA" type="Transition" element="_Gamz0JBUEfC3W6DkSSNxEA" source="_O1QzUJBREfC3W6DkSSNxEA" target="_O1QzUJBREfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_Gap3IZBUEfC3W6DkSSNxEA" type="TransitionExpression">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_Gap3IpBUEfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_GaqeMJBUEfC3W6DkSSNxEA" x="-17" y="-20"/>
+ </children>
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_GapQEZBUEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
+ <styles xsi:type="notation:FontStyle" xmi:id="_Gap3IJBUEfC3W6DkSSNxEA" fontName="Verdana"/>
+ <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]"/>
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Gav9wJBUEfC3W6DkSSNxEA" id="(0.9924812030075187,0.7547169811320755)"/>
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Gav9wZBUEfC3W6DkSSNxEA" id="(0.536,0.9811320754716981)"/>
+ </edges>
+ <edges xmi:id="_Opqf8JBUEfC3W6DkSSNxEA" type="Transition" element="_Oph9EJBUEfC3W6DkSSNxEA" source="_O1QzUJBREfC3W6DkSSNxEA" target="_O1QzUJBREfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_OprHAJBUEfC3W6DkSSNxEA" type="TransitionExpression">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_OprHAZBUEfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_OprHApBUEfC3W6DkSSNxEA" x="7" y="10"/>
+ </children>
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_Opqf8ZBUEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
+ <styles xsi:type="notation:FontStyle" xmi:id="_Opqf85BUEfC3W6DkSSNxEA" fontName="Verdana"/>
+ <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]"/>
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_OpxNoJBUEfC3W6DkSSNxEA" id="(1.0,0.5849056603773585)"/>
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_OpxNoZBUEfC3W6DkSSNxEA" id="(0.264,0.9245283018867925)"/>
+ </edges>
+ <edges xmi:id="_f_-rgJBUEfC3W6DkSSNxEA" type="Transition" element="_f_7BIJBUEfC3W6DkSSNxEA" source="_O1QzUJBREfC3W6DkSSNxEA" target="_PBTWMJBPEfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_f_-rhJBUEfC3W6DkSSNxEA" type="TransitionExpression">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_f_-rhZBUEfC3W6DkSSNxEA"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_f_-rhpBUEfC3W6DkSSNxEA" x="12" y="99"/>
+ </children>
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_f_-rgZBUEfC3W6DkSSNxEA" routing="Rectilinear" lineColor="4210752"/>
+ <styles xsi:type="notation:FontStyle" xmi:id="_f_-rg5BUEfC3W6DkSSNxEA" fontName="Verdana"/>
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_f_-rgpBUEfC3W6DkSSNxEA" points="[18, 0, 22, 140]$[18, -138, 22, 2]"/>
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_gAC88JBUEfC3W6DkSSNxEA" id="(0.376,0.0)"/>
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_gADkAJBUEfC3W6DkSSNxEA" id="(0.32,0.9722222222222222)"/>
+ </edges>
+ <edges xmi:id="_I2SpIJDCEfCaq9Kbq4cmHw" type="Transition" element="_I2SCEJDCEfCaq9Kbq4cmHw" source="_O1QzUJBREfC3W6DkSSNxEA" target="_eNndYJBREfC3W6DkSSNxEA">
+ <children xsi:type="notation:DecorationNode" xmi:id="_I2SpJJDCEfCaq9Kbq4cmHw" type="TransitionExpression">
+ <styles xsi:type="notation:ShapeStyle" xmi:id="_I2SpJZDCEfCaq9Kbq4cmHw"/>
+ <layoutConstraint xsi:type="notation:Location" xmi:id="_I2SpJpDCEfCaq9Kbq4cmHw" x="1" y="20"/>
+ </children>
+ <styles xsi:type="notation:ConnectorStyle" xmi:id="_I2SpIZDCEfCaq9Kbq4cmHw" routing="Rectilinear" lineColor="4210752"/>
+ <styles xsi:type="notation:FontStyle" xmi:id="_I2SpI5DCEfCaq9Kbq4cmHw" fontName="Verdana"/>
+ <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_I2SpIpDCEfCaq9Kbq4cmHw" points="[5, -4, -331, -4]$[334, -4, -2, -4]"/>
+ <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_I2TQMJDCEfCaq9Kbq4cmHw" id="(0.9621212121212122,0.6721311475409836)"/>
+ <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_I2TQMZDCEfCaq9Kbq4cmHw" id="(0.013888888888888888,0.7169811320754716)"/>
+ </edges>
+ </notation:Diagram>
+</xmi:XMI>
