TrafficLightWaiting.sct 75 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883
  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/2.0.0" xmlns:stext="http://www.yakindu.org/sct/statechart/SText">
  3. <sgraph:Statechart xmi:id="_NPjBgBA-EeGQ0KsLDV4EFg" name="TrafficLightWaiting" expression="interface TrafficLight:&#xD;&#xA;&#x9;var red:boolean&#xD;&#xA;&#x9;var yellow:boolean&#xD;&#xA;&#x9;var green:boolean&#xD;&#xA;&#xD;&#xA;interface Pedestrian:&#xD;&#xA;&#x9;var request:boolean&#xD;&#xA;&#x9;var red:boolean&#xD;&#xA;&#x9;var green:boolean&#xD;&#xA;&#xD;&#xA;interface:&#xD;&#xA;&#x9;in event keypress1&#xD;&#xA;&#x9;in event keypress2">
  4. <scopes xsi:type="stext:InterfaceScope" xmi:id="_TnWbMBzuEeGEC4raFz1JbQ" name="TrafficLight">
  5. <declarations xsi:type="stext:VariableDefinition" xmi:id="_TnWbMRzuEeGEC4raFz1JbQ" name="red" type="boolean"/>
  6. <declarations xsi:type="stext:VariableDefinition" xmi:id="_TnWbMhzuEeGEC4raFz1JbQ" name="yellow" type="boolean"/>
  7. <declarations xsi:type="stext:VariableDefinition" xmi:id="_TnWbMxzuEeGEC4raFz1JbQ" name="green" type="boolean"/>
  8. </scopes>
  9. <scopes xsi:type="stext:InterfaceScope" xmi:id="_TnWbNBzuEeGEC4raFz1JbQ" name="Pedestrian">
  10. <declarations xsi:type="stext:VariableDefinition" xmi:id="_TnWbNRzuEeGEC4raFz1JbQ" name="request" type="boolean"/>
  11. <declarations xsi:type="stext:VariableDefinition" xmi:id="_TnWbNhzuEeGEC4raFz1JbQ" name="red" type="boolean"/>
  12. <declarations xsi:type="stext:VariableDefinition" xmi:id="_TnWbNxzuEeGEC4raFz1JbQ" name="green" type="boolean"/>
  13. </scopes>
  14. <scopes xsi:type="stext:InterfaceScope" xmi:id="_TnWbOBzuEeGEC4raFz1JbQ">
  15. <declarations xsi:type="stext:EventDefinition" xmi:id="_TnWbORzuEeGEC4raFz1JbQ" name="keypress1" direction="in"/>
  16. <declarations xsi:type="stext:EventDefinition" xmi:id="_TnWbOhzuEeGEC4raFz1JbQ" name="keypress2" direction="in"/>
  17. </scopes>
  18. <regions xmi:id="_NPjBgxA-EeGQ0KsLDV4EFg" name="main region">
  19. <vertices xsi:type="sgraph:Entry" xmi:id="_NPjBjRA-EeGQ0KsLDV4EFg">
  20. <outgoingTransitions xmi:id="_NPsyhxA-EeGQ0KsLDV4EFg" target="_NPjBmBA-EeGQ0KsLDV4EFg"/>
  21. </vertices>
  22. <vertices xsi:type="sgraph:State" xmi:id="_NPjBmBA-EeGQ0KsLDV4EFg" name="on" incomingTransitions="_NPsyhxA-EeGQ0KsLDV4EFg __OsQsBBPEeGQ0KsLDV4EFg">
  23. <scopes xmi:id="_TnasoBzuEeGEC4raFz1JbQ"/>
  24. <outgoingTransitions xmi:id="_XlIREBBFEeGQ0KsLDV4EFg" expression="keypress2" target="_MF4mkBBFEeGQ0KsLDV4EFg">
  25. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_TnbTsBzuEeGEC4raFz1JbQ">
  26. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_TnbTsRzuEeGEC4raFz1JbQ" event="_TnWbOhzuEeGEC4raFz1JbQ"/>
  27. </trigger>
  28. </outgoingTransitions>
  29. <subRegions xmi:id="_vZz18BA_EeGQ0KsLDV4EFg" name="r1">
  30. <vertices xsi:type="sgraph:State" xmi:id="_w8meYBA_EeGQ0KsLDV4EFg" expression="entry / TrafficLight.red = false; &#xD;&#xA;&#x9;TrafficLight.yellow = false;&#xD;&#xA;&#x9;TrafficLight.green = true;&#xD;&#xA;&#x9;Pedestrian.red = true;&#xD;&#xA;&#x9;Pedestrian.green = false;&#xD;&#xA;&#x9;Pedestrian.request = false;" name="StreetGreen" incomingTransitions="_pddaABBEEeGQ0KsLDV4EFg _yYuD0BBPEeGQ0KsLDV4EFg">
  31. <scopes xmi:id="_Tne-EBzuEeGEC4raFz1JbQ">
  32. <declarations xsi:type="stext:LocalReaction" xmi:id="_Tne-ERzuEeGEC4raFz1JbQ">
  33. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Tne-EhzuEeGEC4raFz1JbQ">
  34. <triggers xsi:type="stext:EntryEvent" xmi:id="_Tne-ExzuEeGEC4raFz1JbQ"/>
  35. </trigger>
  36. <effect xsi:type="stext:ReactionEffect" xmi:id="_Tne-FBzuEeGEC4raFz1JbQ">
  37. <actions xsi:type="stext:Assignment" xmi:id="_Tne-FRzuEeGEC4raFz1JbQ" varRef="_TnWbMRzuEeGEC4raFz1JbQ">
  38. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Tne-FhzuEeGEC4raFz1JbQ">
  39. <value xsi:type="stext:BoolLiteral" xmi:id="_Tne-FxzuEeGEC4raFz1JbQ"/>
  40. </expression>
  41. </actions>
  42. <actions xsi:type="stext:Assignment" xmi:id="_Tne-GBzuEeGEC4raFz1JbQ" varRef="_TnWbMhzuEeGEC4raFz1JbQ">
  43. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Tne-GRzuEeGEC4raFz1JbQ">
  44. <value xsi:type="stext:BoolLiteral" xmi:id="_Tne-GhzuEeGEC4raFz1JbQ"/>
  45. </expression>
  46. </actions>
  47. <actions xsi:type="stext:Assignment" xmi:id="_Tne-GxzuEeGEC4raFz1JbQ" varRef="_TnWbMxzuEeGEC4raFz1JbQ">
  48. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Tne-HBzuEeGEC4raFz1JbQ">
  49. <value xsi:type="stext:BoolLiteral" xmi:id="_Tne-HRzuEeGEC4raFz1JbQ" value="true"/>
  50. </expression>
  51. </actions>
  52. <actions xsi:type="stext:Assignment" xmi:id="_Tne-HhzuEeGEC4raFz1JbQ" varRef="_TnWbNhzuEeGEC4raFz1JbQ">
  53. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Tne-HxzuEeGEC4raFz1JbQ">
  54. <value xsi:type="stext:BoolLiteral" xmi:id="_Tne-IBzuEeGEC4raFz1JbQ" value="true"/>
  55. </expression>
  56. </actions>
  57. <actions xsi:type="stext:Assignment" xmi:id="_Tne-IRzuEeGEC4raFz1JbQ" varRef="_TnWbNxzuEeGEC4raFz1JbQ">
  58. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Tne-IhzuEeGEC4raFz1JbQ">
  59. <value xsi:type="stext:BoolLiteral" xmi:id="_Tne-IxzuEeGEC4raFz1JbQ"/>
  60. </expression>
  61. </actions>
  62. <actions xsi:type="stext:Assignment" xmi:id="_Tne-JBzuEeGEC4raFz1JbQ" varRef="_TnWbNRzuEeGEC4raFz1JbQ">
  63. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Tne-JRzuEeGEC4raFz1JbQ">
  64. <value xsi:type="stext:BoolLiteral" xmi:id="_Tne-JhzuEeGEC4raFz1JbQ"/>
  65. </expression>
  66. </actions>
  67. </effect>
  68. </declarations>
  69. </scopes>
  70. <outgoingTransitions xmi:id="_Lo2CEBBBEeGQ0KsLDV4EFg" expression="keypress1" target="_iAKe0BBAEeGQ0KsLDV4EFg">
  71. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Tn08UBzuEeGEC4raFz1JbQ">
  72. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_Tn08URzuEeGEC4raFz1JbQ" event="_TnWbORzuEeGEC4raFz1JbQ"/>
  73. </trigger>
  74. </outgoingTransitions>
  75. </vertices>
  76. <vertices xsi:type="sgraph:State" xmi:id="_iAKe0BBAEeGQ0KsLDV4EFg" expression="exit / Pedestrian.request = false;" name="PedWaiting" incomingTransitions="_Lo2CEBBBEeGQ0KsLDV4EFg">
  77. <scopes xmi:id="_Tn3_oBzuEeGEC4raFz1JbQ">
  78. <declarations xsi:type="stext:LocalReaction" xmi:id="_Tn3_oRzuEeGEC4raFz1JbQ">
  79. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Tn3_ohzuEeGEC4raFz1JbQ">
  80. <triggers xsi:type="stext:ExitEvent" xmi:id="_Tn3_oxzuEeGEC4raFz1JbQ"/>
  81. </trigger>
  82. <effect xsi:type="stext:ReactionEffect" xmi:id="_Tn3_pBzuEeGEC4raFz1JbQ">
  83. <actions xsi:type="stext:Assignment" xmi:id="_Tn3_pRzuEeGEC4raFz1JbQ" varRef="_TnWbNRzuEeGEC4raFz1JbQ">
  84. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Tn3_phzuEeGEC4raFz1JbQ">
  85. <value xsi:type="stext:BoolLiteral" xmi:id="_Tn3_pxzuEeGEC4raFz1JbQ"/>
  86. </expression>
  87. </actions>
  88. </effect>
  89. </declarations>
  90. </scopes>
  91. <outgoingTransitions xmi:id="_LDXEgBBDEeGQ0KsLDV4EFg" expression="after 7s" target="_SKct4BBBEeGQ0KsLDV4EFg">
  92. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Tn7C8BzuEeGEC4raFz1JbQ">
  93. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_Tn7C8RzuEeGEC4raFz1JbQ" value="7"/>
  94. </trigger>
  95. </outgoingTransitions>
  96. <subRegions xmi:id="_iAKe0hBAEeGQ0KsLDV4EFg" name="r1">
  97. <vertices xsi:type="sgraph:State" xmi:id="_mjm00BBAEeGQ0KsLDV4EFg" expression="entry / &#xD;&#xA;Pedestrian.request = true;" name="waitOn" incomingTransitions="_wTHnEBBAEeGQ0KsLDV4EFg _OXpxsBBBEeGQ0KsLDV4EFg">
  98. <scopes xmi:id="_Tn7qABzuEeGEC4raFz1JbQ">
  99. <declarations xsi:type="stext:LocalReaction" xmi:id="_Tn7qARzuEeGEC4raFz1JbQ">
  100. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Tn7qAhzuEeGEC4raFz1JbQ">
  101. <triggers xsi:type="stext:EntryEvent" xmi:id="_Tn7qAxzuEeGEC4raFz1JbQ"/>
  102. </trigger>
  103. <effect xsi:type="stext:ReactionEffect" xmi:id="_Tn7qBBzuEeGEC4raFz1JbQ">
  104. <actions xsi:type="stext:Assignment" xmi:id="_Tn7qBRzuEeGEC4raFz1JbQ" varRef="_TnWbNRzuEeGEC4raFz1JbQ">
  105. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Tn7qBhzuEeGEC4raFz1JbQ">
  106. <value xsi:type="stext:BoolLiteral" xmi:id="_Tn7qBxzuEeGEC4raFz1JbQ" value="true"/>
  107. </expression>
  108. </actions>
  109. </effect>
  110. </declarations>
  111. </scopes>
  112. <outgoingTransitions xmi:id="_6LZ60BBAEeGQ0KsLDV4EFg" expression="after 500ms" target="_n6DDUBBAEeGQ0KsLDV4EFg">
  113. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Tn-tUBzuEeGEC4raFz1JbQ">
  114. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_Tn-tURzuEeGEC4raFz1JbQ" value="500" unit="ms"/>
  115. </trigger>
  116. </outgoingTransitions>
  117. </vertices>
  118. <vertices xsi:type="sgraph:State" xmi:id="_n6DDUBBAEeGQ0KsLDV4EFg" expression="entry / &#xD;&#xA;Pedestrian.request = false;" name="waitOff" incomingTransitions="_6LZ60BBAEeGQ0KsLDV4EFg">
  119. <scopes xmi:id="_Tn_UYBzuEeGEC4raFz1JbQ">
  120. <declarations xsi:type="stext:LocalReaction" xmi:id="_Tn_UYRzuEeGEC4raFz1JbQ">
  121. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Tn_UYhzuEeGEC4raFz1JbQ">
  122. <triggers xsi:type="stext:EntryEvent" xmi:id="_Tn_UYxzuEeGEC4raFz1JbQ"/>
  123. </trigger>
  124. <effect xsi:type="stext:ReactionEffect" xmi:id="_Tn_UZBzuEeGEC4raFz1JbQ">
  125. <actions xsi:type="stext:Assignment" xmi:id="_Tn_UZRzuEeGEC4raFz1JbQ" varRef="_TnWbNRzuEeGEC4raFz1JbQ">
  126. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Tn_UZhzuEeGEC4raFz1JbQ">
  127. <value xsi:type="stext:BoolLiteral" xmi:id="_Tn_UZxzuEeGEC4raFz1JbQ"/>
  128. </expression>
  129. </actions>
  130. </effect>
  131. </declarations>
  132. </scopes>
  133. <outgoingTransitions xmi:id="_OXpxsBBBEeGQ0KsLDV4EFg" expression="after 500ms" target="_mjm00BBAEeGQ0KsLDV4EFg">
  134. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ToCXsBzuEeGEC4raFz1JbQ">
  135. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ToCXsRzuEeGEC4raFz1JbQ" value="500" unit="ms"/>
  136. </trigger>
  137. </outgoingTransitions>
  138. </vertices>
  139. <vertices xsi:type="sgraph:Entry" xmi:id="_pqXxcBBAEeGQ0KsLDV4EFg">
  140. <outgoingTransitions xmi:id="_wTHnEBBAEeGQ0KsLDV4EFg" target="_mjm00BBAEeGQ0KsLDV4EFg"/>
  141. </vertices>
  142. </subRegions>
  143. </vertices>
  144. <vertices xsi:type="sgraph:State" xmi:id="_SKct4BBBEeGQ0KsLDV4EFg" expression="entry / TrafficLight.red = false;&#xD;&#xA;&#x9;TrafficLight.yellow = true;&#xD;&#xA;&#x9;TrafficLight.green = false;" name="StreetAttention" incomingTransitions="_LDXEgBBDEeGQ0KsLDV4EFg">
  145. <scopes xmi:id="_ToC-wBzuEeGEC4raFz1JbQ">
  146. <declarations xsi:type="stext:LocalReaction" xmi:id="_ToC-wRzuEeGEC4raFz1JbQ">
  147. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ToC-whzuEeGEC4raFz1JbQ">
  148. <triggers xsi:type="stext:EntryEvent" xmi:id="_ToC-wxzuEeGEC4raFz1JbQ"/>
  149. </trigger>
  150. <effect xsi:type="stext:ReactionEffect" xmi:id="_ToC-xBzuEeGEC4raFz1JbQ">
  151. <actions xsi:type="stext:Assignment" xmi:id="_ToC-xRzuEeGEC4raFz1JbQ" varRef="_TnWbMRzuEeGEC4raFz1JbQ">
  152. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ToC-xhzuEeGEC4raFz1JbQ">
  153. <value xsi:type="stext:BoolLiteral" xmi:id="_ToC-xxzuEeGEC4raFz1JbQ"/>
  154. </expression>
  155. </actions>
  156. <actions xsi:type="stext:Assignment" xmi:id="_ToC-yBzuEeGEC4raFz1JbQ" varRef="_TnWbMhzuEeGEC4raFz1JbQ">
  157. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ToC-yRzuEeGEC4raFz1JbQ">
  158. <value xsi:type="stext:BoolLiteral" xmi:id="_ToC-yhzuEeGEC4raFz1JbQ" value="true"/>
  159. </expression>
  160. </actions>
  161. <actions xsi:type="stext:Assignment" xmi:id="_ToC-yxzuEeGEC4raFz1JbQ" varRef="_TnWbMxzuEeGEC4raFz1JbQ">
  162. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ToC-zBzuEeGEC4raFz1JbQ">
  163. <value xsi:type="stext:BoolLiteral" xmi:id="_ToC-zRzuEeGEC4raFz1JbQ"/>
  164. </expression>
  165. </actions>
  166. </effect>
  167. </declarations>
  168. </scopes>
  169. <outgoingTransitions xmi:id="_fS31UBBEEeGQ0KsLDV4EFg" expression="after 2s" target="_fO-pQBBDEeGQ0KsLDV4EFg">
  170. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ToJscBzuEeGEC4raFz1JbQ">
  171. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ToJscRzuEeGEC4raFz1JbQ" value="2"/>
  172. </trigger>
  173. </outgoingTransitions>
  174. </vertices>
  175. <vertices xsi:type="sgraph:State" xmi:id="_fO-pQBBDEeGQ0KsLDV4EFg" expression="entry / TrafficLight.red = true;&#xD;&#xA;TrafficLight.yellow = false;&#xD;&#xA;TrafficLight.green = false;" name="StreetRed" incomingTransitions="_fS31UBBEEeGQ0KsLDV4EFg">
  176. <scopes xmi:id="_ToKTgBzuEeGEC4raFz1JbQ">
  177. <declarations xsi:type="stext:LocalReaction" xmi:id="_ToKTgRzuEeGEC4raFz1JbQ">
  178. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ToKTghzuEeGEC4raFz1JbQ">
  179. <triggers xsi:type="stext:EntryEvent" xmi:id="_ToKTgxzuEeGEC4raFz1JbQ"/>
  180. </trigger>
  181. <effect xsi:type="stext:ReactionEffect" xmi:id="_ToKThBzuEeGEC4raFz1JbQ">
  182. <actions xsi:type="stext:Assignment" xmi:id="_ToKThRzuEeGEC4raFz1JbQ" varRef="_TnWbMRzuEeGEC4raFz1JbQ">
  183. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ToKThhzuEeGEC4raFz1JbQ">
  184. <value xsi:type="stext:BoolLiteral" xmi:id="_ToKThxzuEeGEC4raFz1JbQ" value="true"/>
  185. </expression>
  186. </actions>
  187. <actions xsi:type="stext:Assignment" xmi:id="_ToKTiBzuEeGEC4raFz1JbQ" varRef="_TnWbMhzuEeGEC4raFz1JbQ">
  188. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ToKTiRzuEeGEC4raFz1JbQ">
  189. <value xsi:type="stext:BoolLiteral" xmi:id="_ToKTihzuEeGEC4raFz1JbQ"/>
  190. </expression>
  191. </actions>
  192. <actions xsi:type="stext:Assignment" xmi:id="_ToKTixzuEeGEC4raFz1JbQ" varRef="_TnWbMxzuEeGEC4raFz1JbQ">
  193. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ToKTjBzuEeGEC4raFz1JbQ">
  194. <value xsi:type="stext:BoolLiteral" xmi:id="_ToKTjRzuEeGEC4raFz1JbQ"/>
  195. </expression>
  196. </actions>
  197. </effect>
  198. </declarations>
  199. </scopes>
  200. <outgoingTransitions xmi:id="_g7TywBBEEeGQ0KsLDV4EFg" expression="after 2s" target="_12GAEBBDEeGQ0KsLDV4EFg">
  201. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ToRoQBzuEeGEC4raFz1JbQ">
  202. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ToRoQRzuEeGEC4raFz1JbQ" value="2"/>
  203. </trigger>
  204. </outgoingTransitions>
  205. </vertices>
  206. <vertices xsi:type="sgraph:State" xmi:id="_12GAEBBDEeGQ0KsLDV4EFg" expression="entry / Pedestrian.red = false;&#xD;&#xA;Pedestrian.green = true;" name="PedestrianGreen" incomingTransitions="_g7TywBBEEeGQ0KsLDV4EFg">
  207. <scopes xmi:id="_ToRoQhzuEeGEC4raFz1JbQ">
  208. <declarations xsi:type="stext:LocalReaction" xmi:id="_ToRoQxzuEeGEC4raFz1JbQ">
  209. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ToRoRBzuEeGEC4raFz1JbQ">
  210. <triggers xsi:type="stext:EntryEvent" xmi:id="_ToRoRRzuEeGEC4raFz1JbQ"/>
  211. </trigger>
  212. <effect xsi:type="stext:ReactionEffect" xmi:id="_ToRoRhzuEeGEC4raFz1JbQ">
  213. <actions xsi:type="stext:Assignment" xmi:id="_ToSPUBzuEeGEC4raFz1JbQ" varRef="_TnWbNhzuEeGEC4raFz1JbQ">
  214. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ToSPURzuEeGEC4raFz1JbQ">
  215. <value xsi:type="stext:BoolLiteral" xmi:id="_ToSPUhzuEeGEC4raFz1JbQ"/>
  216. </expression>
  217. </actions>
  218. <actions xsi:type="stext:Assignment" xmi:id="_ToSPUxzuEeGEC4raFz1JbQ" varRef="_TnWbNxzuEeGEC4raFz1JbQ">
  219. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_ToSPVBzuEeGEC4raFz1JbQ">
  220. <value xsi:type="stext:BoolLiteral" xmi:id="_ToSPVRzuEeGEC4raFz1JbQ" value="true"/>
  221. </expression>
  222. </actions>
  223. </effect>
  224. </declarations>
  225. </scopes>
  226. <outgoingTransitions xmi:id="_iZox8BBEEeGQ0KsLDV4EFg" expression="after 7s" target="_K-JX7RBEEeGQ0KsLDV4EFg">
  227. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_ToayMBzuEeGEC4raFz1JbQ">
  228. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_ToayMRzuEeGEC4raFz1JbQ" value="7"/>
  229. </trigger>
  230. </outgoingTransitions>
  231. </vertices>
  232. <vertices xsi:type="sgraph:State" xmi:id="_K-JX7RBEEeGQ0KsLDV4EFg" expression="entry / Pedestrian.red = true;&#xD;&#xA;Pedestrian.green = false;" name="PedestrianRed" incomingTransitions="_iZox8BBEEeGQ0KsLDV4EFg">
  233. <scopes xmi:id="_TobZQBzuEeGEC4raFz1JbQ">
  234. <declarations xsi:type="stext:LocalReaction" xmi:id="_TobZQRzuEeGEC4raFz1JbQ">
  235. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_TobZQhzuEeGEC4raFz1JbQ">
  236. <triggers xsi:type="stext:EntryEvent" xmi:id="_TobZQxzuEeGEC4raFz1JbQ"/>
  237. </trigger>
  238. <effect xsi:type="stext:ReactionEffect" xmi:id="_TobZRBzuEeGEC4raFz1JbQ">
  239. <actions xsi:type="stext:Assignment" xmi:id="_TobZRRzuEeGEC4raFz1JbQ" varRef="_TnWbNhzuEeGEC4raFz1JbQ">
  240. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_TobZRhzuEeGEC4raFz1JbQ">
  241. <value xsi:type="stext:BoolLiteral" xmi:id="_TobZRxzuEeGEC4raFz1JbQ" value="true"/>
  242. </expression>
  243. </actions>
  244. <actions xsi:type="stext:Assignment" xmi:id="_TocAUBzuEeGEC4raFz1JbQ" varRef="_TnWbNxzuEeGEC4raFz1JbQ">
  245. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_TocAURzuEeGEC4raFz1JbQ">
  246. <value xsi:type="stext:BoolLiteral" xmi:id="_TocAUhzuEeGEC4raFz1JbQ"/>
  247. </expression>
  248. </actions>
  249. </effect>
  250. </declarations>
  251. </scopes>
  252. <outgoingTransitions xmi:id="_nVCU8BBEEeGQ0KsLDV4EFg" expression="after 5s" target="_TfjYTRBEEeGQ0KsLDV4EFg">
  253. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Tog40BzuEeGEC4raFz1JbQ">
  254. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_Tog40RzuEeGEC4raFz1JbQ" value="5"/>
  255. </trigger>
  256. </outgoingTransitions>
  257. </vertices>
  258. <vertices xsi:type="sgraph:State" xmi:id="_TfjYTRBEEeGQ0KsLDV4EFg" expression="entry / TrafficLight.red = true;&#xD;&#xA;&#x9;TrafficLight.yellow = true;&#xD;&#xA;&#x9;TrafficLight.green = false;" name="StreetPrepare" incomingTransitions="_nVCU8BBEEeGQ0KsLDV4EFg">
  259. <scopes xmi:id="_Tohf4BzuEeGEC4raFz1JbQ">
  260. <declarations xsi:type="stext:LocalReaction" xmi:id="_Tohf4RzuEeGEC4raFz1JbQ">
  261. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Tohf4hzuEeGEC4raFz1JbQ">
  262. <triggers xsi:type="stext:EntryEvent" xmi:id="_Tohf4xzuEeGEC4raFz1JbQ"/>
  263. </trigger>
  264. <effect xsi:type="stext:ReactionEffect" xmi:id="_Tohf5BzuEeGEC4raFz1JbQ">
  265. <actions xsi:type="stext:Assignment" xmi:id="_Tohf5RzuEeGEC4raFz1JbQ" varRef="_TnWbMRzuEeGEC4raFz1JbQ">
  266. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Tohf5hzuEeGEC4raFz1JbQ">
  267. <value xsi:type="stext:BoolLiteral" xmi:id="_Tohf5xzuEeGEC4raFz1JbQ" value="true"/>
  268. </expression>
  269. </actions>
  270. <actions xsi:type="stext:Assignment" xmi:id="_Tohf6BzuEeGEC4raFz1JbQ" varRef="_TnWbMhzuEeGEC4raFz1JbQ">
  271. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Tohf6RzuEeGEC4raFz1JbQ">
  272. <value xsi:type="stext:BoolLiteral" xmi:id="_Tohf6hzuEeGEC4raFz1JbQ" value="true"/>
  273. </expression>
  274. </actions>
  275. <actions xsi:type="stext:Assignment" xmi:id="_Tohf6xzuEeGEC4raFz1JbQ" varRef="_TnWbMxzuEeGEC4raFz1JbQ">
  276. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Tohf7BzuEeGEC4raFz1JbQ">
  277. <value xsi:type="stext:BoolLiteral" xmi:id="_Tohf7RzuEeGEC4raFz1JbQ"/>
  278. </expression>
  279. </actions>
  280. </effect>
  281. </declarations>
  282. </scopes>
  283. <outgoingTransitions xmi:id="_pddaABBEEeGQ0KsLDV4EFg" expression="after 2s" target="_w8meYBA_EeGQ0KsLDV4EFg">
  284. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_TooNkBzuEeGEC4raFz1JbQ">
  285. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_TooNkRzuEeGEC4raFz1JbQ" value="2"/>
  286. </trigger>
  287. </outgoingTransitions>
  288. </vertices>
  289. <vertices xsi:type="sgraph:Entry" xmi:id="_xz0nABBPEeGQ0KsLDV4EFg">
  290. <outgoingTransitions xmi:id="_yYuD0BBPEeGQ0KsLDV4EFg" target="_w8meYBA_EeGQ0KsLDV4EFg"/>
  291. </vertices>
  292. </subRegions>
  293. </vertices>
  294. <vertices xsi:type="sgraph:State" xmi:id="_MF4mkBBFEeGQ0KsLDV4EFg" expression="entry / TrafficLight.red = false;&#xD;&#xA;&#x9;TrafficLight.green = false;&#xD;&#xA;&#x9;TrafficLight.yellow = false;&#xD;&#xA;&#x9;Pedestrian.red = false;&#xD;&#xA;&#x9;Pedestrian.green = false;" name="off" incomingTransitions="_XlIREBBFEeGQ0KsLDV4EFg">
  295. <scopes xmi:id="_TopbsBzuEeGEC4raFz1JbQ">
  296. <declarations xsi:type="stext:LocalReaction" xmi:id="_TopbsRzuEeGEC4raFz1JbQ">
  297. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_TopbshzuEeGEC4raFz1JbQ">
  298. <triggers xsi:type="stext:EntryEvent" xmi:id="_TopbsxzuEeGEC4raFz1JbQ"/>
  299. </trigger>
  300. <effect xsi:type="stext:ReactionEffect" xmi:id="_TopbtBzuEeGEC4raFz1JbQ">
  301. <actions xsi:type="stext:Assignment" xmi:id="_TopbtRzuEeGEC4raFz1JbQ" varRef="_TnWbMRzuEeGEC4raFz1JbQ">
  302. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_TopbthzuEeGEC4raFz1JbQ">
  303. <value xsi:type="stext:BoolLiteral" xmi:id="_TopbtxzuEeGEC4raFz1JbQ"/>
  304. </expression>
  305. </actions>
  306. <actions xsi:type="stext:Assignment" xmi:id="_TopbuBzuEeGEC4raFz1JbQ" varRef="_TnWbMxzuEeGEC4raFz1JbQ">
  307. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_TopbuRzuEeGEC4raFz1JbQ">
  308. <value xsi:type="stext:BoolLiteral" xmi:id="_TopbuhzuEeGEC4raFz1JbQ"/>
  309. </expression>
  310. </actions>
  311. <actions xsi:type="stext:Assignment" xmi:id="_TopbuxzuEeGEC4raFz1JbQ" varRef="_TnWbMhzuEeGEC4raFz1JbQ">
  312. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_TopbvBzuEeGEC4raFz1JbQ">
  313. <value xsi:type="stext:BoolLiteral" xmi:id="_TopbvRzuEeGEC4raFz1JbQ"/>
  314. </expression>
  315. </actions>
  316. <actions xsi:type="stext:Assignment" xmi:id="_TopbvhzuEeGEC4raFz1JbQ" varRef="_TnWbNhzuEeGEC4raFz1JbQ">
  317. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_TopbvxzuEeGEC4raFz1JbQ">
  318. <value xsi:type="stext:BoolLiteral" xmi:id="_TopbwBzuEeGEC4raFz1JbQ"/>
  319. </expression>
  320. </actions>
  321. <actions xsi:type="stext:Assignment" xmi:id="_TopbwRzuEeGEC4raFz1JbQ" varRef="_TnWbNxzuEeGEC4raFz1JbQ">
  322. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_TopbwhzuEeGEC4raFz1JbQ">
  323. <value xsi:type="stext:BoolLiteral" xmi:id="_TopbwxzuEeGEC4raFz1JbQ"/>
  324. </expression>
  325. </actions>
  326. </effect>
  327. </declarations>
  328. </scopes>
  329. <outgoingTransitions xmi:id="__OsQsBBPEeGQ0KsLDV4EFg" expression="keypress2" target="_NPjBmBA-EeGQ0KsLDV4EFg">
  330. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_To1o8BzuEeGEC4raFz1JbQ">
  331. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_To1o8RzuEeGEC4raFz1JbQ" event="_TnWbOhzuEeGEC4raFz1JbQ"/>
  332. </trigger>
  333. </outgoingTransitions>
  334. <subRegions xmi:id="_xHG2gBBFEeGQ0KsLDV4EFg" name="r1">
  335. <vertices xsi:type="sgraph:State" xmi:id="_BVnsgBBGEeGQ0KsLDV4EFg" expression="entry / &#xA;&#x9;TrafficLight.yellow = true;&#xA;" name="YellowOn" incomingTransitions="_EwURwBBGEeGQ0KsLDV4EFg _S4HWoBzuEeGEC4raFz1JbQ">
  336. <scopes xmi:id="_To4sQBzuEeGEC4raFz1JbQ">
  337. <declarations xsi:type="stext:LocalReaction" xmi:id="_To4sQRzuEeGEC4raFz1JbQ">
  338. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_To4sQhzuEeGEC4raFz1JbQ">
  339. <triggers xsi:type="stext:EntryEvent" xmi:id="_To4sQxzuEeGEC4raFz1JbQ"/>
  340. </trigger>
  341. <effect xsi:type="stext:ReactionEffect" xmi:id="_To4sRBzuEeGEC4raFz1JbQ">
  342. <actions xsi:type="stext:Assignment" xmi:id="_To4sRRzuEeGEC4raFz1JbQ" varRef="_TnWbMhzuEeGEC4raFz1JbQ">
  343. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_To4sRhzuEeGEC4raFz1JbQ">
  344. <value xsi:type="stext:BoolLiteral" xmi:id="_To4sRxzuEeGEC4raFz1JbQ" value="true"/>
  345. </expression>
  346. </actions>
  347. </effect>
  348. </declarations>
  349. </scopes>
  350. <outgoingTransitions xmi:id="_P6yC0BzuEeGEC4raFz1JbQ" expression="after 500ms" target="_B6YqMBzuEeGEC4raFz1JbQ">
  351. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_To7vkBzuEeGEC4raFz1JbQ">
  352. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_To7vkRzuEeGEC4raFz1JbQ" value="500" unit="ms"/>
  353. </trigger>
  354. </outgoingTransitions>
  355. </vertices>
  356. <vertices xsi:type="sgraph:Entry" xmi:id="_EUWHcBBGEeGQ0KsLDV4EFg">
  357. <outgoingTransitions xmi:id="_EwURwBBGEeGQ0KsLDV4EFg" target="_BVnsgBBGEeGQ0KsLDV4EFg"/>
  358. </vertices>
  359. <vertices xsi:type="sgraph:State" xmi:id="_B6YqMBzuEeGEC4raFz1JbQ" expression="entry /&#xA;&#x9;TrafficLight.yellow = false;" name="YellowOff" incomingTransitions="_P6yC0BzuEeGEC4raFz1JbQ">
  360. <scopes xmi:id="_To7vkhzuEeGEC4raFz1JbQ">
  361. <declarations xsi:type="stext:LocalReaction" xmi:id="_To7vkxzuEeGEC4raFz1JbQ">
  362. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_To7vlBzuEeGEC4raFz1JbQ">
  363. <triggers xsi:type="stext:EntryEvent" xmi:id="_To7vlRzuEeGEC4raFz1JbQ"/>
  364. </trigger>
  365. <effect xsi:type="stext:ReactionEffect" xmi:id="_To7vlhzuEeGEC4raFz1JbQ">
  366. <actions xsi:type="stext:Assignment" xmi:id="_To7vlxzuEeGEC4raFz1JbQ" varRef="_TnWbMhzuEeGEC4raFz1JbQ">
  367. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_To7vmBzuEeGEC4raFz1JbQ">
  368. <value xsi:type="stext:BoolLiteral" xmi:id="_To7vmRzuEeGEC4raFz1JbQ"/>
  369. </expression>
  370. </actions>
  371. </effect>
  372. </declarations>
  373. </scopes>
  374. <outgoingTransitions xmi:id="_S4HWoBzuEeGEC4raFz1JbQ" expression="after 500ms" target="_BVnsgBBGEeGQ0KsLDV4EFg">
  375. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_To-y4BzuEeGEC4raFz1JbQ">
  376. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_To-y4RzuEeGEC4raFz1JbQ" value="500" unit="ms"/>
  377. </trigger>
  378. </outgoingTransitions>
  379. </vertices>
  380. </subRegions>
  381. </vertices>
  382. </regions>
  383. </sgraph:Statechart>
  384. <notation:Diagram xmi:id="_NPjBgRA-EeGQ0KsLDV4EFg" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_NPjBgBA-EeGQ0KsLDV4EFg" measurementUnit="Pixel">
  385. <children xmi:id="_NPjBhBA-EeGQ0KsLDV4EFg" type="Region" element="_NPjBgxA-EeGQ0KsLDV4EFg">
  386. <children xsi:type="notation:DecorationNode" xmi:id="_NPjBhxA-EeGQ0KsLDV4EFg" type="RegionName">
  387. <styles xsi:type="notation:ShapeStyle" xmi:id="_NPjBiBA-EeGQ0KsLDV4EFg"/>
  388. <layoutConstraint xsi:type="notation:Location" xmi:id="_NPjBiRA-EeGQ0KsLDV4EFg"/>
  389. </children>
  390. <children xsi:type="notation:Shape" xmi:id="_NPjBihA-EeGQ0KsLDV4EFg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  391. <children xmi:id="_NPjBjhA-EeGQ0KsLDV4EFg" type="Entry" element="_NPjBjRA-EeGQ0KsLDV4EFg">
  392. <children xmi:id="_NPjBkRA-EeGQ0KsLDV4EFg" type="BorderItemLabelContainer">
  393. <children xsi:type="notation:DecorationNode" xmi:id="_NPjBlBA-EeGQ0KsLDV4EFg" type="BorderItemLabel">
  394. <styles xsi:type="notation:ShapeStyle" xmi:id="_NPjBlRA-EeGQ0KsLDV4EFg"/>
  395. <layoutConstraint xsi:type="notation:Location" xmi:id="_NPjBlhA-EeGQ0KsLDV4EFg"/>
  396. </children>
  397. <styles xsi:type="notation:ShapeStyle" xmi:id="_NPjBkhA-EeGQ0KsLDV4EFg" fontName="Verdana" lineColor="4210752"/>
  398. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPjBkxA-EeGQ0KsLDV4EFg"/>
  399. </children>
  400. <styles xsi:type="notation:ShapeStyle" xmi:id="_NPjBjxA-EeGQ0KsLDV4EFg" fontName="Verdana" lineColor="4210752"/>
  401. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPjBlxA-EeGQ0KsLDV4EFg" x="424" y="4"/>
  402. </children>
  403. <children xmi:id="_NPjBmhA-EeGQ0KsLDV4EFg" type="State" element="_NPjBmBA-EeGQ0KsLDV4EFg">
  404. <children xsi:type="notation:DecorationNode" xmi:id="_NPjBnhA-EeGQ0KsLDV4EFg" type="StateName">
  405. <styles xsi:type="notation:ShapeStyle" xmi:id="_NPjBnxA-EeGQ0KsLDV4EFg"/>
  406. <layoutConstraint xsi:type="notation:Location" xmi:id="_NPsygBA-EeGQ0KsLDV4EFg"/>
  407. </children>
  408. <children xsi:type="notation:Compartment" xmi:id="_NPsygRA-EeGQ0KsLDV4EFg" type="StateTextCompartment">
  409. <children xsi:type="notation:Shape" xmi:id="_NPsyghA-EeGQ0KsLDV4EFg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  410. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPsygxA-EeGQ0KsLDV4EFg"/>
  411. </children>
  412. </children>
  413. <children xsi:type="notation:Compartment" xmi:id="_NPsyhBA-EeGQ0KsLDV4EFg" type="StateFigureCompartment">
  414. <children xmi:id="_vZz18RA_EeGQ0KsLDV4EFg" type="Region" element="_vZz18BA_EeGQ0KsLDV4EFg">
  415. <children xsi:type="notation:DecorationNode" xmi:id="_vZz19BA_EeGQ0KsLDV4EFg" type="RegionName">
  416. <styles xsi:type="notation:ShapeStyle" xmi:id="_vZz19RA_EeGQ0KsLDV4EFg"/>
  417. <layoutConstraint xsi:type="notation:Location" xmi:id="_vZz19hA_EeGQ0KsLDV4EFg"/>
  418. </children>
  419. <children xsi:type="notation:Shape" xmi:id="_vZz19xA_EeGQ0KsLDV4EFg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  420. <children xmi:id="_w85ZUBA_EeGQ0KsLDV4EFg" type="State" element="_w8meYBA_EeGQ0KsLDV4EFg">
  421. <children xsi:type="notation:DecorationNode" xmi:id="_w85ZVBA_EeGQ0KsLDV4EFg" type="StateName">
  422. <styles xsi:type="notation:ShapeStyle" xmi:id="_w85ZVRA_EeGQ0KsLDV4EFg"/>
  423. <layoutConstraint xsi:type="notation:Location" xmi:id="_w85ZVhA_EeGQ0KsLDV4EFg"/>
  424. </children>
  425. <children xsi:type="notation:Compartment" xmi:id="_w85ZVxA_EeGQ0KsLDV4EFg" type="StateTextCompartment">
  426. <children xsi:type="notation:Shape" xmi:id="_w85ZWBA_EeGQ0KsLDV4EFg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  427. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_w85ZWRA_EeGQ0KsLDV4EFg"/>
  428. </children>
  429. </children>
  430. <children xsi:type="notation:Compartment" xmi:id="_w85ZWhA_EeGQ0KsLDV4EFg" type="StateFigureCompartment"/>
  431. <styles xsi:type="notation:ShapeStyle" xmi:id="_w85ZURA_EeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  432. <styles xsi:type="notation:FontStyle" xmi:id="_w85ZUhA_EeGQ0KsLDV4EFg"/>
  433. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_w85ZWxA_EeGQ0KsLDV4EFg"/>
  434. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_w85ZUxA_EeGQ0KsLDV4EFg" x="228" y="4"/>
  435. </children>
  436. <children xmi:id="_iAUP0BBAEeGQ0KsLDV4EFg" type="State" element="_iAKe0BBAEeGQ0KsLDV4EFg">
  437. <children xsi:type="notation:DecorationNode" xmi:id="_iAUP1BBAEeGQ0KsLDV4EFg" type="StateName">
  438. <styles xsi:type="notation:ShapeStyle" xmi:id="_iAUP1RBAEeGQ0KsLDV4EFg"/>
  439. <layoutConstraint xsi:type="notation:Location" xmi:id="_iAUP1hBAEeGQ0KsLDV4EFg"/>
  440. </children>
  441. <children xsi:type="notation:Compartment" xmi:id="_iAUP1xBAEeGQ0KsLDV4EFg" type="StateTextCompartment">
  442. <children xsi:type="notation:Shape" xmi:id="_iAUP2BBAEeGQ0KsLDV4EFg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  443. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_iAUP2RBAEeGQ0KsLDV4EFg"/>
  444. </children>
  445. </children>
  446. <children xsi:type="notation:Compartment" xmi:id="_iAUP2hBAEeGQ0KsLDV4EFg" type="StateFigureCompartment">
  447. <children xmi:id="_iBD2sBBAEeGQ0KsLDV4EFg" type="Region" element="_iAKe0hBAEeGQ0KsLDV4EFg">
  448. <children xsi:type="notation:DecorationNode" xmi:id="_iBD2sxBAEeGQ0KsLDV4EFg" type="RegionName">
  449. <styles xsi:type="notation:ShapeStyle" xmi:id="_iBD2tBBAEeGQ0KsLDV4EFg"/>
  450. <layoutConstraint xsi:type="notation:Location" xmi:id="_iBD2tRBAEeGQ0KsLDV4EFg"/>
  451. </children>
  452. <children xsi:type="notation:Shape" xmi:id="_iBD2thBAEeGQ0KsLDV4EFg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  453. <children xmi:id="_mjwl0BBAEeGQ0KsLDV4EFg" type="State" element="_mjm00BBAEeGQ0KsLDV4EFg">
  454. <children xsi:type="notation:DecorationNode" xmi:id="_mjwl1BBAEeGQ0KsLDV4EFg" type="StateName">
  455. <styles xsi:type="notation:ShapeStyle" xmi:id="_mjwl1RBAEeGQ0KsLDV4EFg"/>
  456. <layoutConstraint xsi:type="notation:Location" xmi:id="_mjwl1hBAEeGQ0KsLDV4EFg"/>
  457. </children>
  458. <children xsi:type="notation:Compartment" xmi:id="_mjwl1xBAEeGQ0KsLDV4EFg" type="StateTextCompartment">
  459. <children xsi:type="notation:Shape" xmi:id="_mjwl2BBAEeGQ0KsLDV4EFg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  460. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_mjwl2RBAEeGQ0KsLDV4EFg"/>
  461. </children>
  462. </children>
  463. <children xsi:type="notation:Compartment" xmi:id="_mjwl2hBAEeGQ0KsLDV4EFg" type="StateFigureCompartment"/>
  464. <styles xsi:type="notation:ShapeStyle" xmi:id="_mjwl0RBAEeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  465. <styles xsi:type="notation:FontStyle" xmi:id="_mjwl0hBAEeGQ0KsLDV4EFg"/>
  466. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_mjwl2xBAEeGQ0KsLDV4EFg"/>
  467. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_mjwl0xBAEeGQ0KsLDV4EFg" x="8" y="38"/>
  468. </children>
  469. <children xmi:id="_n6M0UBBAEeGQ0KsLDV4EFg" type="State" element="_n6DDUBBAEeGQ0KsLDV4EFg">
  470. <children xsi:type="notation:DecorationNode" xmi:id="_n6M0VBBAEeGQ0KsLDV4EFg" type="StateName">
  471. <styles xsi:type="notation:ShapeStyle" xmi:id="_n6M0VRBAEeGQ0KsLDV4EFg"/>
  472. <layoutConstraint xsi:type="notation:Location" xmi:id="_n6M0VhBAEeGQ0KsLDV4EFg"/>
  473. </children>
  474. <children xsi:type="notation:Compartment" xmi:id="_n6M0VxBAEeGQ0KsLDV4EFg" type="StateTextCompartment">
  475. <children xsi:type="notation:Shape" xmi:id="_n6M0WBBAEeGQ0KsLDV4EFg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  476. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_n6M0WRBAEeGQ0KsLDV4EFg"/>
  477. </children>
  478. </children>
  479. <children xsi:type="notation:Compartment" xmi:id="_n6M0WhBAEeGQ0KsLDV4EFg" type="StateFigureCompartment"/>
  480. <styles xsi:type="notation:ShapeStyle" xmi:id="_n6M0URBAEeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  481. <styles xsi:type="notation:FontStyle" xmi:id="_n6M0UhBAEeGQ0KsLDV4EFg"/>
  482. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_n6M0WxBAEeGQ0KsLDV4EFg"/>
  483. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_n6M0UxBAEeGQ0KsLDV4EFg" x="283" y="38"/>
  484. </children>
  485. <children xmi:id="_pqhicBBAEeGQ0KsLDV4EFg" type="Entry" element="_pqXxcBBAEeGQ0KsLDV4EFg">
  486. <children xmi:id="_pqhicxBAEeGQ0KsLDV4EFg" type="BorderItemLabelContainer">
  487. <children xsi:type="notation:DecorationNode" xmi:id="_pqhidhBAEeGQ0KsLDV4EFg" type="BorderItemLabel">
  488. <styles xsi:type="notation:ShapeStyle" xmi:id="_pqhidxBAEeGQ0KsLDV4EFg"/>
  489. <layoutConstraint xsi:type="notation:Location" xmi:id="_pqhieBBAEeGQ0KsLDV4EFg"/>
  490. </children>
  491. <styles xsi:type="notation:ShapeStyle" xmi:id="_pqhidBBAEeGQ0KsLDV4EFg" fontName="Verdana" lineColor="4210752"/>
  492. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_pqhidRBAEeGQ0KsLDV4EFg"/>
  493. </children>
  494. <styles xsi:type="notation:ShapeStyle" xmi:id="_pqhicRBAEeGQ0KsLDV4EFg" fontName="Verdana" lineColor="4210752"/>
  495. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_pqhichBAEeGQ0KsLDV4EFg" x="96"/>
  496. </children>
  497. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_iBD2txBAEeGQ0KsLDV4EFg"/>
  498. </children>
  499. <styles xsi:type="notation:ShapeStyle" xmi:id="_iBD2sRBAEeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  500. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_iBD2shBAEeGQ0KsLDV4EFg"/>
  501. </children>
  502. </children>
  503. <styles xsi:type="notation:ShapeStyle" xmi:id="_iAUP0RBAEeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  504. <styles xsi:type="notation:FontStyle" xmi:id="_iAUP0hBAEeGQ0KsLDV4EFg"/>
  505. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_iAUP2xBAEeGQ0KsLDV4EFg"/>
  506. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_iAUP0xBAEeGQ0KsLDV4EFg" x="288" y="194" width="526" height="206"/>
  507. </children>
  508. <children xmi:id="_SKwP4BBBEeGQ0KsLDV4EFg" type="State" element="_SKct4BBBEeGQ0KsLDV4EFg">
  509. <children xsi:type="notation:DecorationNode" xmi:id="_SKwP5BBBEeGQ0KsLDV4EFg" type="StateName">
  510. <styles xsi:type="notation:ShapeStyle" xmi:id="_SKwP5RBBEeGQ0KsLDV4EFg"/>
  511. <layoutConstraint xsi:type="notation:Location" xmi:id="_SKwP5hBBEeGQ0KsLDV4EFg"/>
  512. </children>
  513. <children xsi:type="notation:Compartment" xmi:id="_SKwP5xBBEeGQ0KsLDV4EFg" type="StateTextCompartment">
  514. <children xsi:type="notation:Shape" xmi:id="_SKwP6BBBEeGQ0KsLDV4EFg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  515. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_SKwP6RBBEeGQ0KsLDV4EFg"/>
  516. </children>
  517. </children>
  518. <children xsi:type="notation:Compartment" xmi:id="_SKwP6hBBEeGQ0KsLDV4EFg" type="StateFigureCompartment"/>
  519. <styles xsi:type="notation:ShapeStyle" xmi:id="_SKwP4RBBEeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  520. <styles xsi:type="notation:FontStyle" xmi:id="_SKwP4hBBEeGQ0KsLDV4EFg"/>
  521. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_SKwP6xBBEeGQ0KsLDV4EFg"/>
  522. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_SKwP4xBBEeGQ0KsLDV4EFg" x="443" y="514"/>
  523. </children>
  524. <children xmi:id="_fPRkMBBDEeGQ0KsLDV4EFg" type="State" element="_fO-pQBBDEeGQ0KsLDV4EFg">
  525. <children xsi:type="notation:DecorationNode" xmi:id="_fPRkNBBDEeGQ0KsLDV4EFg" type="StateName">
  526. <styles xsi:type="notation:ShapeStyle" xmi:id="_fPRkNRBDEeGQ0KsLDV4EFg"/>
  527. <layoutConstraint xsi:type="notation:Location" xmi:id="_fPRkNhBDEeGQ0KsLDV4EFg"/>
  528. </children>
  529. <children xsi:type="notation:Compartment" xmi:id="_fPRkNxBDEeGQ0KsLDV4EFg" type="StateTextCompartment">
  530. <children xsi:type="notation:Shape" xmi:id="_fPRkOBBDEeGQ0KsLDV4EFg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  531. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_fPRkORBDEeGQ0KsLDV4EFg"/>
  532. </children>
  533. </children>
  534. <children xsi:type="notation:Compartment" xmi:id="_fPRkOhBDEeGQ0KsLDV4EFg" type="StateFigureCompartment"/>
  535. <styles xsi:type="notation:ShapeStyle" xmi:id="_fPRkMRBDEeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  536. <styles xsi:type="notation:FontStyle" xmi:id="_fPRkMhBDEeGQ0KsLDV4EFg"/>
  537. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_fPRkOxBDEeGQ0KsLDV4EFg"/>
  538. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_fPRkMxBDEeGQ0KsLDV4EFg" x="3" y="514"/>
  539. </children>
  540. <children xmi:id="_12Y7ABBDEeGQ0KsLDV4EFg" type="State" element="_12GAEBBDEeGQ0KsLDV4EFg">
  541. <children xsi:type="notation:DecorationNode" xmi:id="_12Y7BBBDEeGQ0KsLDV4EFg" type="StateName">
  542. <styles xsi:type="notation:ShapeStyle" xmi:id="_12Y7BRBDEeGQ0KsLDV4EFg"/>
  543. <layoutConstraint xsi:type="notation:Location" xmi:id="_12Y7BhBDEeGQ0KsLDV4EFg"/>
  544. </children>
  545. <children xsi:type="notation:Compartment" xmi:id="_12Y7BxBDEeGQ0KsLDV4EFg" type="StateTextCompartment">
  546. <children xsi:type="notation:Shape" xmi:id="_12Y7CBBDEeGQ0KsLDV4EFg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  547. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_12Y7CRBDEeGQ0KsLDV4EFg"/>
  548. </children>
  549. </children>
  550. <children xsi:type="notation:Compartment" xmi:id="_12Y7ChBDEeGQ0KsLDV4EFg" type="StateFigureCompartment"/>
  551. <styles xsi:type="notation:ShapeStyle" xmi:id="_12Y7ARBDEeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  552. <styles xsi:type="notation:FontStyle" xmi:id="_12Y7AhBDEeGQ0KsLDV4EFg"/>
  553. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_12Y7CxBDEeGQ0KsLDV4EFg"/>
  554. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_12Y7AxBDEeGQ0KsLDV4EFg" x="1" y="409"/>
  555. </children>
  556. <children xmi:id="_K-JX4RBEEeGQ0KsLDV4EFg" type="State" element="_K-JX7RBEEeGQ0KsLDV4EFg">
  557. <children xsi:type="notation:DecorationNode" xmi:id="_K-JX4hBEEeGQ0KsLDV4EFg" type="StateName">
  558. <styles xsi:type="notation:ShapeStyle" xmi:id="_K-JX4xBEEeGQ0KsLDV4EFg"/>
  559. <layoutConstraint xsi:type="notation:Location" xmi:id="_K-JX5BBEEeGQ0KsLDV4EFg"/>
  560. </children>
  561. <children xsi:type="notation:Compartment" xmi:id="_K-JX5RBEEeGQ0KsLDV4EFg" type="StateTextCompartment">
  562. <children xsi:type="notation:Shape" xmi:id="_K-JX5hBEEeGQ0KsLDV4EFg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  563. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_K-JX5xBEEeGQ0KsLDV4EFg"/>
  564. </children>
  565. </children>
  566. <children xsi:type="notation:Compartment" xmi:id="_K-JX6BBEEeGQ0KsLDV4EFg" type="StateFigureCompartment"/>
  567. <styles xsi:type="notation:ShapeStyle" xmi:id="_K-JX6RBEEeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  568. <styles xsi:type="notation:FontStyle" xmi:id="_K-JX6hBEEeGQ0KsLDV4EFg"/>
  569. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_K-JX6xBEEeGQ0KsLDV4EFg"/>
  570. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_K-JX7BBEEeGQ0KsLDV4EFg" x="3" y="304"/>
  571. </children>
  572. <children xmi:id="_TfjYQRBEEeGQ0KsLDV4EFg" type="State" element="_TfjYTRBEEeGQ0KsLDV4EFg">
  573. <children xsi:type="notation:DecorationNode" xmi:id="_TfjYQhBEEeGQ0KsLDV4EFg" type="StateName">
  574. <styles xsi:type="notation:ShapeStyle" xmi:id="_TfjYQxBEEeGQ0KsLDV4EFg"/>
  575. <layoutConstraint xsi:type="notation:Location" xmi:id="_TfjYRBBEEeGQ0KsLDV4EFg"/>
  576. </children>
  577. <children xsi:type="notation:Compartment" xmi:id="_TfjYRRBEEeGQ0KsLDV4EFg" type="StateTextCompartment">
  578. <children xsi:type="notation:Shape" xmi:id="_TfjYRhBEEeGQ0KsLDV4EFg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  579. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TfjYRxBEEeGQ0KsLDV4EFg"/>
  580. </children>
  581. </children>
  582. <children xsi:type="notation:Compartment" xmi:id="_TfjYSBBEEeGQ0KsLDV4EFg" type="StateFigureCompartment"/>
  583. <styles xsi:type="notation:ShapeStyle" xmi:id="_TfjYSRBEEeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  584. <styles xsi:type="notation:FontStyle" xmi:id="_TfjYShBEEeGQ0KsLDV4EFg"/>
  585. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_TfjYSxBEEeGQ0KsLDV4EFg"/>
  586. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_TfjYTBBEEeGQ0KsLDV4EFg" x="1" y="179"/>
  587. </children>
  588. <children xmi:id="_xz9w8BBPEeGQ0KsLDV4EFg" type="Entry" element="_xz0nABBPEeGQ0KsLDV4EFg">
  589. <children xmi:id="_xz9w8xBPEeGQ0KsLDV4EFg" type="BorderItemLabelContainer">
  590. <children xsi:type="notation:DecorationNode" xmi:id="_xz9w9hBPEeGQ0KsLDV4EFg" type="BorderItemLabel">
  591. <styles xsi:type="notation:ShapeStyle" xmi:id="_xz9w9xBPEeGQ0KsLDV4EFg"/>
  592. <layoutConstraint xsi:type="notation:Location" xmi:id="_xz9w-BBPEeGQ0KsLDV4EFg"/>
  593. </children>
  594. <styles xsi:type="notation:ShapeStyle" xmi:id="_xz9w9BBPEeGQ0KsLDV4EFg" fontName="Verdana" lineColor="4210752"/>
  595. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xz9w9RBPEeGQ0KsLDV4EFg"/>
  596. </children>
  597. <styles xsi:type="notation:ShapeStyle" xmi:id="_xz9w8RBPEeGQ0KsLDV4EFg" fontName="Verdana" lineColor="4210752"/>
  598. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xz9w8hBPEeGQ0KsLDV4EFg" x="153" y="44"/>
  599. </children>
  600. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_vZ9m8BA_EeGQ0KsLDV4EFg"/>
  601. </children>
  602. <styles xsi:type="notation:ShapeStyle" xmi:id="_vZz18hA_EeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  603. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_vZz18xA_EeGQ0KsLDV4EFg"/>
  604. </children>
  605. </children>
  606. <styles xsi:type="notation:ShapeStyle" xmi:id="_NPjBmxA-EeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  607. <styles xsi:type="notation:FontStyle" xmi:id="_NPjBnBA-EeGQ0KsLDV4EFg"/>
  608. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_NPsyhRA-EeGQ0KsLDV4EFg"/>
  609. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPsyhhA-EeGQ0KsLDV4EFg" x="4" y="43" width="856" height="696"/>
  610. </children>
  611. <children xmi:id="_MGCXkBBFEeGQ0KsLDV4EFg" type="State" element="_MF4mkBBFEeGQ0KsLDV4EFg">
  612. <children xsi:type="notation:DecorationNode" xmi:id="_MGCXlBBFEeGQ0KsLDV4EFg" type="StateName">
  613. <styles xsi:type="notation:ShapeStyle" xmi:id="_MGCXlRBFEeGQ0KsLDV4EFg"/>
  614. <layoutConstraint xsi:type="notation:Location" xmi:id="_MGCXlhBFEeGQ0KsLDV4EFg"/>
  615. </children>
  616. <children xsi:type="notation:Compartment" xmi:id="_MGMIkBBFEeGQ0KsLDV4EFg" type="StateTextCompartment">
  617. <children xsi:type="notation:Shape" xmi:id="_MGMIkRBFEeGQ0KsLDV4EFg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  618. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_MGMIkhBFEeGQ0KsLDV4EFg"/>
  619. </children>
  620. </children>
  621. <children xsi:type="notation:Compartment" xmi:id="_MGMIkxBFEeGQ0KsLDV4EFg" type="StateFigureCompartment">
  622. <children xmi:id="_xHG2gRBFEeGQ0KsLDV4EFg" type="Region" element="_xHG2gBBFEeGQ0KsLDV4EFg">
  623. <children xsi:type="notation:DecorationNode" xmi:id="_xHQAcBBFEeGQ0KsLDV4EFg" type="RegionName">
  624. <styles xsi:type="notation:ShapeStyle" xmi:id="_xHQAcRBFEeGQ0KsLDV4EFg"/>
  625. <layoutConstraint xsi:type="notation:Location" xmi:id="_xHQAchBFEeGQ0KsLDV4EFg"/>
  626. </children>
  627. <children xsi:type="notation:Shape" xmi:id="_xHQAcxBFEeGQ0KsLDV4EFg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  628. <children xmi:id="_BV6ncBBGEeGQ0KsLDV4EFg" type="State" element="_BVnsgBBGEeGQ0KsLDV4EFg">
  629. <children xsi:type="notation:DecorationNode" xmi:id="_BV6ndBBGEeGQ0KsLDV4EFg" type="StateName">
  630. <styles xsi:type="notation:ShapeStyle" xmi:id="_BV6ndRBGEeGQ0KsLDV4EFg"/>
  631. <layoutConstraint xsi:type="notation:Location" xmi:id="_BV6ndhBGEeGQ0KsLDV4EFg"/>
  632. </children>
  633. <children xsi:type="notation:Compartment" xmi:id="_BV6ndxBGEeGQ0KsLDV4EFg" type="StateTextCompartment">
  634. <children xsi:type="notation:Shape" xmi:id="_BV6neBBGEeGQ0KsLDV4EFg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  635. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BV6neRBGEeGQ0KsLDV4EFg"/>
  636. </children>
  637. </children>
  638. <children xsi:type="notation:Compartment" xmi:id="_BV6nehBGEeGQ0KsLDV4EFg" type="StateFigureCompartment"/>
  639. <styles xsi:type="notation:ShapeStyle" xmi:id="_BV6ncRBGEeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  640. <styles xsi:type="notation:FontStyle" xmi:id="_BV6nchBGEeGQ0KsLDV4EFg"/>
  641. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_BV6nexBGEeGQ0KsLDV4EFg"/>
  642. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_BV6ncxBGEeGQ0KsLDV4EFg" x="3" y="42" height="69"/>
  643. </children>
  644. <children xmi:id="_EUppcBBGEeGQ0KsLDV4EFg" type="Entry" element="_EUWHcBBGEeGQ0KsLDV4EFg">
  645. <children xmi:id="_EUppcxBGEeGQ0KsLDV4EFg" type="BorderItemLabelContainer">
  646. <children xsi:type="notation:DecorationNode" xmi:id="_EUppdhBGEeGQ0KsLDV4EFg" type="BorderItemLabel">
  647. <styles xsi:type="notation:ShapeStyle" xmi:id="_EUppdxBGEeGQ0KsLDV4EFg"/>
  648. <layoutConstraint xsi:type="notation:Location" xmi:id="_EUppeBBGEeGQ0KsLDV4EFg"/>
  649. </children>
  650. <styles xsi:type="notation:ShapeStyle" xmi:id="_EUppdBBGEeGQ0KsLDV4EFg" fontName="Verdana" lineColor="4210752"/>
  651. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EUppdRBGEeGQ0KsLDV4EFg"/>
  652. </children>
  653. <styles xsi:type="notation:ShapeStyle" xmi:id="_EUppcRBGEeGQ0KsLDV4EFg" fontName="Verdana" lineColor="4210752"/>
  654. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_EUppchBGEeGQ0KsLDV4EFg" x="100" y="12"/>
  655. </children>
  656. <children xmi:id="_B7onYBzuEeGEC4raFz1JbQ" type="State" element="_B6YqMBzuEeGEC4raFz1JbQ">
  657. <children xsi:type="notation:DecorationNode" xmi:id="_B7s40BzuEeGEC4raFz1JbQ" type="StateName">
  658. <styles xsi:type="notation:ShapeStyle" xmi:id="_B7s40RzuEeGEC4raFz1JbQ"/>
  659. <layoutConstraint xsi:type="notation:Location" xmi:id="_B7s40hzuEeGEC4raFz1JbQ"/>
  660. </children>
  661. <children xsi:type="notation:Compartment" xmi:id="_B7tf4BzuEeGEC4raFz1JbQ" type="StateTextCompartment">
  662. <children xsi:type="notation:Shape" xmi:id="_B7tf4RzuEeGEC4raFz1JbQ" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  663. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_B7tf4hzuEeGEC4raFz1JbQ"/>
  664. </children>
  665. </children>
  666. <children xsi:type="notation:Compartment" xmi:id="_B7uG8BzuEeGEC4raFz1JbQ" type="StateFigureCompartment"/>
  667. <styles xsi:type="notation:ShapeStyle" xmi:id="_B7onYRzuEeGEC4raFz1JbQ" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  668. <styles xsi:type="notation:FontStyle" xmi:id="_B7onYhzuEeGEC4raFz1JbQ"/>
  669. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_B7uG8RzuEeGEC4raFz1JbQ"/>
  670. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_B7onYxzuEeGEC4raFz1JbQ" x="3" y="152"/>
  671. </children>
  672. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xHQAdBBFEeGQ0KsLDV4EFg"/>
  673. </children>
  674. <styles xsi:type="notation:ShapeStyle" xmi:id="_xHG2ghBFEeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  675. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_xHG2gxBFEeGQ0KsLDV4EFg"/>
  676. </children>
  677. </children>
  678. <styles xsi:type="notation:ShapeStyle" xmi:id="_MGCXkRBFEeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  679. <styles xsi:type="notation:FontStyle" xmi:id="_MGCXkhBFEeGQ0KsLDV4EFg"/>
  680. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_MGMIlBBFEeGQ0KsLDV4EFg"/>
  681. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_MGCXkxBFEeGQ0KsLDV4EFg" x="945" y="194" width="309" height="400"/>
  682. </children>
  683. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPjBixA-EeGQ0KsLDV4EFg"/>
  684. </children>
  685. <styles xsi:type="notation:ShapeStyle" xmi:id="_NPjBhRA-EeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  686. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPjBjBA-EeGQ0KsLDV4EFg" x="220" y="10" width="1279" height="811"/>
  687. </children>
  688. <children xsi:type="notation:Shape" xmi:id="_NPsyjxA-EeGQ0KsLDV4EFg" type="StatechartText" fontName="Verdana" lineColor="4210752">
  689. <children xsi:type="notation:DecorationNode" xmi:id="_NPsykRA-EeGQ0KsLDV4EFg" type="StatechartName">
  690. <styles xsi:type="notation:ShapeStyle" xmi:id="_NPsykhA-EeGQ0KsLDV4EFg"/>
  691. <layoutConstraint xsi:type="notation:Location" xmi:id="_NPsykxA-EeGQ0KsLDV4EFg"/>
  692. </children>
  693. <children xsi:type="notation:Shape" xmi:id="_NPsylBA-EeGQ0KsLDV4EFg" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  694. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPsylRA-EeGQ0KsLDV4EFg"/>
  695. </children>
  696. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPsylhA-EeGQ0KsLDV4EFg" x="10" y="10" width="200" height="400"/>
  697. </children>
  698. <styles xsi:type="notation:DiagramStyle" xmi:id="_NPjBghA-EeGQ0KsLDV4EFg"/>
  699. <edges xmi:id="_NPsyiBA-EeGQ0KsLDV4EFg" type="Transition" element="_NPsyhxA-EeGQ0KsLDV4EFg" source="_NPjBjhA-EeGQ0KsLDV4EFg" target="_NPjBmhA-EeGQ0KsLDV4EFg">
  700. <children xsi:type="notation:DecorationNode" xmi:id="_NPsyjBA-EeGQ0KsLDV4EFg" type="TransitionExpression">
  701. <styles xsi:type="notation:ShapeStyle" xmi:id="_NPsyjRA-EeGQ0KsLDV4EFg"/>
  702. <layoutConstraint xsi:type="notation:Location" xmi:id="_NPsyjhA-EeGQ0KsLDV4EFg" y="40"/>
  703. </children>
  704. <styles xsi:type="notation:ConnectorStyle" xmi:id="_NPsyiRA-EeGQ0KsLDV4EFg" lineColor="4210752"/>
  705. <styles xsi:type="notation:FontStyle" xmi:id="_NPsyixA-EeGQ0KsLDV4EFg" fontName="Verdana"/>
  706. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_NPsyihA-EeGQ0KsLDV4EFg" points="[1, 7, -72, -384]$[7, 43, -66, -348]"/>
  707. </edges>
  708. <edges xmi:id="_wTaiABBAEeGQ0KsLDV4EFg" type="Transition" element="_wTHnEBBAEeGQ0KsLDV4EFg" source="_pqhicBBAEeGQ0KsLDV4EFg" target="_mjwl0BBAEeGQ0KsLDV4EFg">
  709. <children xsi:type="notation:DecorationNode" xmi:id="_wTaiBBBAEeGQ0KsLDV4EFg" type="TransitionExpression">
  710. <styles xsi:type="notation:ShapeStyle" xmi:id="_wTaiBRBAEeGQ0KsLDV4EFg"/>
  711. <layoutConstraint xsi:type="notation:Location" xmi:id="_wTaiBhBAEeGQ0KsLDV4EFg" y="40"/>
  712. </children>
  713. <styles xsi:type="notation:ConnectorStyle" xmi:id="_wTaiARBAEeGQ0KsLDV4EFg" lineColor="4210752"/>
  714. <styles xsi:type="notation:FontStyle" xmi:id="_wTaiAxBAEeGQ0KsLDV4EFg" fontName="Verdana"/>
  715. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_wTaiAhBAEeGQ0KsLDV4EFg" points="[-3, 7, 26, -61]$[-13, 31, 16, -37]"/>
  716. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_wUA-8BBAEeGQ0KsLDV4EFg" id="(0.5026178010471204,0.11688311688311688)"/>
  717. </edges>
  718. <edges xmi:id="_6Ljr0BBAEeGQ0KsLDV4EFg" type="Transition" element="_6LZ60BBAEeGQ0KsLDV4EFg" source="_mjwl0BBAEeGQ0KsLDV4EFg" target="_n6M0UBBAEeGQ0KsLDV4EFg">
  719. <children xsi:type="notation:DecorationNode" xmi:id="_6Ljr1BBAEeGQ0KsLDV4EFg" type="TransitionExpression">
  720. <styles xsi:type="notation:ShapeStyle" xmi:id="_6Ljr1RBAEeGQ0KsLDV4EFg"/>
  721. <layoutConstraint xsi:type="notation:Location" xmi:id="_6Ljr1hBAEeGQ0KsLDV4EFg" y="-14"/>
  722. </children>
  723. <styles xsi:type="notation:ConnectorStyle" xmi:id="_6Ljr0RBAEeGQ0KsLDV4EFg" lineColor="4210752"/>
  724. <styles xsi:type="notation:FontStyle" xmi:id="_6Ljr0xBAEeGQ0KsLDV4EFg" fontName="Verdana"/>
  725. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_6Ljr0hBAEeGQ0KsLDV4EFg" points="[12, 2, -102, -8]$[105, -20, -9, -30]"/>
  726. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_6MJhsBBAEeGQ0KsLDV4EFg" id="(0.93717277486911,0.2597402597402597)"/>
  727. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_NsqT8BBBEeGQ0KsLDV4EFg" id="(0.035897435897435895,0.23376623376623376)"/>
  728. </edges>
  729. <edges xmi:id="_Lo_zEBBBEeGQ0KsLDV4EFg" type="Transition" element="_Lo2CEBBBEeGQ0KsLDV4EFg" source="_w85ZUBA_EeGQ0KsLDV4EFg" target="_iAUP0BBAEeGQ0KsLDV4EFg">
  730. <children xsi:type="notation:DecorationNode" xmi:id="_Lo_zFBBBEeGQ0KsLDV4EFg" type="TransitionExpression">
  731. <styles xsi:type="notation:ShapeStyle" xmi:id="_Lo_zFRBBEeGQ0KsLDV4EFg"/>
  732. <layoutConstraint xsi:type="notation:Location" xmi:id="_Lo_zFhBBEeGQ0KsLDV4EFg" x="17" y="-38"/>
  733. </children>
  734. <styles xsi:type="notation:ConnectorStyle" xmi:id="_Lo_zERBBEeGQ0KsLDV4EFg" lineColor="4210752"/>
  735. <styles xsi:type="notation:FontStyle" xmi:id="_Lo_zExBBEeGQ0KsLDV4EFg" fontName="Verdana"/>
  736. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Lo_zEhBBEeGQ0KsLDV4EFg" points="[18, 8, -142, -63]$[160, 62, 0, -9]"/>
  737. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_LpvZ8BBBEeGQ0KsLDV4EFg" id="(0.9382716049382716,0.49635036496350365)"/>
  738. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_LpvZ8RBBEeGQ0KsLDV4EFg" id="(0.5038022813688213,0.043689320388349516)"/>
  739. </edges>
  740. <edges xmi:id="_OXpxsRBBEeGQ0KsLDV4EFg" type="Transition" element="_OXpxsBBBEeGQ0KsLDV4EFg" source="_n6M0UBBAEeGQ0KsLDV4EFg" target="_mjwl0BBAEeGQ0KsLDV4EFg">
  741. <children xsi:type="notation:DecorationNode" xmi:id="_OXzisRBBEeGQ0KsLDV4EFg" type="TransitionExpression">
  742. <styles xsi:type="notation:ShapeStyle" xmi:id="_OXzishBBEeGQ0KsLDV4EFg"/>
  743. <layoutConstraint xsi:type="notation:Location" xmi:id="_OXzisxBBEeGQ0KsLDV4EFg" y="13"/>
  744. </children>
  745. <styles xsi:type="notation:ConnectorStyle" xmi:id="_OXpxshBBEeGQ0KsLDV4EFg" lineColor="4210752"/>
  746. <styles xsi:type="notation:FontStyle" xmi:id="_OXzisBBBEeGQ0KsLDV4EFg" fontName="Verdana"/>
  747. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_OXpxsxBBEeGQ0KsLDV4EFg" points="[-5, -3, 94, 0]$[-89, 0, 10, 3]"/>
  748. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_OYjJkBBBEeGQ0KsLDV4EFg" id="(0.02564102564102564,0.8831168831168831)"/>
  749. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_OYjJkRBBEeGQ0KsLDV4EFg" id="(0.9476439790575916,0.8441558441558441)"/>
  750. </edges>
  751. <edges xmi:id="_LDg1gBBDEeGQ0KsLDV4EFg" type="Transition" element="_LDXEgBBDEeGQ0KsLDV4EFg" source="_iAUP0BBAEeGQ0KsLDV4EFg" target="_SKwP4BBBEeGQ0KsLDV4EFg">
  752. <children xsi:type="notation:DecorationNode" xmi:id="_LDg1hBBDEeGQ0KsLDV4EFg" type="TransitionExpression">
  753. <styles xsi:type="notation:ShapeStyle" xmi:id="_LDg1hRBDEeGQ0KsLDV4EFg"/>
  754. <layoutConstraint xsi:type="notation:Location" xmi:id="_LDg1hhBDEeGQ0KsLDV4EFg" x="-1" y="-38"/>
  755. </children>
  756. <styles xsi:type="notation:ConnectorStyle" xmi:id="_LDg1gRBDEeGQ0KsLDV4EFg" lineColor="4210752"/>
  757. <styles xsi:type="notation:FontStyle" xmi:id="_LDg1gxBDEeGQ0KsLDV4EFg" fontName="Verdana"/>
  758. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_LDg1ghBDEeGQ0KsLDV4EFg" points="[-1, 4, 0, -95]$[1, 93, 2, -6]"/>
  759. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_LEGrYBBDEeGQ0KsLDV4EFg" id="(0.5057034220532319,0.9805825242718447)"/>
  760. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_LEGrYRBDEeGQ0KsLDV4EFg" id="(0.5194805194805194,0.16304347826086957)"/>
  761. </edges>
  762. <edges xmi:id="_fTBmUBBEEeGQ0KsLDV4EFg" type="Transition" element="_fS31UBBEEeGQ0KsLDV4EFg" source="_SKwP4BBBEeGQ0KsLDV4EFg" target="_fPRkMBBDEeGQ0KsLDV4EFg">
  763. <children xsi:type="notation:DecorationNode" xmi:id="_fTBmVBBEEeGQ0KsLDV4EFg" type="TransitionExpression">
  764. <styles xsi:type="notation:ShapeStyle" xmi:id="_fTBmVRBEEeGQ0KsLDV4EFg"/>
  765. <layoutConstraint xsi:type="notation:Location" xmi:id="_fTBmVhBEEeGQ0KsLDV4EFg" y="17"/>
  766. </children>
  767. <styles xsi:type="notation:ConnectorStyle" xmi:id="_fTBmURBEEeGQ0KsLDV4EFg" lineColor="4210752"/>
  768. <styles xsi:type="notation:FontStyle" xmi:id="_fTBmUxBEEeGQ0KsLDV4EFg" fontName="Verdana"/>
  769. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_fTBmUhBEEeGQ0KsLDV4EFg" points="[-6, 0, 249, 0]$[-237, -1, 18, -1]"/>
  770. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_fTncMBBEEeGQ0KsLDV4EFg" id="(0.025974025974025976,0.4782608695652174)"/>
  771. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_fTncMRBEEeGQ0KsLDV4EFg" id="(0.9138755980861244,0.4782608695652174)"/>
  772. </edges>
  773. <edges xmi:id="_g7nUwBBEEeGQ0KsLDV4EFg" type="Transition" element="_g7TywBBEEeGQ0KsLDV4EFg" source="_fPRkMBBDEeGQ0KsLDV4EFg" target="_12Y7ABBDEeGQ0KsLDV4EFg">
  774. <children xsi:type="notation:DecorationNode" xmi:id="_g7nUxBBEEeGQ0KsLDV4EFg" type="TransitionExpression">
  775. <styles xsi:type="notation:ShapeStyle" xmi:id="_g7nUxRBEEeGQ0KsLDV4EFg"/>
  776. <layoutConstraint xsi:type="notation:Location" xmi:id="_g7nUxhBEEeGQ0KsLDV4EFg" y="40"/>
  777. </children>
  778. <styles xsi:type="notation:ConnectorStyle" xmi:id="_g7nUwRBEEeGQ0KsLDV4EFg" lineColor="4210752"/>
  779. <styles xsi:type="notation:FontStyle" xmi:id="_g7nUwxBEEeGQ0KsLDV4EFg" fontName="Verdana"/>
  780. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_g7nUwhBEEeGQ0KsLDV4EFg" points="[-1, -4, 0, 55]$[-8, -42, -7, 17]"/>
  781. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_g8NKoBBEEeGQ0KsLDV4EFg" id="(0.46411483253588515,0.043478260869565216)"/>
  782. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_g8NKoRBEEeGQ0KsLDV4EFg" id="(0.460093896713615,0.7792207792207793)"/>
  783. </edges>
  784. <edges xmi:id="_iZx74BBEEeGQ0KsLDV4EFg" type="Transition" element="_iZox8BBEEeGQ0KsLDV4EFg" source="_12Y7ABBDEeGQ0KsLDV4EFg" target="_K-JX4RBEEeGQ0KsLDV4EFg">
  785. <children xsi:type="notation:DecorationNode" xmi:id="_iZx75BBEEeGQ0KsLDV4EFg" type="TransitionExpression">
  786. <styles xsi:type="notation:ShapeStyle" xmi:id="_iZx75RBEEeGQ0KsLDV4EFg"/>
  787. <layoutConstraint xsi:type="notation:Location" xmi:id="_iZx75hBEEeGQ0KsLDV4EFg" y="40"/>
  788. </children>
  789. <styles xsi:type="notation:ConnectorStyle" xmi:id="_iZx74RBEEeGQ0KsLDV4EFg" lineColor="4210752"/>
  790. <styles xsi:type="notation:FontStyle" xmi:id="_iZx74xBEEeGQ0KsLDV4EFg" fontName="Verdana"/>
  791. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_iZx74hBEEeGQ0KsLDV4EFg" points="[2, -7, 0, 68]$[0, -65, -2, 10]"/>
  792. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_iaYY0BBEEeGQ0KsLDV4EFg" id="(0.460093896713615,0.09090909090909091)"/>
  793. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_iaYY0RBEEeGQ0KsLDV4EFg" id="(0.4784688995215311,0.8701298701298701)"/>
  794. </edges>
  795. <edges xmi:id="_nVCU8RBEEeGQ0KsLDV4EFg" type="Transition" element="_nVCU8BBEEeGQ0KsLDV4EFg" source="_K-JX4RBEEeGQ0KsLDV4EFg" target="_TfjYQRBEEeGQ0KsLDV4EFg">
  796. <children xsi:type="notation:DecorationNode" xmi:id="_nVMF8RBEEeGQ0KsLDV4EFg" type="TransitionExpression">
  797. <styles xsi:type="notation:ShapeStyle" xmi:id="_nVMF8hBEEeGQ0KsLDV4EFg"/>
  798. <layoutConstraint xsi:type="notation:Location" xmi:id="_nVMF8xBEEeGQ0KsLDV4EFg" y="40"/>
  799. </children>
  800. <styles xsi:type="notation:ConnectorStyle" xmi:id="_nVCU8hBEEeGQ0KsLDV4EFg" lineColor="4210752"/>
  801. <styles xsi:type="notation:FontStyle" xmi:id="_nVMF8BBEEeGQ0KsLDV4EFg" fontName="Verdana"/>
  802. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_nVCU8xBEEeGQ0KsLDV4EFg" points="[5, -8, 0, 60]$[-2, -51, -7, 17]"/>
  803. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_nVx70BBEEeGQ0KsLDV4EFg" id="(0.4688995215311005,0.1038961038961039)"/>
  804. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_nVx70RBEEeGQ0KsLDV4EFg" id="(0.45454545454545453,0.8152173913043478)"/>
  805. </edges>
  806. <edges xmi:id="_pddaARBEEeGQ0KsLDV4EFg" type="Transition" element="_pddaABBEEeGQ0KsLDV4EFg" source="_TfjYQRBEEeGQ0KsLDV4EFg" target="_w85ZUBA_EeGQ0KsLDV4EFg">
  807. <children xsi:type="notation:DecorationNode" xmi:id="_pddaBRBEEeGQ0KsLDV4EFg" type="TransitionExpression">
  808. <styles xsi:type="notation:ShapeStyle" xmi:id="_pddaBhBEEeGQ0KsLDV4EFg"/>
  809. <layoutConstraint xsi:type="notation:Location" xmi:id="_pddaBxBEEeGQ0KsLDV4EFg" x="-44" y="-31"/>
  810. </children>
  811. <styles xsi:type="notation:ConnectorStyle" xmi:id="_pddaAhBEEeGQ0KsLDV4EFg" lineColor="4210752"/>
  812. <styles xsi:type="notation:FontStyle" xmi:id="_pddaBBBEEeGQ0KsLDV4EFg" fontName="Verdana"/>
  813. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_pddaAxBEEeGQ0KsLDV4EFg" points="[5, -5, -120, 102]$[120, -107, -5, 0]"/>
  814. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_peD28BBEEeGQ0KsLDV4EFg" id="(0.46320346320346323,0.05434782608695652)"/>
  815. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_peD28RBEEeGQ0KsLDV4EFg" id="(0.0205761316872428,0.5328467153284672)"/>
  816. </edges>
  817. <edges xmi:id="_XlRbABBFEeGQ0KsLDV4EFg" type="Transition" element="_XlIREBBFEeGQ0KsLDV4EFg" source="_NPjBmhA-EeGQ0KsLDV4EFg" target="_MGCXkBBFEeGQ0KsLDV4EFg">
  818. <children xsi:type="notation:DecorationNode" xmi:id="_XlRbBBBFEeGQ0KsLDV4EFg" type="TransitionExpression">
  819. <styles xsi:type="notation:ShapeStyle" xmi:id="_XlRbBRBFEeGQ0KsLDV4EFg"/>
  820. <layoutConstraint xsi:type="notation:Location" xmi:id="_XlRbBhBFEeGQ0KsLDV4EFg" x="-1" y="-10"/>
  821. </children>
  822. <styles xsi:type="notation:ConnectorStyle" xmi:id="_XlRbARBFEeGQ0KsLDV4EFg" lineColor="4210752"/>
  823. <styles xsi:type="notation:FontStyle" xmi:id="_XlRbAxBFEeGQ0KsLDV4EFg" fontName="Verdana"/>
  824. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_XlRbAhBFEeGQ0KsLDV4EFg" points="[6, -4, -198, 0]$[195, 7, -9, 11]"/>
  825. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_XmBB4BBFEeGQ0KsLDV4EFg" id="(0.9964953271028038,0.3146551724137931)"/>
  826. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_XmBB4RBFEeGQ0KsLDV4EFg" id="(0.03559870550161812,0.155)"/>
  827. </edges>
  828. <edges xmi:id="_EweCwBBGEeGQ0KsLDV4EFg" type="Transition" element="_EwURwBBGEeGQ0KsLDV4EFg" source="_EUppcBBGEeGQ0KsLDV4EFg" target="_BV6ncBBGEeGQ0KsLDV4EFg">
  829. <children xsi:type="notation:DecorationNode" xmi:id="_EweCxBBGEeGQ0KsLDV4EFg" type="TransitionExpression">
  830. <styles xsi:type="notation:ShapeStyle" xmi:id="_EweCxRBGEeGQ0KsLDV4EFg"/>
  831. <layoutConstraint xsi:type="notation:Location" xmi:id="_EweCxhBGEeGQ0KsLDV4EFg" y="40"/>
  832. </children>
  833. <styles xsi:type="notation:ConnectorStyle" xmi:id="_EweCwRBGEeGQ0KsLDV4EFg" lineColor="4210752"/>
  834. <styles xsi:type="notation:FontStyle" xmi:id="_EweCwxBGEeGQ0KsLDV4EFg" fontName="Verdana"/>
  835. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_EweCwhBGEeGQ0KsLDV4EFg" points="[8, 0, -91, 0]$[86, -3, -13, -3]"/>
  836. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_ExD4oBBGEeGQ0KsLDV4EFg" id="(0.48493975903614456,0.24675324675324675)"/>
  837. </edges>
  838. <edges xmi:id="_yY3NwBBPEeGQ0KsLDV4EFg" type="Transition" element="_yYuD0BBPEeGQ0KsLDV4EFg" source="_xz9w8BBPEeGQ0KsLDV4EFg" target="_w85ZUBA_EeGQ0KsLDV4EFg">
  839. <children xsi:type="notation:DecorationNode" xmi:id="_yY3NxBBPEeGQ0KsLDV4EFg" type="TransitionExpression">
  840. <styles xsi:type="notation:ShapeStyle" xmi:id="_yY3NxRBPEeGQ0KsLDV4EFg"/>
  841. <layoutConstraint xsi:type="notation:Location" xmi:id="_yY3NxhBPEeGQ0KsLDV4EFg" y="40"/>
  842. </children>
  843. <styles xsi:type="notation:ConnectorStyle" xmi:id="_yY3NwRBPEeGQ0KsLDV4EFg" lineColor="4210752"/>
  844. <styles xsi:type="notation:FontStyle" xmi:id="_yY3NwxBPEeGQ0KsLDV4EFg" fontName="Verdana"/>
  845. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_yY3NwhBPEeGQ0KsLDV4EFg" points="[7, 0, -124, -1]$[127, 0, -4, -1]"/>
  846. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_yZT5sBBPEeGQ0KsLDV4EFg" id="(0.01646090534979424,0.35036496350364965)"/>
  847. </edges>
  848. <edges xmi:id="__O1aoBBPEeGQ0KsLDV4EFg" type="Transition" element="__OsQsBBPEeGQ0KsLDV4EFg" source="_MGCXkBBFEeGQ0KsLDV4EFg" target="_NPjBmhA-EeGQ0KsLDV4EFg">
  849. <children xsi:type="notation:DecorationNode" xmi:id="__O1apBBPEeGQ0KsLDV4EFg" type="TransitionExpression">
  850. <styles xsi:type="notation:ShapeStyle" xmi:id="__O1apRBPEeGQ0KsLDV4EFg"/>
  851. <layoutConstraint xsi:type="notation:Location" xmi:id="__O1aphBPEeGQ0KsLDV4EFg" x="1" y="11"/>
  852. </children>
  853. <styles xsi:type="notation:ConnectorStyle" xmi:id="__O1aoRBPEeGQ0KsLDV4EFg" lineColor="4210752"/>
  854. <styles xsi:type="notation:FontStyle" xmi:id="__O1aoxBPEeGQ0KsLDV4EFg" fontName="Verdana"/>
  855. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="__O1aohBPEeGQ0KsLDV4EFg" points="[-4, -4, 180, 0]$[-172, -6, 12, -2]"/>
  856. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="__PSGkBBPEeGQ0KsLDV4EFg" id="(0.006430868167202572,0.44405594405594406)"/>
  857. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="__PSGkRBPEeGQ0KsLDV4EFg" id="(0.9906542056074766,0.47126436781609193)"/>
  858. </edges>
  859. <edges xmi:id="_P65-oBzuEeGEC4raFz1JbQ" type="Transition" element="_P6yC0BzuEeGEC4raFz1JbQ" source="_BV6ncBBGEeGQ0KsLDV4EFg" target="_B7onYBzuEeGEC4raFz1JbQ">
  860. <children xsi:type="notation:DecorationNode" xmi:id="_P66lsRzuEeGEC4raFz1JbQ" type="TransitionExpression">
  861. <styles xsi:type="notation:ShapeStyle" xmi:id="_P66lshzuEeGEC4raFz1JbQ"/>
  862. <layoutConstraint xsi:type="notation:Location" xmi:id="_P66lsxzuEeGEC4raFz1JbQ" x="-4" y="-44"/>
  863. </children>
  864. <styles xsi:type="notation:ConnectorStyle" xmi:id="_P65-oRzuEeGEC4raFz1JbQ" lineColor="4210752"/>
  865. <styles xsi:type="notation:FontStyle" xmi:id="_P66lsBzuEeGEC4raFz1JbQ" fontName="Verdana"/>
  866. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_P65-ohzuEeGEC4raFz1JbQ" points="[1, 11, -20, -140]$[-17, 141, -38, -10]"/>
  867. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_P7a8ABzuEeGEC4raFz1JbQ" id="(0.1778846153846154,0.8695652173913043)"/>
  868. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_P7a8ARzuEeGEC4raFz1JbQ" id="(0.18095238095238095,0.28205128205128205)"/>
  869. </edges>
  870. <edges xmi:id="_S4LoEBzuEeGEC4raFz1JbQ" type="Transition" element="_S4HWoBzuEeGEC4raFz1JbQ" source="_B7onYBzuEeGEC4raFz1JbQ" target="_BV6ncBBGEeGQ0KsLDV4EFg">
  871. <children xsi:type="notation:DecorationNode" xmi:id="_S4MPIRzuEeGEC4raFz1JbQ" type="TransitionExpression">
  872. <styles xsi:type="notation:ShapeStyle" xmi:id="_S4MPIhzuEeGEC4raFz1JbQ"/>
  873. <layoutConstraint xsi:type="notation:Location" xmi:id="_S4MPIxzuEeGEC4raFz1JbQ" x="4" y="43"/>
  874. </children>
  875. <styles xsi:type="notation:ConnectorStyle" xmi:id="_S4LoERzuEeGEC4raFz1JbQ" lineColor="4210752"/>
  876. <styles xsi:type="notation:FontStyle" xmi:id="_S4MPIBzuEeGEC4raFz1JbQ" fontName="Verdana"/>
  877. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_S4LoEhzuEeGEC4raFz1JbQ" points="[1, -20, 0, 139]$[37, -152, 36, 7]"/>
  878. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_S4qJMBzuEeGEC4raFz1JbQ" id="(0.8142857142857143,0.2564102564102564)"/>
  879. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_S4qJMRzuEeGEC4raFz1JbQ" id="(0.8269230769230769,0.6956521739130435)"/>
  880. </edges>
  881. </notation:Diagram>
  882. </xmi:XMI>