TrafficLightWaitingSimple.sct 41 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496
  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="TrafficLightWaitingSimple" 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&#xD;&#xA;&#x9;in event keypress3&#xD;&#xA;&#x9;&#xD;&#xA;internal:&#xD;&#xA;var cycle:integer">
  4. <scopes xsi:type="stext:InterfaceScope" xmi:id="_DzQ00BBgEeGqCpPspenMEg" name="TrafficLight">
  5. <declarations xsi:type="stext:VariableDefinition" xmi:id="_DzQ00RBgEeGqCpPspenMEg" name="red" type="boolean"/>
  6. <declarations xsi:type="stext:VariableDefinition" xmi:id="_DzQ00hBgEeGqCpPspenMEg" name="yellow" type="boolean"/>
  7. <declarations xsi:type="stext:VariableDefinition" xmi:id="_DzQ00xBgEeGqCpPspenMEg" name="green" type="boolean"/>
  8. </scopes>
  9. <scopes xsi:type="stext:InterfaceScope" xmi:id="_DzQ01BBgEeGqCpPspenMEg" name="Pedestrian">
  10. <declarations xsi:type="stext:VariableDefinition" xmi:id="_DzQ01RBgEeGqCpPspenMEg" name="request" type="boolean"/>
  11. <declarations xsi:type="stext:VariableDefinition" xmi:id="_DzQ01hBgEeGqCpPspenMEg" name="red" type="boolean"/>
  12. <declarations xsi:type="stext:VariableDefinition" xmi:id="_DzQ01xBgEeGqCpPspenMEg" name="green" type="boolean"/>
  13. </scopes>
  14. <scopes xsi:type="stext:InterfaceScope" xmi:id="_DzQ02BBgEeGqCpPspenMEg">
  15. <declarations xsi:type="stext:EventDefinition" xmi:id="_DzQ02RBgEeGqCpPspenMEg" name="keypress1" direction="in"/>
  16. <declarations xsi:type="stext:EventDefinition" xmi:id="_DzQ02hBgEeGqCpPspenMEg" name="keypress2" direction="in"/>
  17. <declarations xsi:type="stext:EventDefinition" xmi:id="_DzQ02xBgEeGqCpPspenMEg" name="keypress3" direction="in"/>
  18. </scopes>
  19. <scopes xsi:type="stext:InternalScope" xmi:id="_DzQ03BBgEeGqCpPspenMEg">
  20. <declarations xsi:type="stext:VariableDefinition" xmi:id="_DzQ03RBgEeGqCpPspenMEg" name="cycle" type="integer"/>
  21. </scopes>
  22. <regions xmi:id="_NPjBgxA-EeGQ0KsLDV4EFg" name="main region">
  23. <vertices xsi:type="sgraph:State" xmi:id="_Hm9bOhBeEeGqCpPspenMEg" name="StreetGreen" incomingTransitions="_HnaG1xBeEeGqCpPspenMEg _Hnj3wRBeEeGqCpPspenMEg" 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;">
  24. <outgoingTransitions xmi:id="_Hm9bOxBeEeGqCpPspenMEg" expression="keypress1 / cycle = 1;" target="_Hnj3whBeEeGqCpPspenMEg">
  25. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Dzal0BBgEeGqCpPspenMEg">
  26. <triggers xsi:type="stext:RegularEventSpec" xmi:id="_Dzal0RBgEeGqCpPspenMEg" event="_DzQ02RBgEeGqCpPspenMEg"/>
  27. </trigger>
  28. <effect xsi:type="stext:ReactionEffect" xmi:id="_Dzal0hBgEeGqCpPspenMEg">
  29. <actions xsi:type="stext:Assignment" xmi:id="_Dzal0xBgEeGqCpPspenMEg" varRef="_DzQ03RBgEeGqCpPspenMEg">
  30. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Dzal1BBgEeGqCpPspenMEg" value="1"/>
  31. </actions>
  32. </effect>
  33. </outgoingTransitions>
  34. <scopes xmi:id="_DzQ03hBgEeGqCpPspenMEg">
  35. <declarations xsi:type="stext:LocalReaction" xmi:id="_DzQ03xBgEeGqCpPspenMEg">
  36. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_DzQ04BBgEeGqCpPspenMEg">
  37. <triggers xsi:type="stext:EntryEvent" xmi:id="_DzQ04RBgEeGqCpPspenMEg"/>
  38. </trigger>
  39. <effect xsi:type="stext:ReactionEffect" xmi:id="_DzQ04hBgEeGqCpPspenMEg">
  40. <actions xsi:type="stext:Assignment" xmi:id="_DzQ04xBgEeGqCpPspenMEg" varRef="_DzQ00RBgEeGqCpPspenMEg">
  41. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_DzQ05BBgEeGqCpPspenMEg" value="false"/>
  42. </actions>
  43. <actions xsi:type="stext:Assignment" xmi:id="_DzQ05RBgEeGqCpPspenMEg" varRef="_DzQ00hBgEeGqCpPspenMEg">
  44. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_DzQ05hBgEeGqCpPspenMEg" value="false"/>
  45. </actions>
  46. <actions xsi:type="stext:Assignment" xmi:id="_DzQ05xBgEeGqCpPspenMEg" varRef="_DzQ00xBgEeGqCpPspenMEg">
  47. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_DzQ06BBgEeGqCpPspenMEg" value="true"/>
  48. </actions>
  49. <actions xsi:type="stext:Assignment" xmi:id="_DzQ06RBgEeGqCpPspenMEg" varRef="_DzQ01hBgEeGqCpPspenMEg">
  50. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_DzQ06hBgEeGqCpPspenMEg" value="true"/>
  51. </actions>
  52. <actions xsi:type="stext:Assignment" xmi:id="_DzQ06xBgEeGqCpPspenMEg" varRef="_DzQ01xBgEeGqCpPspenMEg">
  53. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_DzQ07BBgEeGqCpPspenMEg" value="false"/>
  54. </actions>
  55. <actions xsi:type="stext:Assignment" xmi:id="_DzQ07RBgEeGqCpPspenMEg" varRef="_DzQ01RBgEeGqCpPspenMEg">
  56. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_DzQ07hBgEeGqCpPspenMEg" value="false"/>
  57. </actions>
  58. </effect>
  59. </declarations>
  60. </scopes>
  61. </vertices>
  62. <vertices xsi:type="sgraph:State" xmi:id="_HnHL0BBeEeGqCpPspenMEg" name="StreetAttention" incomingTransitions="_Hnj31RBeEeGqCpPspenMEg" expression="entry / TrafficLight.red = false;&#xD;&#xA;&#x9;TrafficLight.yellow = true;&#xD;&#xA;&#x9;TrafficLight.green = false;">
  63. <outgoingTransitions xmi:id="_HnHL0RBeEeGqCpPspenMEg" expression="after 2s" target="_HnQ80BBeEeGqCpPspenMEg">
  64. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_DzkW0BBgEeGqCpPspenMEg">
  65. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_DzkW0RBgEeGqCpPspenMEg" value="2"/>
  66. </trigger>
  67. </outgoingTransitions>
  68. <scopes xmi:id="_Dzal1RBgEeGqCpPspenMEg">
  69. <declarations xsi:type="stext:LocalReaction" xmi:id="_Dzal1hBgEeGqCpPspenMEg">
  70. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Dzal1xBgEeGqCpPspenMEg">
  71. <triggers xsi:type="stext:EntryEvent" xmi:id="_Dzal2BBgEeGqCpPspenMEg"/>
  72. </trigger>
  73. <effect xsi:type="stext:ReactionEffect" xmi:id="_Dzal2RBgEeGqCpPspenMEg">
  74. <actions xsi:type="stext:Assignment" xmi:id="_Dzal2hBgEeGqCpPspenMEg" varRef="_DzQ00RBgEeGqCpPspenMEg">
  75. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Dzal2xBgEeGqCpPspenMEg" value="false"/>
  76. </actions>
  77. <actions xsi:type="stext:Assignment" xmi:id="_Dzal3BBgEeGqCpPspenMEg" varRef="_DzQ00hBgEeGqCpPspenMEg">
  78. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Dzal3RBgEeGqCpPspenMEg" value="true"/>
  79. </actions>
  80. <actions xsi:type="stext:Assignment" xmi:id="_Dzal3hBgEeGqCpPspenMEg" varRef="_DzQ00xBgEeGqCpPspenMEg">
  81. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Dzal3xBgEeGqCpPspenMEg" value="false"/>
  82. </actions>
  83. </effect>
  84. </declarations>
  85. </scopes>
  86. </vertices>
  87. <vertices xsi:type="sgraph:State" xmi:id="_HnQ80BBeEeGqCpPspenMEg" name="StreetRed" incomingTransitions="_HnHL0RBeEeGqCpPspenMEg" expression="entry / TrafficLight.red = true;&#xD;&#xA;TrafficLight.yellow = false;&#xD;&#xA;TrafficLight.green = false;">
  88. <outgoingTransitions xmi:id="_HnQ80RBeEeGqCpPspenMEg" expression="after 2s" target="_HnQ86hBeEeGqCpPspenMEg">
  89. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_DzkW3RBgEeGqCpPspenMEg">
  90. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_DzkW3hBgEeGqCpPspenMEg" value="2"/>
  91. </trigger>
  92. </outgoingTransitions>
  93. <scopes xmi:id="_DzkW0hBgEeGqCpPspenMEg">
  94. <declarations xsi:type="stext:LocalReaction" xmi:id="_DzkW0xBgEeGqCpPspenMEg">
  95. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_DzkW1BBgEeGqCpPspenMEg">
  96. <triggers xsi:type="stext:EntryEvent" xmi:id="_DzkW1RBgEeGqCpPspenMEg"/>
  97. </trigger>
  98. <effect xsi:type="stext:ReactionEffect" xmi:id="_DzkW1hBgEeGqCpPspenMEg">
  99. <actions xsi:type="stext:Assignment" xmi:id="_DzkW1xBgEeGqCpPspenMEg" varRef="_DzQ00RBgEeGqCpPspenMEg">
  100. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_DzkW2BBgEeGqCpPspenMEg" value="true"/>
  101. </actions>
  102. <actions xsi:type="stext:Assignment" xmi:id="_DzkW2RBgEeGqCpPspenMEg" varRef="_DzQ00hBgEeGqCpPspenMEg">
  103. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_DzkW2hBgEeGqCpPspenMEg" value="false"/>
  104. </actions>
  105. <actions xsi:type="stext:Assignment" xmi:id="_DzkW2xBgEeGqCpPspenMEg" varRef="_DzQ00xBgEeGqCpPspenMEg">
  106. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_DzkW3BBgEeGqCpPspenMEg" value="false"/>
  107. </actions>
  108. </effect>
  109. </declarations>
  110. </scopes>
  111. </vertices>
  112. <vertices xsi:type="sgraph:State" xmi:id="_HnQ86hBeEeGqCpPspenMEg" name="PedestrianGreen" incomingTransitions="_HnQ80RBeEeGqCpPspenMEg" expression="entry / Pedestrian.red = false;&#xD;&#xA;Pedestrian.green = true;">
  113. <outgoingTransitions xmi:id="_HnQ86xBeEeGqCpPspenMEg" expression="after 7s" target="_HnaGwBBeEeGqCpPspenMEg">
  114. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_DzkW6BBgEeGqCpPspenMEg">
  115. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_DzkW6RBgEeGqCpPspenMEg" value="7"/>
  116. </trigger>
  117. </outgoingTransitions>
  118. <scopes xmi:id="_DzkW3xBgEeGqCpPspenMEg">
  119. <declarations xsi:type="stext:LocalReaction" xmi:id="_DzkW4BBgEeGqCpPspenMEg">
  120. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_DzkW4RBgEeGqCpPspenMEg">
  121. <triggers xsi:type="stext:EntryEvent" xmi:id="_DzkW4hBgEeGqCpPspenMEg"/>
  122. </trigger>
  123. <effect xsi:type="stext:ReactionEffect" xmi:id="_DzkW4xBgEeGqCpPspenMEg">
  124. <actions xsi:type="stext:Assignment" xmi:id="_DzkW5BBgEeGqCpPspenMEg" varRef="_DzQ01hBgEeGqCpPspenMEg">
  125. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_DzkW5RBgEeGqCpPspenMEg" value="false"/>
  126. </actions>
  127. <actions xsi:type="stext:Assignment" xmi:id="_DzkW5hBgEeGqCpPspenMEg" varRef="_DzQ01xBgEeGqCpPspenMEg">
  128. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_DzkW5xBgEeGqCpPspenMEg" value="true"/>
  129. </actions>
  130. </effect>
  131. </declarations>
  132. </scopes>
  133. </vertices>
  134. <vertices xsi:type="sgraph:State" xmi:id="_HnaGwBBeEeGqCpPspenMEg" name="PedestrianRed" incomingTransitions="_HnQ86xBeEeGqCpPspenMEg" expression="entry / Pedestrian.red = true;&#xD;&#xA;Pedestrian.green = false;">
  135. <outgoingTransitions xmi:id="_HnaGwRBeEeGqCpPspenMEg" expression="after 3s" target="_HnaG1hBeEeGqCpPspenMEg">
  136. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_DztgwBBgEeGqCpPspenMEg">
  137. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_DztgwRBgEeGqCpPspenMEg" value="3"/>
  138. </trigger>
  139. </outgoingTransitions>
  140. <scopes xmi:id="_DzkW6hBgEeGqCpPspenMEg">
  141. <declarations xsi:type="stext:LocalReaction" xmi:id="_DzkW6xBgEeGqCpPspenMEg">
  142. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_DzkW7BBgEeGqCpPspenMEg">
  143. <triggers xsi:type="stext:EntryEvent" xmi:id="_DzkW7RBgEeGqCpPspenMEg"/>
  144. </trigger>
  145. <effect xsi:type="stext:ReactionEffect" xmi:id="_DzkW7hBgEeGqCpPspenMEg">
  146. <actions xsi:type="stext:Assignment" xmi:id="_DzkW7xBgEeGqCpPspenMEg" varRef="_DzQ01hBgEeGqCpPspenMEg">
  147. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_DzkW8BBgEeGqCpPspenMEg" value="true"/>
  148. </actions>
  149. <actions xsi:type="stext:Assignment" xmi:id="_DzkW8RBgEeGqCpPspenMEg" varRef="_DzQ01xBgEeGqCpPspenMEg">
  150. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_DzkW8hBgEeGqCpPspenMEg" value="false"/>
  151. </actions>
  152. </effect>
  153. </declarations>
  154. </scopes>
  155. </vertices>
  156. <vertices xsi:type="sgraph:State" xmi:id="_HnaG1hBeEeGqCpPspenMEg" name="StreetPrepare" incomingTransitions="_HnaGwRBeEeGqCpPspenMEg" expression="entry / TrafficLight.red = true;&#xD;&#xA;&#x9;TrafficLight.yellow = true;&#xD;&#xA;&#x9;TrafficLight.green = false;">
  157. <outgoingTransitions xmi:id="_HnaG1xBeEeGqCpPspenMEg" expression="after 2s" target="_Hm9bOhBeEeGqCpPspenMEg">
  158. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_DztgzRBgEeGqCpPspenMEg">
  159. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_DztgzhBgEeGqCpPspenMEg" value="2"/>
  160. </trigger>
  161. </outgoingTransitions>
  162. <scopes xmi:id="_DztgwhBgEeGqCpPspenMEg">
  163. <declarations xsi:type="stext:LocalReaction" xmi:id="_DztgwxBgEeGqCpPspenMEg">
  164. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_DztgxBBgEeGqCpPspenMEg">
  165. <triggers xsi:type="stext:EntryEvent" xmi:id="_DztgxRBgEeGqCpPspenMEg"/>
  166. </trigger>
  167. <effect xsi:type="stext:ReactionEffect" xmi:id="_DztgxhBgEeGqCpPspenMEg">
  168. <actions xsi:type="stext:Assignment" xmi:id="_DztgxxBgEeGqCpPspenMEg" varRef="_DzQ00RBgEeGqCpPspenMEg">
  169. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_DztgyBBgEeGqCpPspenMEg" value="true"/>
  170. </actions>
  171. <actions xsi:type="stext:Assignment" xmi:id="_DztgyRBgEeGqCpPspenMEg" varRef="_DzQ00hBgEeGqCpPspenMEg">
  172. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_DztgyhBgEeGqCpPspenMEg" value="true"/>
  173. </actions>
  174. <actions xsi:type="stext:Assignment" xmi:id="_DztgyxBgEeGqCpPspenMEg" varRef="_DzQ00xBgEeGqCpPspenMEg">
  175. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_DztgzBBgEeGqCpPspenMEg" value="false"/>
  176. </actions>
  177. </effect>
  178. </declarations>
  179. </scopes>
  180. </vertices>
  181. <vertices xsi:type="sgraph:Entry" xmi:id="_Hnj3wBBeEeGqCpPspenMEg">
  182. <outgoingTransitions xmi:id="_Hnj3wRBeEeGqCpPspenMEg" target="_Hm9bOhBeEeGqCpPspenMEg"/>
  183. </vertices>
  184. <vertices xsi:type="sgraph:State" xmi:id="_Hnj3whBeEeGqCpPspenMEg" name="waitOn" incomingTransitions="_Hm9bOxBeEeGqCpPspenMEg _Hnj32hBeEeGqCpPspenMEg" expression="entry / &#xD;&#xA;Pedestrian.request = true;">
  185. <outgoingTransitions xmi:id="_Hnj3wxBeEeGqCpPspenMEg" expression="after 500ms" target="_Hnj31BBeEeGqCpPspenMEg">
  186. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Dztg1hBgEeGqCpPspenMEg">
  187. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_Dztg1xBgEeGqCpPspenMEg" value="500" unit="ms"/>
  188. </trigger>
  189. </outgoingTransitions>
  190. <scopes xmi:id="_DztgzxBgEeGqCpPspenMEg">
  191. <declarations xsi:type="stext:LocalReaction" xmi:id="_Dztg0BBgEeGqCpPspenMEg">
  192. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Dztg0RBgEeGqCpPspenMEg">
  193. <triggers xsi:type="stext:EntryEvent" xmi:id="_Dztg0hBgEeGqCpPspenMEg"/>
  194. </trigger>
  195. <effect xsi:type="stext:ReactionEffect" xmi:id="_Dztg0xBgEeGqCpPspenMEg">
  196. <actions xsi:type="stext:Assignment" xmi:id="_Dztg1BBgEeGqCpPspenMEg" varRef="_DzQ01RBgEeGqCpPspenMEg">
  197. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Dztg1RBgEeGqCpPspenMEg" value="true"/>
  198. </actions>
  199. </effect>
  200. </declarations>
  201. </scopes>
  202. </vertices>
  203. <vertices xsi:type="sgraph:State" xmi:id="_Hnj31BBeEeGqCpPspenMEg" name="waitOff" incomingTransitions="_Hnj3wxBeEeGqCpPspenMEg" expression="entry / &#xD;&#xA;Pedestrian.request = false;">
  204. <outgoingTransitions xmi:id="_Hnj31RBeEeGqCpPspenMEg" expression="[cycle>=7]" target="_HnHL0BBeEeGqCpPspenMEg">
  205. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Dztg3xBgEeGqCpPspenMEg">
  206. <guardExpression xsi:type="stext:LogicalRelationExpression" xmi:id="_Dztg4BBgEeGqCpPspenMEg" operator=">=">
  207. <leftOperand xsi:type="stext:ElementReferenceExpression" xmi:id="_Dztg4RBgEeGqCpPspenMEg" value="_DzQ03RBgEeGqCpPspenMEg"/>
  208. <rightOperand xsi:type="stext:PrimitiveValueExpression" xmi:id="_Dztg4hBgEeGqCpPspenMEg" value="7"/>
  209. </guardExpression>
  210. </trigger>
  211. </outgoingTransitions>
  212. <outgoingTransitions xmi:id="_Hnj32hBeEeGqCpPspenMEg" expression="after 500ms / cycle+=1;" target="_Hnj3whBeEeGqCpPspenMEg">
  213. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Dz3RwBBgEeGqCpPspenMEg">
  214. <triggers xsi:type="stext:TimeEventSpec" xmi:id="_Dz3RwRBgEeGqCpPspenMEg" value="500" unit="ms"/>
  215. </trigger>
  216. <effect xsi:type="stext:ReactionEffect" xmi:id="_Dz3RwhBgEeGqCpPspenMEg">
  217. <actions xsi:type="stext:Assignment" xmi:id="_Dz3RwxBgEeGqCpPspenMEg" varRef="_DzQ03RBgEeGqCpPspenMEg" operator="+=">
  218. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Dz3RxBBgEeGqCpPspenMEg" value="1"/>
  219. </actions>
  220. </effect>
  221. </outgoingTransitions>
  222. <scopes xmi:id="_Dztg2BBgEeGqCpPspenMEg">
  223. <declarations xsi:type="stext:LocalReaction" xmi:id="_Dztg2RBgEeGqCpPspenMEg">
  224. <trigger xsi:type="stext:ReactionTrigger" xmi:id="_Dztg2hBgEeGqCpPspenMEg">
  225. <triggers xsi:type="stext:EntryEvent" xmi:id="_Dztg2xBgEeGqCpPspenMEg"/>
  226. </trigger>
  227. <effect xsi:type="stext:ReactionEffect" xmi:id="_Dztg3BBgEeGqCpPspenMEg">
  228. <actions xsi:type="stext:Assignment" xmi:id="_Dztg3RBgEeGqCpPspenMEg" varRef="_DzQ01RBgEeGqCpPspenMEg">
  229. <expression xsi:type="stext:PrimitiveValueExpression" xmi:id="_Dztg3hBgEeGqCpPspenMEg" value="false"/>
  230. </actions>
  231. </effect>
  232. </declarations>
  233. </scopes>
  234. </vertices>
  235. </regions>
  236. </sgraph:Statechart>
  237. <notation:Diagram xmi:id="_NPjBgRA-EeGQ0KsLDV4EFg" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_NPjBgBA-EeGQ0KsLDV4EFg" measurementUnit="Pixel">
  238. <children xmi:id="_NPjBhBA-EeGQ0KsLDV4EFg" type="Region" element="_NPjBgxA-EeGQ0KsLDV4EFg">
  239. <children xsi:type="notation:DecorationNode" xmi:id="_NPjBhxA-EeGQ0KsLDV4EFg" type="RegionName">
  240. <styles xsi:type="notation:ShapeStyle" xmi:id="_NPjBiBA-EeGQ0KsLDV4EFg"/>
  241. <layoutConstraint xsi:type="notation:Location" xmi:id="_NPjBiRA-EeGQ0KsLDV4EFg"/>
  242. </children>
  243. <children xsi:type="notation:Shape" xmi:id="_NPjBihA-EeGQ0KsLDV4EFg" type="RegionCompartment" fontName="Verdana" lineColor="4210752">
  244. <children xmi:id="_Hm9a0RBeEeGqCpPspenMEg" type="State" element="_Hm9bOhBeEeGqCpPspenMEg">
  245. <children xsi:type="notation:DecorationNode" xmi:id="_Hm9a0hBeEeGqCpPspenMEg" type="StateName">
  246. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9a0xBeEeGqCpPspenMEg"/>
  247. <layoutConstraint xsi:type="notation:Location" xmi:id="_Hm9a1BBeEeGqCpPspenMEg"/>
  248. </children>
  249. <children xsi:type="notation:Compartment" xmi:id="_Hm9a1RBeEeGqCpPspenMEg" type="StateTextCompartment">
  250. <children xsi:type="notation:Shape" xmi:id="_Hm9a1hBeEeGqCpPspenMEg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  251. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9a1xBeEeGqCpPspenMEg"/>
  252. </children>
  253. </children>
  254. <children xsi:type="notation:Compartment" xmi:id="_Hm9a2BBeEeGqCpPspenMEg" type="StateFigureCompartment"/>
  255. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9a2RBeEeGqCpPspenMEg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  256. <styles xsi:type="notation:FontStyle" xmi:id="_Hm9a2hBeEeGqCpPspenMEg"/>
  257. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Hm9a2xBeEeGqCpPspenMEg"/>
  258. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9a3BBeEeGqCpPspenMEg" x="269" y="19"/>
  259. </children>
  260. <children xmi:id="_Hm9a3RBeEeGqCpPspenMEg" type="State" element="_HnHL0BBeEeGqCpPspenMEg">
  261. <children xsi:type="notation:DecorationNode" xmi:id="_Hm9a3hBeEeGqCpPspenMEg" type="StateName">
  262. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9a3xBeEeGqCpPspenMEg"/>
  263. <layoutConstraint xsi:type="notation:Location" xmi:id="_Hm9a4BBeEeGqCpPspenMEg"/>
  264. </children>
  265. <children xsi:type="notation:Compartment" xmi:id="_Hm9a4RBeEeGqCpPspenMEg" type="StateTextCompartment">
  266. <children xsi:type="notation:Shape" xmi:id="_Hm9a4hBeEeGqCpPspenMEg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  267. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9a4xBeEeGqCpPspenMEg"/>
  268. </children>
  269. </children>
  270. <children xsi:type="notation:Compartment" xmi:id="_Hm9a5BBeEeGqCpPspenMEg" type="StateFigureCompartment"/>
  271. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9a5RBeEeGqCpPspenMEg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  272. <styles xsi:type="notation:FontStyle" xmi:id="_Hm9a5hBeEeGqCpPspenMEg"/>
  273. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Hm9a5xBeEeGqCpPspenMEg"/>
  274. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9a6BBeEeGqCpPspenMEg" x="518" y="524"/>
  275. </children>
  276. <children xmi:id="_Hm9a6RBeEeGqCpPspenMEg" type="State" element="_HnQ80BBeEeGqCpPspenMEg">
  277. <children xsi:type="notation:DecorationNode" xmi:id="_Hm9a6hBeEeGqCpPspenMEg" type="StateName">
  278. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9a6xBeEeGqCpPspenMEg"/>
  279. <layoutConstraint xsi:type="notation:Location" xmi:id="_Hm9a7BBeEeGqCpPspenMEg"/>
  280. </children>
  281. <children xsi:type="notation:Compartment" xmi:id="_Hm9a7RBeEeGqCpPspenMEg" type="StateTextCompartment">
  282. <children xsi:type="notation:Shape" xmi:id="_Hm9a7hBeEeGqCpPspenMEg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  283. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9a7xBeEeGqCpPspenMEg"/>
  284. </children>
  285. </children>
  286. <children xsi:type="notation:Compartment" xmi:id="_Hm9a8BBeEeGqCpPspenMEg" type="StateFigureCompartment"/>
  287. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9a8RBeEeGqCpPspenMEg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  288. <styles xsi:type="notation:FontStyle" xmi:id="_Hm9a8hBeEeGqCpPspenMEg"/>
  289. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Hm9a8xBeEeGqCpPspenMEg"/>
  290. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9a9BBeEeGqCpPspenMEg" x="13" y="524"/>
  291. </children>
  292. <children xmi:id="_Hm9a9RBeEeGqCpPspenMEg" type="State" element="_HnQ86hBeEeGqCpPspenMEg">
  293. <children xsi:type="notation:DecorationNode" xmi:id="_Hm9a9hBeEeGqCpPspenMEg" type="StateName">
  294. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9a9xBeEeGqCpPspenMEg"/>
  295. <layoutConstraint xsi:type="notation:Location" xmi:id="_Hm9a-BBeEeGqCpPspenMEg"/>
  296. </children>
  297. <children xsi:type="notation:Compartment" xmi:id="_Hm9a-RBeEeGqCpPspenMEg" type="StateTextCompartment">
  298. <children xsi:type="notation:Shape" xmi:id="_Hm9a-hBeEeGqCpPspenMEg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  299. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9a-xBeEeGqCpPspenMEg"/>
  300. </children>
  301. </children>
  302. <children xsi:type="notation:Compartment" xmi:id="_Hm9a_BBeEeGqCpPspenMEg" type="StateFigureCompartment"/>
  303. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9a_RBeEeGqCpPspenMEg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  304. <styles xsi:type="notation:FontStyle" xmi:id="_Hm9a_hBeEeGqCpPspenMEg"/>
  305. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Hm9a_xBeEeGqCpPspenMEg"/>
  306. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9bABBeEeGqCpPspenMEg" x="11" y="419"/>
  307. </children>
  308. <children xmi:id="_Hm9bARBeEeGqCpPspenMEg" type="State" element="_HnaGwBBeEeGqCpPspenMEg">
  309. <children xsi:type="notation:DecorationNode" xmi:id="_Hm9bAhBeEeGqCpPspenMEg" type="StateName">
  310. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9bAxBeEeGqCpPspenMEg"/>
  311. <layoutConstraint xsi:type="notation:Location" xmi:id="_Hm9bBBBeEeGqCpPspenMEg"/>
  312. </children>
  313. <children xsi:type="notation:Compartment" xmi:id="_Hm9bBRBeEeGqCpPspenMEg" type="StateTextCompartment">
  314. <children xsi:type="notation:Shape" xmi:id="_Hm9bBhBeEeGqCpPspenMEg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  315. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9bBxBeEeGqCpPspenMEg"/>
  316. </children>
  317. </children>
  318. <children xsi:type="notation:Compartment" xmi:id="_Hm9bCBBeEeGqCpPspenMEg" type="StateFigureCompartment"/>
  319. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9bCRBeEeGqCpPspenMEg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  320. <styles xsi:type="notation:FontStyle" xmi:id="_Hm9bChBeEeGqCpPspenMEg"/>
  321. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Hm9bCxBeEeGqCpPspenMEg"/>
  322. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9bDBBeEeGqCpPspenMEg" x="13" y="314"/>
  323. </children>
  324. <children xmi:id="_Hm9bDRBeEeGqCpPspenMEg" type="State" element="_HnaG1hBeEeGqCpPspenMEg">
  325. <children xsi:type="notation:DecorationNode" xmi:id="_Hm9bDhBeEeGqCpPspenMEg" type="StateName">
  326. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9bDxBeEeGqCpPspenMEg"/>
  327. <layoutConstraint xsi:type="notation:Location" xmi:id="_Hm9bEBBeEeGqCpPspenMEg"/>
  328. </children>
  329. <children xsi:type="notation:Compartment" xmi:id="_Hm9bERBeEeGqCpPspenMEg" type="StateTextCompartment">
  330. <children xsi:type="notation:Shape" xmi:id="_Hm9bEhBeEeGqCpPspenMEg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  331. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9bExBeEeGqCpPspenMEg"/>
  332. </children>
  333. </children>
  334. <children xsi:type="notation:Compartment" xmi:id="_Hm9bFBBeEeGqCpPspenMEg" type="StateFigureCompartment"/>
  335. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9bFRBeEeGqCpPspenMEg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  336. <styles xsi:type="notation:FontStyle" xmi:id="_Hm9bFhBeEeGqCpPspenMEg"/>
  337. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Hm9bFxBeEeGqCpPspenMEg"/>
  338. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9bGBBeEeGqCpPspenMEg" x="11" y="189"/>
  339. </children>
  340. <children xmi:id="_Hm9bGRBeEeGqCpPspenMEg" type="Entry" element="_Hnj3wBBeEeGqCpPspenMEg">
  341. <children xmi:id="_Hm9bGhBeEeGqCpPspenMEg" type="BorderItemLabelContainer">
  342. <children xsi:type="notation:DecorationNode" xmi:id="_Hm9bGxBeEeGqCpPspenMEg" type="BorderItemLabel">
  343. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9bHBBeEeGqCpPspenMEg"/>
  344. <layoutConstraint xsi:type="notation:Location" xmi:id="_Hm9bHRBeEeGqCpPspenMEg"/>
  345. </children>
  346. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9bHhBeEeGqCpPspenMEg" fontName="Verdana" lineColor="4210752"/>
  347. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9bHxBeEeGqCpPspenMEg"/>
  348. </children>
  349. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9bIBBeEeGqCpPspenMEg" fontName="Verdana" lineColor="4210752"/>
  350. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9bIRBeEeGqCpPspenMEg" x="194" y="80"/>
  351. </children>
  352. <children xmi:id="_Hm9bIhBeEeGqCpPspenMEg" type="State" element="_Hnj3whBeEeGqCpPspenMEg">
  353. <children xsi:type="notation:DecorationNode" xmi:id="_Hm9bIxBeEeGqCpPspenMEg" type="StateName">
  354. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9bJBBeEeGqCpPspenMEg"/>
  355. <layoutConstraint xsi:type="notation:Location" xmi:id="_Hm9bJRBeEeGqCpPspenMEg"/>
  356. </children>
  357. <children xsi:type="notation:Compartment" xmi:id="_Hm9bJhBeEeGqCpPspenMEg" type="StateTextCompartment">
  358. <children xsi:type="notation:Shape" xmi:id="_Hm9bJxBeEeGqCpPspenMEg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  359. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9bKBBeEeGqCpPspenMEg"/>
  360. </children>
  361. </children>
  362. <children xsi:type="notation:Compartment" xmi:id="_Hm9bKRBeEeGqCpPspenMEg" type="StateFigureCompartment"/>
  363. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9bKhBeEeGqCpPspenMEg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  364. <styles xsi:type="notation:FontStyle" xmi:id="_Hm9bKxBeEeGqCpPspenMEg"/>
  365. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Hm9bLBBeEeGqCpPspenMEg"/>
  366. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9bLRBeEeGqCpPspenMEg" x="538" y="196"/>
  367. </children>
  368. <children xmi:id="_Hm9bLhBeEeGqCpPspenMEg" type="State" element="_Hnj31BBeEeGqCpPspenMEg">
  369. <children xsi:type="notation:DecorationNode" xmi:id="_Hm9bLxBeEeGqCpPspenMEg" type="StateName">
  370. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9bMBBeEeGqCpPspenMEg"/>
  371. <layoutConstraint xsi:type="notation:Location" xmi:id="_Hm9bMRBeEeGqCpPspenMEg"/>
  372. </children>
  373. <children xsi:type="notation:Compartment" xmi:id="_Hm9bMhBeEeGqCpPspenMEg" type="StateTextCompartment">
  374. <children xsi:type="notation:Shape" xmi:id="_Hm9bMxBeEeGqCpPspenMEg" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752">
  375. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9bNBBeEeGqCpPspenMEg"/>
  376. </children>
  377. </children>
  378. <children xsi:type="notation:Compartment" xmi:id="_Hm9bNRBeEeGqCpPspenMEg" type="StateFigureCompartment"/>
  379. <styles xsi:type="notation:ShapeStyle" xmi:id="_Hm9bNhBeEeGqCpPspenMEg" fontName="Verdana" fillColor="15981773" lineColor="12632256"/>
  380. <styles xsi:type="notation:FontStyle" xmi:id="_Hm9bNxBeEeGqCpPspenMEg"/>
  381. <styles xsi:type="notation:BooleanValueStyle" xmi:id="_Hm9bOBBeEeGqCpPspenMEg"/>
  382. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_Hm9bORBeEeGqCpPspenMEg" x="536" y="369"/>
  383. </children>
  384. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPjBixA-EeGQ0KsLDV4EFg"/>
  385. </children>
  386. <styles xsi:type="notation:ShapeStyle" xmi:id="_NPjBhRA-EeGQ0KsLDV4EFg" fontName="Verdana" fillColor="15790320" lineColor="12632256"/>
  387. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPjBjBA-EeGQ0KsLDV4EFg" x="220" y="10" width="870" height="661"/>
  388. </children>
  389. <children xsi:type="notation:Shape" xmi:id="_NPsyjxA-EeGQ0KsLDV4EFg" type="StatechartText" fontName="Verdana" lineColor="4210752">
  390. <children xsi:type="notation:DecorationNode" xmi:id="_NPsykRA-EeGQ0KsLDV4EFg" type="StatechartName">
  391. <styles xsi:type="notation:ShapeStyle" xmi:id="_NPsykhA-EeGQ0KsLDV4EFg"/>
  392. <layoutConstraint xsi:type="notation:Location" xmi:id="_NPsykxA-EeGQ0KsLDV4EFg"/>
  393. </children>
  394. <children xsi:type="notation:Shape" xmi:id="_NPsylBA-EeGQ0KsLDV4EFg" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752">
  395. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPsylRA-EeGQ0KsLDV4EFg"/>
  396. </children>
  397. <layoutConstraint xsi:type="notation:Bounds" xmi:id="_NPsylhA-EeGQ0KsLDV4EFg" x="10" y="10" width="200" height="400"/>
  398. </children>
  399. <styles xsi:type="notation:DiagramStyle" xmi:id="_NPjBghA-EeGQ0KsLDV4EFg"/>
  400. <edges xmi:id="_HrIJIBBeEeGqCpPspenMEg" type="Transition" element="_Hnj31RBeEeGqCpPspenMEg" source="_Hm9bLhBeEeGqCpPspenMEg" target="_Hm9a3RBeEeGqCpPspenMEg">
  401. <children xsi:type="notation:DecorationNode" xmi:id="_HrIJJBBeEeGqCpPspenMEg" type="TransitionExpression">
  402. <styles xsi:type="notation:ShapeStyle" xmi:id="_HrIJJRBeEeGqCpPspenMEg"/>
  403. <layoutConstraint xsi:type="notation:Location" xmi:id="_HrIJJhBeEeGqCpPspenMEg" y="40"/>
  404. </children>
  405. <styles xsi:type="notation:ConnectorStyle" xmi:id="_HrIJIRBeEeGqCpPspenMEg" lineColor="4210752"/>
  406. <styles xsi:type="notation:FontStyle" xmi:id="_HrIJIxBeEeGqCpPspenMEg" fontName="Verdana"/>
  407. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_HrIJIhBeEeGqCpPspenMEg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  408. </edges>
  409. <edges xmi:id="_HrIJJxBeEeGqCpPspenMEg" type="Transition" element="_HnaG1xBeEeGqCpPspenMEg" source="_Hm9bDRBeEeGqCpPspenMEg" target="_Hm9a0RBeEeGqCpPspenMEg">
  410. <children xsi:type="notation:DecorationNode" xmi:id="_HrIJKxBeEeGqCpPspenMEg" type="TransitionExpression">
  411. <styles xsi:type="notation:ShapeStyle" xmi:id="_HrIJLBBeEeGqCpPspenMEg"/>
  412. <layoutConstraint xsi:type="notation:Location" xmi:id="_HrIJLRBeEeGqCpPspenMEg" x="-14" y="-18"/>
  413. </children>
  414. <styles xsi:type="notation:ConnectorStyle" xmi:id="_HrIJKBBeEeGqCpPspenMEg" lineColor="4210752"/>
  415. <styles xsi:type="notation:FontStyle" xmi:id="_HrIJKhBeEeGqCpPspenMEg" fontName="Verdana"/>
  416. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_HrIJKRBeEeGqCpPspenMEg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  417. </edges>
  418. <edges xmi:id="_HrIJLhBeEeGqCpPspenMEg" type="Transition" element="_HnaGwRBeEeGqCpPspenMEg" source="_Hm9bARBeEeGqCpPspenMEg" target="_Hm9bDRBeEeGqCpPspenMEg">
  419. <children xsi:type="notation:DecorationNode" xmi:id="_HrIJMhBeEeGqCpPspenMEg" type="TransitionExpression">
  420. <styles xsi:type="notation:ShapeStyle" xmi:id="_HrIJMxBeEeGqCpPspenMEg"/>
  421. <layoutConstraint xsi:type="notation:Location" xmi:id="_HrIJNBBeEeGqCpPspenMEg" y="40"/>
  422. </children>
  423. <styles xsi:type="notation:ConnectorStyle" xmi:id="_HrIJLxBeEeGqCpPspenMEg" lineColor="4210752"/>
  424. <styles xsi:type="notation:FontStyle" xmi:id="_HrIJMRBeEeGqCpPspenMEg" fontName="Verdana"/>
  425. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_HrIJMBBeEeGqCpPspenMEg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  426. </edges>
  427. <edges xmi:id="_HrIJNRBeEeGqCpPspenMEg" type="Transition" element="_HnQ80RBeEeGqCpPspenMEg" source="_Hm9a6RBeEeGqCpPspenMEg" target="_Hm9a9RBeEeGqCpPspenMEg">
  428. <children xsi:type="notation:DecorationNode" xmi:id="_HrIJORBeEeGqCpPspenMEg" type="TransitionExpression">
  429. <styles xsi:type="notation:ShapeStyle" xmi:id="_HrIJOhBeEeGqCpPspenMEg"/>
  430. <layoutConstraint xsi:type="notation:Location" xmi:id="_HrIJOxBeEeGqCpPspenMEg" y="40"/>
  431. </children>
  432. <styles xsi:type="notation:ConnectorStyle" xmi:id="_HrIJNhBeEeGqCpPspenMEg" lineColor="4210752"/>
  433. <styles xsi:type="notation:FontStyle" xmi:id="_HrIJOBBeEeGqCpPspenMEg" fontName="Verdana"/>
  434. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_HrIJNxBeEeGqCpPspenMEg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  435. </edges>
  436. <edges xmi:id="_HrIJPBBeEeGqCpPspenMEg" type="Transition" element="_Hnj3wxBeEeGqCpPspenMEg" source="_Hm9bIhBeEeGqCpPspenMEg" target="_Hm9bLhBeEeGqCpPspenMEg">
  437. <children xsi:type="notation:DecorationNode" xmi:id="_HrIJQBBeEeGqCpPspenMEg" type="TransitionExpression">
  438. <styles xsi:type="notation:ShapeStyle" xmi:id="_HrIJQRBeEeGqCpPspenMEg"/>
  439. <layoutConstraint xsi:type="notation:Location" xmi:id="_HrIJQhBeEeGqCpPspenMEg" y="45"/>
  440. </children>
  441. <styles xsi:type="notation:ConnectorStyle" xmi:id="_HrIJPRBeEeGqCpPspenMEg" lineColor="4210752"/>
  442. <styles xsi:type="notation:FontStyle" xmi:id="_HrIJPxBeEeGqCpPspenMEg" fontName="Verdana"/>
  443. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_HrIJPhBeEeGqCpPspenMEg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  444. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_NSjrsBBeEeGqCpPspenMEg" id="(0.16230366492146597,0.8181818181818182)"/>
  445. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_M_e-sBBeEeGqCpPspenMEg" id="(0.15897435897435896,0.16883116883116883)"/>
  446. </edges>
  447. <edges xmi:id="_HrIJQxBeEeGqCpPspenMEg" type="Transition" element="_HnHL0RBeEeGqCpPspenMEg" source="_Hm9a3RBeEeGqCpPspenMEg" target="_Hm9a6RBeEeGqCpPspenMEg">
  448. <children xsi:type="notation:DecorationNode" xmi:id="_HrIJRxBeEeGqCpPspenMEg" type="TransitionExpression">
  449. <styles xsi:type="notation:ShapeStyle" xmi:id="_HrIJSBBeEeGqCpPspenMEg"/>
  450. <layoutConstraint xsi:type="notation:Location" xmi:id="_HrIJSRBeEeGqCpPspenMEg" x="2" y="14"/>
  451. </children>
  452. <styles xsi:type="notation:ConnectorStyle" xmi:id="_HrIJRBBeEeGqCpPspenMEg" lineColor="4210752"/>
  453. <styles xsi:type="notation:FontStyle" xmi:id="_HrIJRhBeEeGqCpPspenMEg" fontName="Verdana"/>
  454. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_HrIJRRBeEeGqCpPspenMEg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  455. </edges>
  456. <edges xmi:id="_HrIJShBeEeGqCpPspenMEg" type="Transition" element="_Hm9bOxBeEeGqCpPspenMEg" source="_Hm9a0RBeEeGqCpPspenMEg" target="_Hm9bIhBeEeGqCpPspenMEg">
  457. <children xsi:type="notation:DecorationNode" xmi:id="_HrIJThBeEeGqCpPspenMEg" type="TransitionExpression">
  458. <styles xsi:type="notation:ShapeStyle" xmi:id="_HrR6IBBeEeGqCpPspenMEg"/>
  459. <layoutConstraint xsi:type="notation:Location" xmi:id="_HrR6IRBeEeGqCpPspenMEg" x="51" y="-46"/>
  460. </children>
  461. <styles xsi:type="notation:ConnectorStyle" xmi:id="_HrIJSxBeEeGqCpPspenMEg" lineColor="4210752"/>
  462. <styles xsi:type="notation:FontStyle" xmi:id="_HrIJTRBeEeGqCpPspenMEg" fontName="Verdana"/>
  463. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_HrIJTBBeEeGqCpPspenMEg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  464. </edges>
  465. <edges xmi:id="_HrR6IhBeEeGqCpPspenMEg" type="Transition" element="_Hnj32hBeEeGqCpPspenMEg" source="_Hm9bLhBeEeGqCpPspenMEg" target="_Hm9bIhBeEeGqCpPspenMEg">
  466. <children xsi:type="notation:DecorationNode" xmi:id="_HrR6JhBeEeGqCpPspenMEg" type="TransitionExpression">
  467. <styles xsi:type="notation:ShapeStyle" xmi:id="_HrR6JxBeEeGqCpPspenMEg"/>
  468. <layoutConstraint xsi:type="notation:Location" xmi:id="_HrR6KBBeEeGqCpPspenMEg" y="83"/>
  469. </children>
  470. <styles xsi:type="notation:ConnectorStyle" xmi:id="_HrR6IxBeEeGqCpPspenMEg" lineColor="4210752"/>
  471. <styles xsi:type="notation:FontStyle" xmi:id="_HrR6JRBeEeGqCpPspenMEg" fontName="Verdana"/>
  472. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_HrR6JBBeEeGqCpPspenMEg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  473. <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_OCPcMBBeEeGqCpPspenMEg" id="(0.8,0.16883116883116883)"/>
  474. <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Nvv-ABBeEeGqCpPspenMEg" id="(0.8272251308900523,0.8961038961038961)"/>
  475. </edges>
  476. <edges xmi:id="_HrR6KRBeEeGqCpPspenMEg" type="Transition" element="_Hnj3wRBeEeGqCpPspenMEg" source="_Hm9bGRBeEeGqCpPspenMEg" target="_Hm9a0RBeEeGqCpPspenMEg">
  477. <children xsi:type="notation:DecorationNode" xmi:id="_HrR6LRBeEeGqCpPspenMEg" type="TransitionExpression">
  478. <styles xsi:type="notation:ShapeStyle" xmi:id="_HrR6LhBeEeGqCpPspenMEg"/>
  479. <layoutConstraint xsi:type="notation:Location" xmi:id="_HrR6LxBeEeGqCpPspenMEg" y="40"/>
  480. </children>
  481. <styles xsi:type="notation:ConnectorStyle" xmi:id="_HrR6KhBeEeGqCpPspenMEg" lineColor="4210752"/>
  482. <styles xsi:type="notation:FontStyle" xmi:id="_HrR6LBBeEeGqCpPspenMEg" fontName="Verdana"/>
  483. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_HrR6KxBeEeGqCpPspenMEg" points="[-1, -1, 0, 0]$[-1, -1, 0, 0]"/>
  484. </edges>
  485. <edges xmi:id="_HrR6MBBeEeGqCpPspenMEg" type="Transition" element="_HnQ86xBeEeGqCpPspenMEg" source="_Hm9a9RBeEeGqCpPspenMEg" target="_Hm9bARBeEeGqCpPspenMEg">
  486. <children xsi:type="notation:DecorationNode" xmi:id="_HrR6NBBeEeGqCpPspenMEg" type="TransitionExpression">
  487. <styles xsi:type="notation:ShapeStyle" xmi:id="_HrR6NRBeEeGqCpPspenMEg"/>
  488. <layoutConstraint xsi:type="notation:Location" xmi:id="_HrR6NhBeEeGqCpPspenMEg" y="40"/>
  489. </children>
  490. <styles xsi:type="notation:ConnectorStyle" xmi:id="_HrR6MRBeEeGqCpPspenMEg" lineColor="4210752"/>
  491. <styles xsi:type="notation:FontStyle" xmi:id="_HrR6MxBeEeGqCpPspenMEg" fontName="Verdana"/>
  492. <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_HrR6MhBeEeGqCpPspenMEg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
  493. </edges>
  494. </notation:Diagram>
  495. </xmi:XMI>