Home Verkennen Help
Inloggen
simon
/
SCCD
Volgen 2
Ster 2
Vork 3
Bestanden Kwesties 28 Pull-aanvragen 0 Wiki
Aftakking: joeri
Aftakkingen Labels
SCCD
/
test_files
/
day_atlee
/
statechart_fig8_counter.svg

statechart_fig8_counter.svg 9.1 KB
Permalink Geschiedenis Ruwe

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124 
  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="369pt" height="394pt"
    8. 

  8.  viewBox="0.00 0.00 369.00 394.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 390)">
    10. 

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

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

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

  13. <title>cluster__Counter</title>
    14. 

  14. <path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 341,-8 341,-8 347,-8 353,-14 353,-20 353,-20 353,-335 353,-335 353,-341 347,-347 341,-347 341,-347 20,-347 20,-347 14,-347 8,-341 8,-335 8,-335 8,-20 8,-20 8,-14 14,-8 20,-8"/>
    15. 

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

  16. </g>
    17. 

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

  18. <title>cluster__Counter_Bit_2</title>
    19. 

  19. <polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="176,-16 176,-309 345,-309 345,-16 176,-16"/>
    20. 

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

  21. </g>
    22. 

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

  23. <title>cluster__Counter_Bit_1</title>
    24. 

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

  25. <text text-anchor="start" x="82.829" y="-290.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Bit_1</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="-380.5" rx="5.5" ry="5.5"/>
    31. 

  31. </g>
    32. 

  32. <!-- _Counter -->
    33. 

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

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

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

  36. <path fill="none" stroke="#000000" d="M16,-374.9533C16,-370.7779 16,-364.5043 16,-357.0332"/>
    37. 

  37. <polygon fill="#000000" stroke="#000000" points="19.5001,-356.9971 16,-346.9971 12.5001,-356.9972 19.5001,-356.9971"/>
    38. 

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

  39. </g>
    40. 

  40. <!-- _Counter_Bit_2 -->
    41. 

  41. <!-- _Counter_Bit_2_initial -->
    42. 

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

  43. <title>_Counter_Bit_2_initial</title>
    44. 

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

  45. </g>
    46. 

  46. <!-- _Counter_Bit_2_Bit_21 -->
    47. 

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

  48. <title>_Counter_Bit_2_Bit_21</title>
    49. 

  49. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="264,-178 208,-178 208,-142 264,-142 264,-178"/>
    50. 

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

  51. <path fill="none" stroke="#000000" stroke-width="2" d="M220.3333,-143C220.3333,-143 251.6667,-143 251.6667,-143 257.3333,-143 263,-148.6667 263,-154.3333 263,-154.3333 263,-165.6667 263,-165.6667 263,-171.3333 257.3333,-177 251.6667,-177 251.6667,-177 220.3333,-177 220.3333,-177 214.6667,-177 209,-171.3333 209,-165.6667 209,-165.6667 209,-154.3333 209,-154.3333 209,-148.6667 214.6667,-143 220.3333,-143"/>
    52. 

  52. </g>
    53. 

  53. <!-- _Counter_Bit_2_initial&#45;&gt;_Counter_Bit_2_Bit_21 -->
    54. 

  54. <g id="edge2" class="edge">
    55. 

  55. <title>_Counter_Bit_2_initial&#45;&gt;_Counter_Bit_2_Bit_21</title>
    56. 

  56. <path fill="none" stroke="#000000" d="M236,-259.8288C236,-255.1736 236,-248.4097 236,-242.5 236,-242.5 236,-242.5 236,-195.5 236,-193.1079 236,-190.6252 236,-188.1342"/>
    57. 

  57. <polygon fill="#000000" stroke="#000000" points="239.5001,-188.0597 236,-178.0598 232.5001,-188.0598 239.5001,-188.0597"/>
    58. 

  58. <text text-anchor="middle" x="237.3895" y="-216" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
    59. 

  59. </g>
    60. 

  60. <!-- _Counter_Bit_2_Bit_22 -->
    61. 

  61. <g id="node5" class="node">
    62. 

  62. <title>_Counter_Bit_2_Bit_22</title>
    63. 

  63. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="289,-60 233,-60 233,-24 289,-24 289,-60"/>
    64. 

  64. <text text-anchor="start" x="243.9936" y="-38.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Bit_22</text>
    65. 

  65. <path fill="none" stroke="#000000" stroke-width="2" d="M245.3333,-25C245.3333,-25 276.6667,-25 276.6667,-25 282.3333,-25 288,-30.6667 288,-36.3333 288,-36.3333 288,-47.6667 288,-47.6667 288,-53.3333 282.3333,-59 276.6667,-59 276.6667,-59 245.3333,-59 245.3333,-59 239.6667,-59 234,-53.3333 234,-47.6667 234,-47.6667 234,-36.3333 234,-36.3333 234,-30.6667 239.6667,-25 245.3333,-25"/>
    66. 

  66. </g>
    67. 

  67. <!-- _Counter_Bit_2_Bit_22&#45;&gt;_Counter_Bit_2_Bit_21 -->
    68. 

  68. <g id="edge3" class="edge">
    69. 

  69. <title>_Counter_Bit_2_Bit_22&#45;&gt;_Counter_Bit_2_Bit_21</title>
    70. 

  70. <path fill="none" stroke="#000000" d="M232.8555,-49.0879C219.3237,-54.3567 206,-63.1802 206,-77.5 206,-124.5 206,-124.5 206,-124.5 206,-127.5259 206.6437,-130.4271 207.7426,-133.1752"/>
    71. 

  71. <polygon fill="#000000" stroke="#000000" points="204.8185,-135.1048 212.958,-141.8871 210.8245,-131.5093 204.8185,-135.1048"/>
    72. 

  72. <text text-anchor="start" x="206" y="-98" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">tk1^out.done &#160;&#160;</text>
    73. 

  73. </g>
    74. 

  74. <!-- _Counter_Bit_2_Bit_21&#45;&gt;_Counter_Bit_2_Bit_22 -->
    75. 

  75. <g id="edge4" class="edge">
    76. 

  76. <title>_Counter_Bit_2_Bit_21&#45;&gt;_Counter_Bit_2_Bit_22</title>
    77. 

  77. <path fill="none" stroke="#000000" d="M264.0749,-152.9703C286.7818,-146.4366 315,-136.0029 315,-124.5 315,-124.5 315,-124.5 315,-77.5 315,-66.9572 307.7242,-59.3711 298.514,-53.9915"/>
    78. 

  78. <polygon fill="#000000" stroke="#000000" points="299.788,-50.7189 289.2652,-49.4854 296.722,-57.0118 299.788,-50.7189"/>
    79. 

  79. <text text-anchor="start" x="315" y="-98" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">tk1 &#160;&#160;</text>
    80. 

  80. </g>
    81. 

  81. <!-- _Counter_Bit_1 -->
    82. 

  82. <!-- _Counter_Bit_1_initial -->
    83. 

  83. <g id="node8" class="node">
    84. 

  84. <title>_Counter_Bit_1_initial</title>
    85. 

  85. <ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="78" cy="-265.5" rx="5.5" ry="5.5"/>
    86. 

  86. </g>
    87. 

  87. <!-- _Counter_Bit_1_Bit_11 -->
    88. 

  88. <g id="node10" class="node">
    89. 

  89. <title>_Counter_Bit_1_Bit_11</title>
    90. 

  90. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="106,-178 50,-178 50,-142 106,-142 106,-178"/>
    91. 

  91. <text text-anchor="start" x="60.9936" y="-156.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Bit_11</text>
    92. 

  92. <path fill="none" stroke="#000000" stroke-width="2" d="M62.3333,-143C62.3333,-143 93.6667,-143 93.6667,-143 99.3333,-143 105,-148.6667 105,-154.3333 105,-154.3333 105,-165.6667 105,-165.6667 105,-171.3333 99.3333,-177 93.6667,-177 93.6667,-177 62.3333,-177 62.3333,-177 56.6667,-177 51,-171.3333 51,-165.6667 51,-165.6667 51,-154.3333 51,-154.3333 51,-148.6667 56.6667,-143 62.3333,-143"/>
    93. 

  93. </g>
    94. 

  94. <!-- _Counter_Bit_1_initial&#45;&gt;_Counter_Bit_1_Bit_11 -->
    95. 

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

  96. <title>_Counter_Bit_1_initial&#45;&gt;_Counter_Bit_1_Bit_11</title>
    97. 

  97. <path fill="none" stroke="#000000" d="M78,-259.8288C78,-255.1736 78,-248.4097 78,-242.5 78,-242.5 78,-242.5 78,-195.5 78,-193.1079 78,-190.6252 78,-188.1342"/>
    98. 

  98. <polygon fill="#000000" stroke="#000000" points="81.5001,-188.0597 78,-178.0598 74.5001,-188.0598 81.5001,-188.0597"/>
    99. 

  99. <text text-anchor="middle" x="79.3895" y="-216" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
    100. 

  100. </g>
    101. 

  101. <!-- _Counter_Bit_1_Bit_12 -->
    102. 

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

  103. <title>_Counter_Bit_1_Bit_12</title>
    104. 

  104. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="124,-60 68,-60 68,-24 124,-24 124,-60"/>
    105. 

  105. <text text-anchor="start" x="78.9936" y="-38.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Bit_12</text>
    106. 

  106. <path fill="none" stroke="#000000" stroke-width="2" d="M80.3333,-25C80.3333,-25 111.6667,-25 111.6667,-25 117.3333,-25 123,-30.6667 123,-36.3333 123,-36.3333 123,-47.6667 123,-47.6667 123,-53.3333 117.3333,-59 111.6667,-59 111.6667,-59 80.3333,-59 80.3333,-59 74.6667,-59 69,-53.3333 69,-47.6667 69,-47.6667 69,-36.3333 69,-36.3333 69,-30.6667 74.6667,-25 80.3333,-25"/>
    107. 

  107. </g>
    108. 

  108. <!-- _Counter_Bit_1_Bit_12&#45;&gt;_Counter_Bit_1_Bit_11 -->
    109. 

  109. <g id="edge6" class="edge">
    110. 

  110. <title>_Counter_Bit_1_Bit_12&#45;&gt;_Counter_Bit_1_Bit_11</title>
    111. 

  111. <path fill="none" stroke="#000000" d="M67.7524,-55.1838C60.1549,-60.7482 54,-68.1435 54,-77.5 54,-124.5 54,-124.5 54,-124.5 54,-127.3317 54.5305,-130.1061 55.4339,-132.7776"/>
    112. 

  112. <polygon fill="#000000" stroke="#000000" points="52.421,-134.5757 60.0562,-141.9211 58.6681,-131.4176 52.421,-134.5757"/>
    113. 

  113. <text text-anchor="start" x="54" y="-98" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">tk0^tk1 &#160;&#160;</text>
    114. 

  114. </g>
    115. 

  115. <!-- _Counter_Bit_1_Bit_11&#45;&gt;_Counter_Bit_1_Bit_12 -->
    116. 

  116. <g id="edge7" class="edge">
    117. 

  117. <title>_Counter_Bit_1_Bit_11&#45;&gt;_Counter_Bit_1_Bit_12</title>
    118. 

  118. <path fill="none" stroke="#000000" d="M106.2431,-154.4378C121.8052,-149.5506 138,-140.5975 138,-124.5 138,-124.5 138,-124.5 138,-77.5 138,-71.506 135.474,-66.3169 131.661,-61.8984"/>
    119. 

  119. <polygon fill="#000000" stroke="#000000" points="134.009,-59.3028 124.2476,-55.1838 129.3098,-64.491 134.009,-59.3028"/>
    120. 

  120. <text text-anchor="start" x="138" y="-98" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">tk0 &#160;&#160;</text>
    121. 

  121. </g>
    122. 

  122. </g>
    123. 

  123. </svg>
    124. 

  124.