Startsida Utforska Hjälp
Logga in
simon
/
SCCD
Bevaka 2
Stjärnmärk 2
Fork 3
Filer Ärenden 28 Pull-förfrågningar 0 Wiki
Gren: joeri
Grenar Taggar
SCCD
/
test_files
/
day_atlee
/
statechart_fig9_trafficlight.svg

statechart_fig9_trafficlight.svg 13 KB
Permalänk Historik Rå

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164 
  1. <?xml version="1.0" encoding="UTF-8" standalone="no"?>
    2. 

  2. <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
    3. 

  3.  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
    4. 

  4. <!-- Generated by graphviz version 2.40.1 (20161225.0304)
    5. 

  5.  -->
    6. 

  6. <!-- Title: state transitions Pages: 1 -->
    7. 

  7. <svg width="482pt" height="542pt"
    8. 

  8.  viewBox="0.00 0.00 482.00 542.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
    9. 

  9. <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 538)">
    10. 

  10. <title>state transitions</title>
    11. 

  11. <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-538 478,-538 478,4 -4,4"/>
    12. 

  12. <g id="clust1" class="cluster">
    13. 

  13. <title>cluster__TrafficLight</title>
    14. 

  14. <path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 454,-8 454,-8 460,-8 466,-14 466,-20 466,-20 466,-483 466,-483 466,-489 460,-495 454,-495 454,-495 20,-495 20,-495 14,-495 8,-489 8,-483 8,-483 8,-20 8,-20 8,-14 14,-8 20,-8"/>
    15. 

  15. <text text-anchor="start" x="207.8306" y="-476.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">TrafficLight</text>
    16. 

  16. </g>
    17. 

  17. <g id="clust2" class="cluster">
    18. 

  18. <title>cluster__TrafficLight_EastWest</title>
    19. 

  19. <polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="245,-16 245,-457 458,-457 458,-16 245,-16"/>
    20. 

  20. <text text-anchor="start" x="326.3296" y="-438.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">EastWest</text>
    21. 

  21. </g>
    22. 

  22. <g id="clust3" class="cluster">
    23. 

  23. <title>cluster__TrafficLight_NorthSouth</title>
    24. 

  24. <polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="24,-16 24,-457 237,-457 237,-16 24,-16"/>
    25. 

  25. <text text-anchor="start" x="100.158" y="-438.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">NorthSouth</text>
    26. 

  26. </g>
    27. 

  27. <!-- __initial -->
    28. 

  28. <g id="node1" class="node">
    29. 

  29. <title>__initial</title>
    30. 

  30. <ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="16" cy="-528.5" rx="5.5" ry="5.5"/>
    31. 

  31. </g>
    32. 

  32. <!-- _TrafficLight -->
    33. 

  33. <!-- __initial&#45;&gt;_TrafficLight -->
    34. 

  34. <g id="edge1" class="edge">
    35. 

  35. <title>__initial&#45;&gt;_TrafficLight</title>
    36. 

  36. <path fill="none" stroke="#000000" d="M16,-522.9533C16,-518.7779 16,-512.5043 16,-505.0332"/>
    37. 

  37. <polygon fill="#000000" stroke="#000000" points="19.5001,-504.9971 16,-494.9971 12.5001,-504.9972 19.5001,-504.9971"/>
    38. 

  38. <text text-anchor="middle" x="17.3895" y="-506" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
    39. 

  39. </g>
    40. 

  40. <!-- _TrafficLight_EastWest -->
    41. 

  41. <!-- _TrafficLight_EastWest_initial -->
    42. 

  42. <g id="node4" class="node">
    43. 

  43. <title>_TrafficLight_EastWest_initial</title>
    44. 

  44. <ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="314" cy="-413.5" rx="5.5" ry="5.5"/>
    45. 

  45. </g>
    46. 

  46. <!-- _TrafficLight_EastWest_EW_Red -->
    47. 

  47. <g id="node7" class="node">
    48. 

  48. <title>_TrafficLight_EastWest_EW_Red</title>
    49. 

  49. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="370,-326 258,-326 258,-280 370,-280 370,-326"/>
    50. 

  50. <text text-anchor="start" x="289.9976" y="-309.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">EW_Red</text>
    51. 

  51. <text text-anchor="start" x="263.5034" y="-289.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.set_light</text>
    52. 

  52. <polygon fill="#000000" stroke="#000000" points="258,-303 258,-303 370,-303 370,-303 258,-303"/>
    53. 

  53. <path fill="none" stroke="#000000" stroke-width="2" d="M271,-281C271,-281 357,-281 357,-281 363,-281 369,-287 369,-293 369,-293 369,-313 369,-313 369,-319 363,-325 357,-325 357,-325 271,-325 271,-325 265,-325 259,-319 259,-313 259,-313 259,-293 259,-293 259,-287 265,-281 271,-281"/>
    54. 

  54. </g>
    55. 

  55. <!-- _TrafficLight_EastWest_initial&#45;&gt;_TrafficLight_EastWest_EW_Red -->
    56. 

  56. <g id="edge2" class="edge">
    57. 

  57. <title>_TrafficLight_EastWest_initial&#45;&gt;_TrafficLight_EastWest_EW_Red</title>
    58. 

  58. <path fill="none" stroke="#000000" d="M314,-407.8288C314,-403.1736 314,-396.4097 314,-390.5 314,-390.5 314,-390.5 314,-343.5 314,-341.127 314,-338.6757 314,-336.2081"/>
    59. 

  59. <polygon fill="#000000" stroke="#000000" points="317.5001,-336.1306 314,-326.1306 310.5001,-336.1306 317.5001,-336.1306"/>
    60. 

  60. <text text-anchor="middle" x="315.3895" y="-364" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
    61. 

  61. </g>
    62. 

  62. <!-- _TrafficLight_EastWest_EW_Yellow -->
    63. 

  63. <g id="node5" class="node">
    64. 

  64. <title>_TrafficLight_EastWest_EW_Yellow</title>
    65. 

  65. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="389,-70 277,-70 277,-24 389,-24 389,-70"/>
    66. 

  66. <text text-anchor="start" x="302.3334" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">EW_Yellow</text>
    67. 

  67. <text text-anchor="start" x="282.5034" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.set_light</text>
    68. 

  68. <polygon fill="#000000" stroke="#000000" points="277,-47 277,-47 389,-47 389,-47 277,-47"/>
    69. 

  69. <path fill="none" stroke="#000000" stroke-width="2" d="M290,-25C290,-25 376,-25 376,-25 382,-25 388,-31 388,-37 388,-37 388,-57 388,-57 388,-63 382,-69 376,-69 376,-69 290,-69 290,-69 284,-69 278,-63 278,-57 278,-57 278,-37 278,-37 278,-31 284,-25 290,-25"/>
    70. 

  70. </g>
    71. 

  71. <!-- _TrafficLight_EastWest_EW_Yellow&#45;&gt;_TrafficLight_EastWest_EW_Red -->
    72. 

  72. <g id="edge3" class="edge">
    73. 

  73. <title>_TrafficLight_EastWest_EW_Yellow&#45;&gt;_TrafficLight_EastWest_EW_Red</title>
    74. 

  74. <path fill="none" stroke="#000000" d="M281.8811,-70.2028C277.6772,-75.0235 275,-80.7452 275,-87.5 275,-262.5 275,-262.5 275,-262.5 275,-265.4192 275.5322,-268.2091 276.4724,-270.86"/>
    75. 

  75. <polygon fill="#000000" stroke="#000000" points="273.5348,-272.7802 281.4401,-279.8341 279.659,-269.39 273.5348,-272.7802"/>
    76. 

  76. <text text-anchor="start" x="275" y="-172" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">change &#160;&#160;</text>
    77. 

  77. </g>
    78. 

  78. <!-- _TrafficLight_EastWest_EW_Green -->
    79. 

  79. <g id="node6" class="node">
    80. 

  80. <title>_TrafficLight_EastWest_EW_Green</title>
    81. 

  81. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="450,-198 338,-198 338,-152 450,-152 450,-198"/>
    82. 

  82. <text text-anchor="start" x="364.3288" y="-181.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">EW_Green</text>
    83. 

  83. <text text-anchor="start" x="343.5034" y="-161.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.set_light</text>
    84. 

  84. <polygon fill="#000000" stroke="#000000" points="338,-175 338,-175 450,-175 450,-175 338,-175"/>
    85. 

  85. <path fill="none" stroke="#000000" stroke-width="2" d="M351,-153C351,-153 437,-153 437,-153 443,-153 449,-159 449,-165 449,-165 449,-185 449,-185 449,-191 443,-197 437,-197 437,-197 351,-197 351,-197 345,-197 339,-191 339,-185 339,-185 339,-165 339,-165 339,-159 345,-153 351,-153"/>
    86. 

  86. </g>
    87. 

  87. <!-- _TrafficLight_EastWest_EW_Green&#45;&gt;_TrafficLight_EastWest_EW_Yellow -->
    88. 

  88. <g id="edge4" class="edge">
    89. 

  89. <title>_TrafficLight_EastWest_EW_Green&#45;&gt;_TrafficLight_EastWest_EW_Yellow</title>
    90. 

  90. <path fill="none" stroke="#000000" d="M363.1098,-151.575C359.4593,-146.5222 357,-140.7857 357,-134.5 357,-134.5 357,-134.5 357,-87.5 357,-84.854 356.6162,-82.2294 355.9456,-79.6633"/>
    91. 

  91. <polygon fill="#000000" stroke="#000000" points="359.0999,-78.1245 352.1432,-70.1335 352.5983,-80.7186 359.0999,-78.1245"/>
    92. 

  92. <text text-anchor="start" x="357" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">end &#160;&#160;</text>
    93. 

  93. </g>
    94. 

  94. <!-- _TrafficLight_EastWest_EW_Red&#45;&gt;_TrafficLight_EastWest_EW_Green -->
    95. 

  95. <g id="edge5" class="edge">
    96. 

  96. <title>_TrafficLight_EastWest_EW_Red&#45;&gt;_TrafficLight_EastWest_EW_Green</title>
    97. 

  97. <path fill="none" stroke="#000000" d="M350.2813,-279.9037C354.3125,-274.8762 357,-269.0633 357,-262.5 357,-262.5 357,-262.5 357,-215.5 357,-212.6518 357.5049,-209.9164 358.3969,-207.3062"/>
    98. 

  98. <polygon fill="#000000" stroke="#000000" points="361.5139,-208.899 363.1098,-198.425 355.3306,-205.6177 361.5139,-208.899"/>
    99. 

  99. <text text-anchor="start" x="357" y="-236" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">change &#160;&#160;</text>
    100. 

  100. </g>
    101. 

  101. <!-- _TrafficLight_NorthSouth -->
    102. 

  102. <!-- _TrafficLight_NorthSouth_initial -->
    103. 

  103. <g id="node9" class="node">
    104. 

  104. <title>_TrafficLight_NorthSouth_initial</title>
    105. 

  105. <ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="93" cy="-413.5" rx="5.5" ry="5.5"/>
    106. 

  106. </g>
    107. 

  107. <!-- _TrafficLight_NorthSouth_NS_Green -->
    108. 

  108. <g id="node12" class="node">
    109. 

  109. <title>_TrafficLight_NorthSouth_NS_Green</title>
    110. 

  110. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="149,-326 37,-326 37,-280 149,-280 149,-326"/>
    111. 

  111. <text text-anchor="start" x="64.6608" y="-309.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">NS_Green</text>
    112. 

  112. <text text-anchor="start" x="42.5034" y="-289.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.set_light</text>
    113. 

  113. <polygon fill="#000000" stroke="#000000" points="37,-303 37,-303 149,-303 149,-303 37,-303"/>
    114. 

  114. <path fill="none" stroke="#000000" stroke-width="2" d="M50,-281C50,-281 136,-281 136,-281 142,-281 148,-287 148,-293 148,-293 148,-313 148,-313 148,-319 142,-325 136,-325 136,-325 50,-325 50,-325 44,-325 38,-319 38,-313 38,-313 38,-293 38,-293 38,-287 44,-281 50,-281"/>
    115. 

  115. </g>
    116. 

  116. <!-- _TrafficLight_NorthSouth_initial&#45;&gt;_TrafficLight_NorthSouth_NS_Green -->
    117. 

  117. <g id="edge6" class="edge">
    118. 

  118. <title>_TrafficLight_NorthSouth_initial&#45;&gt;_TrafficLight_NorthSouth_NS_Green</title>
    119. 

  119. <path fill="none" stroke="#000000" d="M93,-407.8288C93,-403.1736 93,-396.4097 93,-390.5 93,-390.5 93,-390.5 93,-343.5 93,-341.127 93,-338.6757 93,-336.2081"/>
    120. 

  120. <polygon fill="#000000" stroke="#000000" points="96.5001,-336.1306 93,-326.1306 89.5001,-336.1306 96.5001,-336.1306"/>
    121. 

  121. <text text-anchor="middle" x="94.3895" y="-364" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
    122. 

  122. </g>
    123. 

  123. <!-- _TrafficLight_NorthSouth_NS_Red -->
    124. 

  124. <g id="node10" class="node">
    125. 

  125. <title>_TrafficLight_NorthSouth_NS_Red</title>
    126. 

  126. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="168,-70 56,-70 56,-24 168,-24 168,-70"/>
    127. 

  127. <text text-anchor="start" x="89.3296" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">NS_Red</text>
    128. 

  128. <text text-anchor="start" x="61.5034" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.set_light</text>
    129. 

  129. <polygon fill="#000000" stroke="#000000" points="56,-47 56,-47 168,-47 168,-47 56,-47"/>
    130. 

  130. <path fill="none" stroke="#000000" stroke-width="2" d="M69,-25C69,-25 155,-25 155,-25 161,-25 167,-31 167,-37 167,-37 167,-57 167,-57 167,-63 161,-69 155,-69 155,-69 69,-69 69,-69 63,-69 57,-63 57,-57 57,-57 57,-37 57,-37 57,-31 63,-25 69,-25"/>
    131. 

  131. </g>
    132. 

  132. <!-- _TrafficLight_NorthSouth_NS_Red&#45;&gt;_TrafficLight_NorthSouth_NS_Green -->
    133. 

  133. <g id="edge7" class="edge">
    134. 

  134. <title>_TrafficLight_NorthSouth_NS_Red&#45;&gt;_TrafficLight_NorthSouth_NS_Green</title>
    135. 

  135. <path fill="none" stroke="#000000" d="M60.8811,-70.2028C56.6772,-75.0235 54,-80.7452 54,-87.5 54,-262.5 54,-262.5 54,-262.5 54,-265.4192 54.5322,-268.2091 55.4724,-270.86"/>
    136. 

  136. <polygon fill="#000000" stroke="#000000" points="52.5348,-272.7802 60.4401,-279.8341 58.659,-269.39 52.5348,-272.7802"/>
    137. 

  137. <text text-anchor="start" x="54" y="-172" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">change &#160;&#160;</text>
    138. 

  138. </g>
    139. 

  139. <!-- _TrafficLight_NorthSouth_NS_Yellow -->
    140. 

  140. <g id="node11" class="node">
    141. 

  141. <title>_TrafficLight_NorthSouth_NS_Yellow</title>
    142. 

  142. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="229,-198 117,-198 117,-152 229,-152 229,-198"/>
    143. 

  143. <text text-anchor="start" x="143.6654" y="-181.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">NS_Yellow</text>
    144. 

  144. <text text-anchor="start" x="122.5034" y="-161.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.set_light</text>
    145. 

  145. <polygon fill="#000000" stroke="#000000" points="117,-175 117,-175 229,-175 229,-175 117,-175"/>
    146. 

  146. <path fill="none" stroke="#000000" stroke-width="2" d="M130,-153C130,-153 216,-153 216,-153 222,-153 228,-159 228,-165 228,-165 228,-185 228,-185 228,-191 222,-197 216,-197 216,-197 130,-197 130,-197 124,-197 118,-191 118,-185 118,-185 118,-165 118,-165 118,-159 124,-153 130,-153"/>
    147. 

  147. </g>
    148. 

  148. <!-- _TrafficLight_NorthSouth_NS_Yellow&#45;&gt;_TrafficLight_NorthSouth_NS_Red -->
    149. 

  149. <g id="edge8" class="edge">
    150. 

  150. <title>_TrafficLight_NorthSouth_NS_Yellow&#45;&gt;_TrafficLight_NorthSouth_NS_Red</title>
    151. 

  151. <path fill="none" stroke="#000000" d="M142.1098,-151.575C138.4593,-146.5222 136,-140.7857 136,-134.5 136,-134.5 136,-134.5 136,-87.5 136,-84.854 135.6162,-82.2294 134.9456,-79.6633"/>
    152. 

  152. <polygon fill="#000000" stroke="#000000" points="138.0999,-78.1245 131.1432,-70.1335 131.5983,-80.7186 138.0999,-78.1245"/>
    153. 

  153. <text text-anchor="start" x="136" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">change &#160;&#160;</text>
    154. 

  154. </g>
    155. 

  155. <!-- _TrafficLight_NorthSouth_NS_Green&#45;&gt;_TrafficLight_NorthSouth_NS_Yellow -->
    156. 

  156. <g id="edge9" class="edge">
    157. 

  157. <title>_TrafficLight_NorthSouth_NS_Green&#45;&gt;_TrafficLight_NorthSouth_NS_Yellow</title>
    158. 

  158. <path fill="none" stroke="#000000" d="M129.2813,-279.9037C133.3125,-274.8762 136,-269.0633 136,-262.5 136,-262.5 136,-262.5 136,-215.5 136,-212.6518 136.5049,-209.9164 137.3969,-207.3062"/>
    159. 

  159. <polygon fill="#000000" stroke="#000000" points="140.5139,-208.899 142.1098,-198.425 134.3306,-205.6177 140.5139,-208.899"/>
    160. 

  160. <text text-anchor="start" x="136" y="-236" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">end &#160;&#160;</text>
    161. 

  161. </g>
    162. 

  162. </g>
    163. 

  163. </svg>
    164. 

  164.