Inicio Explorar Axuda
Iniciar sesión
simon
/
SCCD
Seguir 2
Destacar 2
Fork 3
Ficheiros Incidencias 28 Pull Requests 0 Wiki
Árbore: fb78e8913d
Ramas Etiquetas
SCCD
/
examples
/
microwave
/
model_microwave_priorities.svg

model_microwave_priorities.svg 11 KB
Histórico Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163 
  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: priorities Pages: 1 -->
    7. 

  7. <svg width="1107pt" height="397pt"
    8. 

  8.  viewBox="0.00 0.00 1107.07 397.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 393)">
    10. 

  10. <title>priorities</title>
    11. 

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

  12. <!-- 1. stop / Running&#45;&gt;NotRunning -->
    13. 

  13. <g id="node1" class="node">
    14. 

  14. <title>1. stop / Running&#45;&gt;NotRunning</title>
    15. 

  15. <ellipse fill="none" stroke="#000000" cx="124.139" cy="-299" rx="124.2781" ry="18"/>
    16. 

  16. <text text-anchor="middle" x="124.139" y="-295.3" font-family="Times,serif" font-size="14.00" fill="#000000">1. stop / Running&#45;&gt;NotRunning</text>
    17. 

  17. </g>
    18. 

  18. <!-- 2. after(1 s) / Running&#45;&gt;Running -->
    19. 

  19. <g id="node2" class="node">
    20. 

  20. <title>2. after(1 s) / Running&#45;&gt;Running</title>
    21. 

  21. <ellipse fill="none" stroke="#000000" cx="158.139" cy="-227" rx="128.0773" ry="18"/>
    22. 

  22. <text text-anchor="middle" x="158.139" y="-223.3" font-family="Times,serif" font-size="14.00" fill="#000000">2. after(1 s) / Running&#45;&gt;Running</text>
    23. 

  23. </g>
    24. 

  24. <!-- 1. stop / Running&#45;&gt;NotRunning&#45;&gt;2. after(1 s) / Running&#45;&gt;Running -->
    25. 

  25. <g id="edge1" class="edge">
    26. 

  26. <title>1. stop / Running&#45;&gt;NotRunning&#45;&gt;2. after(1 s) / Running&#45;&gt;Running</title>
    27. 

  27. <path fill="none" stroke="#00ff00" d="M132.7186,-280.8314C136.4748,-272.8771 140.9647,-263.369 145.1187,-254.5723"/>
    28. 

  28. <polygon fill="#00ff00" stroke="#00ff00" points="148.3386,-255.9503 149.4438,-245.4133 142.0088,-252.9612 148.3386,-255.9503"/>
    29. 

  29. </g>
    30. 

  30. <!-- pseudo0 -->
    31. 

  31. <g id="node7" class="node">
    32. 

  32. <title>pseudo0</title>
    33. 

  33. <ellipse fill="#c0c0c0" stroke="#000000" cx="425.139" cy="-86.5" rx="14.5" ry="14.5"/>
    34. 

  34. </g>
    35. 

  35. <!-- 1. stop / Running&#45;&gt;NotRunning&#45;&gt;pseudo0 -->
    36. 

  36. <g id="edge10" class="edge">
    37. 

  37. <title>1. stop / Running&#45;&gt;NotRunning&#45;&gt;pseudo0</title>
    38. 

  38. <path fill="none" stroke="#0000ff" d="M68.4633,-282.8959C50.1322,-274.6546 31.7449,-262.5354 21.139,-245 -6.7381,-198.9088 29.6927,-164.2813 76.139,-137 131.5083,-104.4776 330.4824,-91.3456 400.5297,-87.6637"/>
    39. 

  39. <polygon fill="#0000ff" stroke="#0000ff" points="400.8131,-91.154 410.6232,-87.1524 400.4589,-84.1629 400.8131,-91.154"/>
    40. 

  40. </g>
    41. 

  41. <!-- 3. [time == 0] / Running&#45;&gt;NotRunning -->
    42. 

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

  43. <title>3. [time == 0] / Running&#45;&gt;NotRunning</title>
    44. 

  44. <ellipse fill="none" stroke="#000000" cx="246.139" cy="-155" rx="151.3732" ry="18"/>
    45. 

  45. <text text-anchor="middle" x="246.139" y="-151.3" font-family="Times,serif" font-size="14.00" fill="#000000">3. [time == 0] / Running&#45;&gt;NotRunning</text>
    46. 

  46. </g>
    47. 

  47. <!-- 2. after(1 s) / Running&#45;&gt;Running&#45;&gt;3. [time == 0] / Running&#45;&gt;NotRunning -->
    48. 

  48. <g id="edge2" class="edge">
    49. 

  49. <title>2. after(1 s) / Running&#45;&gt;Running&#45;&gt;3. [time == 0] / Running&#45;&gt;NotRunning</title>
    50. 

  50. <path fill="none" stroke="#00ff00" d="M179.8918,-209.2022C190.8919,-200.2021 204.4096,-189.1423 216.3593,-179.3652"/>
    51. 

  51. <polygon fill="#00ff00" stroke="#00ff00" points="218.8082,-181.8838 224.3314,-172.8425 214.3755,-176.4661 218.8082,-181.8838"/>
    52. 

  52. </g>
    53. 

  53. <!-- 2. after(1 s) / Running&#45;&gt;Running&#45;&gt;pseudo0 -->
    54. 

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

  55. <title>2. after(1 s) / Running&#45;&gt;Running&#45;&gt;pseudo0</title>
    56. 

  56. <path fill="none" stroke="#0000ff" d="M122.4744,-209.5829C108.4617,-200.7252 93.8953,-188.5127 86.139,-173 78.9836,-158.6892 75.692,-149.1186 86.139,-137 106.6953,-113.1546 324.9486,-94.2218 399.977,-88.3758"/>
    57. 

  57. <polygon fill="#0000ff" stroke="#0000ff" points="400.6502,-91.8346 410.3532,-87.5801 400.1149,-84.8551 400.6502,-91.8346"/>
    58. 

  58. </g>
    59. 

  59. <!-- 3. [time == 0] / Running&#45;&gt;NotRunning&#45;&gt;pseudo0 -->
    60. 

  60. <g id="edge12" class="edge">
    61. 

  61. <title>3. [time == 0] / Running&#45;&gt;NotRunning&#45;&gt;pseudo0</title>
    62. 

  62. <path fill="none" stroke="#0000ff" d="M291.3082,-137.7146C326.3898,-124.2895 373.6285,-106.2121 401.584,-95.5141"/>
    63. 

  63. <polygon fill="#0000ff" stroke="#0000ff" points="403.2,-98.6433 411.2885,-91.8003 400.6981,-92.1056 403.2,-98.6433"/>
    64. 

  64. </g>
    65. 

  65. <!-- 4. start / NotRunning&#45;&gt;Running -->
    66. 

  66. <g id="node4" class="node">
    67. 

  67. <title>4. start / NotRunning&#45;&gt;Running</title>
    68. 

  68. <ellipse fill="none" stroke="#000000" cx="466.139" cy="-299" rx="124.2781" ry="18"/>
    69. 

  69. <text text-anchor="middle" x="466.139" y="-295.3" font-family="Times,serif" font-size="14.00" fill="#000000">4. start / NotRunning&#45;&gt;Running</text>
    70. 

  70. </g>
    71. 

  71. <!-- 5. stop / NotRunning&#45;&gt;NotRunning -->
    72. 

  72. <g id="node5" class="node">
    73. 

  73. <title>5. stop / NotRunning&#45;&gt;NotRunning</title>
    74. 

  74. <ellipse fill="none" stroke="#000000" cx="590.139" cy="-227" rx="137.2758" ry="18"/>
    75. 

  75. <text text-anchor="middle" x="590.139" y="-223.3" font-family="Times,serif" font-size="14.00" fill="#000000">5. stop / NotRunning&#45;&gt;NotRunning</text>
    76. 

  76. </g>
    77. 

  77. <!-- 4. start / NotRunning&#45;&gt;Running&#45;&gt;5. stop / NotRunning&#45;&gt;NotRunning -->
    78. 

  78. <g id="edge3" class="edge">
    79. 

  79. <title>4. start / NotRunning&#45;&gt;Running&#45;&gt;5. stop / NotRunning&#45;&gt;NotRunning</title>
    80. 

  80. <path fill="none" stroke="#00ff00" d="M496.4728,-281.3868C512.8359,-271.8857 533.2216,-260.0488 550.7928,-249.8462"/>
    81. 

  81. <polygon fill="#00ff00" stroke="#00ff00" points="552.7982,-252.7291 559.6886,-244.6809 549.2832,-246.6755 552.7982,-252.7291"/>
    82. 

  82. </g>
    83. 

  83. <!-- 4. start / NotRunning&#45;&gt;Running&#45;&gt;pseudo0 -->
    84. 

  84. <g id="edge13" class="edge">
    85. 

  85. <title>4. start / NotRunning&#45;&gt;Running&#45;&gt;pseudo0</title>
    86. 

  86. <path fill="none" stroke="#0000ff" d="M457.352,-280.9206C452.7122,-270.6232 447.3328,-257.3489 444.139,-245 432.1582,-198.6769 427.6956,-142.7471 426.0597,-111.2359"/>
    87. 

  87. <polygon fill="#0000ff" stroke="#0000ff" points="429.5522,-110.9907 425.5913,-101.1642 422.5597,-111.316 429.5522,-110.9907"/>
    88. 

  88. </g>
    89. 

  89. <!-- 5. stop / NotRunning&#45;&gt;NotRunning&#45;&gt;pseudo0 -->
    90. 

  90. <g id="edge14" class="edge">
    91. 

  91. <title>5. stop / NotRunning&#45;&gt;NotRunning&#45;&gt;pseudo0</title>
    92. 

  92. <path fill="none" stroke="#0000ff" d="M569.2416,-209.2056C536.9015,-181.6675 475.2194,-129.1442 444.0986,-102.6444"/>
    93. 

  93. <polygon fill="#0000ff" stroke="#0000ff" points="446.0639,-99.7209 436.1811,-95.9025 441.5257,-105.0505 446.0639,-99.7209"/>
    94. 

  94. </g>
    95. 

  95. <!-- 0. door_opened / DoorClosed&#45;&gt;DoorOpen -->
    96. 

  96. <g id="node6" class="node">
    97. 

  97. <title>0. door_opened / DoorClosed&#45;&gt;DoorOpen</title>
    98. 

  98. <ellipse fill="none" stroke="#000000" cx="390.139" cy="-371" rx="161.3716" ry="18"/>
    99. 

  99. <text text-anchor="middle" x="390.139" y="-367.3" font-family="Times,serif" font-size="14.00" fill="#000000">0. door_opened / DoorClosed&#45;&gt;DoorOpen</text>
    100. 

  100. </g>
    101. 

  101. <!-- 0. door_opened / DoorClosed&#45;&gt;DoorOpen&#45;&gt;1. stop / Running&#45;&gt;NotRunning -->
    102. 

  102. <g id="edge4" class="edge">
    103. 

  103. <title>0. door_opened / DoorClosed&#45;&gt;DoorOpen&#45;&gt;1. stop / Running&#45;&gt;NotRunning</title>
    104. 

  104. <path fill="none" stroke="#ff0000" d="M328.4446,-354.3008C287.8086,-343.3015 234.5639,-328.8895 192.6187,-317.5359"/>
    105. 

  105. <polygon fill="#ff0000" stroke="#ff0000" points="193.3279,-314.1019 182.7607,-314.8675 191.4989,-320.8588 193.3279,-314.1019"/>
    106. 

  106. </g>
    107. 

  107. <!-- 0. door_opened / DoorClosed&#45;&gt;DoorOpen&#45;&gt;2. after(1 s) / Running&#45;&gt;Running -->
    108. 

  108. <g id="edge5" class="edge">
    109. 

  109. <title>0. door_opened / DoorClosed&#45;&gt;DoorOpen&#45;&gt;2. after(1 s) / Running&#45;&gt;Running</title>
    110. 

  110. <path fill="none" stroke="#ff0000" d="M357.7113,-353.1874C340.2362,-343.1839 318.5453,-330.1049 300.139,-317 279.8349,-302.5439 277.7356,-295.0361 257.139,-281 240.2122,-269.4648 220.5852,-258.3388 203.2924,-249.2141"/>
    111. 

  111. <polygon fill="#ff0000" stroke="#ff0000" points="204.4445,-245.8683 193.9574,-244.3609 201.2155,-252.0791 204.4445,-245.8683"/>
    112. 

  112. </g>
    113. 

  113. <!-- 0. door_opened / DoorClosed&#45;&gt;DoorOpen&#45;&gt;3. [time == 0] / Running&#45;&gt;NotRunning -->
    114. 

  114. <g id="edge6" class="edge">
    115. 

  115. <title>0. door_opened / DoorClosed&#45;&gt;DoorOpen&#45;&gt;3. [time == 0] / Running&#45;&gt;NotRunning</title>
    116. 

  116. <path fill="none" stroke="#ff0000" d="M366.5069,-353.0919C355.1208,-343.447 342.04,-330.7241 333.139,-317 305.4504,-274.3084 321.1961,-252.7065 295.139,-209 289.0838,-198.8434 280.924,-188.9095 273.0015,-180.3879"/>
    117. 

  117. <polygon fill="#ff0000" stroke="#ff0000" points="275.3242,-177.7547 265.8597,-172.9931 270.2891,-182.6176 275.3242,-177.7547"/>
    118. 

  118. </g>
    119. 

  119. <!-- 0. door_opened / DoorClosed&#45;&gt;DoorOpen&#45;&gt;4. start / NotRunning&#45;&gt;Running -->
    120. 

  120. <g id="edge7" class="edge">
    121. 

  121. <title>0. door_opened / DoorClosed&#45;&gt;DoorOpen&#45;&gt;4. start / NotRunning&#45;&gt;Running</title>
    122. 

  122. <path fill="none" stroke="#ff0000" d="M409.317,-352.8314C418.5679,-344.0673 429.8098,-333.4171 439.8448,-323.9103"/>
    123. 

  123. <polygon fill="#ff0000" stroke="#ff0000" points="442.3779,-326.3317 447.2304,-316.9134 437.5637,-321.25 442.3779,-326.3317"/>
    124. 

  124. </g>
    125. 

  125. <!-- 0. door_opened / DoorClosed&#45;&gt;DoorOpen&#45;&gt;5. stop / NotRunning&#45;&gt;NotRunning -->
    126. 

  126. <g id="edge8" class="edge">
    127. 

  127. <title>0. door_opened / DoorClosed&#45;&gt;DoorOpen&#45;&gt;5. stop / NotRunning&#45;&gt;NotRunning</title>
    128. 

  128. <path fill="none" stroke="#ff0000" d="M490.7619,-356.9051C537.2159,-348.1315 585.17,-335.0369 599.139,-317 612.6488,-299.5559 608.6175,-274.1484 602.2304,-254.774"/>
    129. 

  129. <polygon fill="#ff0000" stroke="#ff0000" points="605.4758,-253.4576 598.7561,-245.2665 598.9011,-255.8603 605.4758,-253.4576"/>
    130. 

  130. </g>
    131. 

  131. <!-- 0. door_opened / DoorClosed&#45;&gt;DoorOpen&#45;&gt;pseudo0 -->
    132. 

  132. <g id="edge9" class="edge">
    133. 

  133. <title>0. door_opened / DoorClosed&#45;&gt;DoorOpen&#45;&gt;pseudo0</title>
    134. 

  134. <path fill="none" stroke="#0000ff" d="M481.7967,-356.1512C524.2524,-347.5539 574.7813,-334.833 618.139,-317 674.9571,-293.6307 706.0686,-298.5742 736.139,-245 800.2935,-130.7008 534.0441,-96.399 449.8988,-88.5075"/>
    135. 

  135. <polygon fill="#0000ff" stroke="#0000ff" points="449.9839,-85.0013 439.7125,-87.5994 449.3622,-91.9737 449.9839,-85.0013"/>
    136. 

  136. </g>
    137. 

  137. <!-- 7. increase_time / Default&#45;&gt;Default -->
    138. 

  138. <g id="node9" class="node">
    139. 

  139. <title>7. increase_time / Default&#45;&gt;Default</title>
    140. 

  140. <ellipse fill="none" stroke="#000000" cx="425.139" cy="-18" rx="137.5759" ry="18"/>
    141. 

  141. <text text-anchor="middle" x="425.139" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">7. increase_time / Default&#45;&gt;Default</text>
    142. 

  142. </g>
    143. 

  143. <!-- pseudo0&#45;&gt;7. increase_time / Default&#45;&gt;Default -->
    144. 

  144. <g id="edge16" class="edge">
    145. 

  145. <title>pseudo0&#45;&gt;7. increase_time / Default&#45;&gt;Default</title>
    146. 

  146. <path fill="none" stroke="#0000ff" d="M425.139,-71.9729C425.139,-64.4645 425.139,-55.0377 425.139,-46.1722"/>
    147. 

  147. <polygon fill="#0000ff" stroke="#0000ff" points="428.6391,-46.1713 425.139,-36.1713 421.6391,-46.1713 428.6391,-46.1713"/>
    148. 

  148. </g>
    149. 

  149. <!-- 6. door_closed / DoorOpen&#45;&gt;DoorClosed -->
    150. 

  150. <g id="node8" class="node">
    151. 

  151. <title>6. door_closed / DoorOpen&#45;&gt;DoorClosed</title>
    152. 

  152. <ellipse fill="none" stroke="#000000" cx="941.139" cy="-155" rx="157.872" ry="18"/>
    153. 

  153. <text text-anchor="middle" x="941.139" y="-151.3" font-family="Times,serif" font-size="14.00" fill="#000000">6. door_closed / DoorOpen&#45;&gt;DoorClosed</text>
    154. 

  154. </g>
    155. 

  155. <!-- 6. door_closed / DoorOpen&#45;&gt;DoorClosed&#45;&gt;pseudo0 -->
    156. 

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

  157. <title>6. door_closed / DoorOpen&#45;&gt;DoorClosed&#45;&gt;pseudo0</title>
    158. 

  158. <path fill="none" stroke="#0000ff" d="M837.9589,-141.3026C715.3767,-125.0296 518.8014,-98.9339 449.9359,-89.7918"/>
    159. 

  159. <polygon fill="#0000ff" stroke="#0000ff" points="450.0304,-86.2738 439.6568,-88.4273 449.1092,-93.2129 450.0304,-86.2738"/>
    160. 

  160. </g>
    161. 

  161. </g>
    162. 

  162. </svg>
    163. 

  163.