statechart_ortho.svg 7.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110
  1. <?xml version="1.0" encoding="UTF-8" standalone="no"?>
  2. <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  3. "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
  4. <!-- Generated by graphviz version 2.40.1 (20161225.0304)
  5. -->
  6. <!-- Title: state transitions Pages: 1 -->
  7. <svg width="208pt" height="394pt"
  8. viewBox="0.00 0.00 208.00 394.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
  9. <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 390)">
  10. <title>state transitions</title>
  11. <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-390 204,-390 204,4 -4,4"/>
  12. <g id="clust1" class="cluster">
  13. <title>cluster__P</title>
  14. <path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 180,-8 180,-8 186,-8 192,-14 192,-20 192,-20 192,-335 192,-335 192,-341 186,-347 180,-347 180,-347 20,-347 20,-347 14,-347 8,-341 8,-335 8,-335 8,-20 8,-20 8,-14 14,-8 20,-8"/>
  15. <text text-anchor="start" x="95.9986" y="-328.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">P</text>
  16. </g>
  17. <g id="clust2" class="cluster">
  18. <title>cluster__P_R2</title>
  19. <polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="108,-16 108,-309 184,-309 184,-16 108,-16"/>
  20. <text text-anchor="start" x="138.8332" y="-290.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">R2</text>
  21. </g>
  22. <g id="clust3" class="cluster">
  23. <title>cluster__P_R1</title>
  24. <polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="24,-16 24,-309 100,-309 100,-16 24,-16"/>
  25. <text text-anchor="start" x="54.8332" y="-290.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">R1</text>
  26. </g>
  27. <!-- __initial -->
  28. <g id="node1" class="node">
  29. <title>__initial</title>
  30. <ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="16" cy="-380.5" rx="5.5" ry="5.5"/>
  31. </g>
  32. <!-- _P -->
  33. <!-- __initial&#45;&gt;_P -->
  34. <g id="edge1" class="edge">
  35. <title>__initial&#45;&gt;_P</title>
  36. <path fill="none" stroke="#000000" d="M16,-374.9533C16,-370.7779 16,-364.5043 16,-357.0332"/>
  37. <polygon fill="#000000" stroke="#000000" points="19.5001,-356.9971 16,-346.9971 12.5001,-356.9972 19.5001,-356.9971"/>
  38. <text text-anchor="middle" x="17.3895" y="-358" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
  39. </g>
  40. <!-- _P_R2 -->
  41. <!-- _P_R2_initial -->
  42. <g id="node4" class="node">
  43. <title>_P_R2_initial</title>
  44. <ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="144" cy="-265.5" rx="5.5" ry="5.5"/>
  45. </g>
  46. <!-- _P_R2_C -->
  47. <g id="node6" class="node">
  48. <title>_P_R2_C</title>
  49. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="172,-178 116,-178 116,-142 172,-142 172,-178"/>
  50. <text text-anchor="start" x="139.6686" y="-156.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">C</text>
  51. <path fill="none" stroke="#000000" stroke-width="2" d="M128.3333,-143C128.3333,-143 159.6667,-143 159.6667,-143 165.3333,-143 171,-148.6667 171,-154.3333 171,-154.3333 171,-165.6667 171,-165.6667 171,-171.3333 165.3333,-177 159.6667,-177 159.6667,-177 128.3333,-177 128.3333,-177 122.6667,-177 117,-171.3333 117,-165.6667 117,-165.6667 117,-154.3333 117,-154.3333 117,-148.6667 122.6667,-143 128.3333,-143"/>
  52. </g>
  53. <!-- _P_R2_initial&#45;&gt;_P_R2_C -->
  54. <g id="edge2" class="edge">
  55. <title>_P_R2_initial&#45;&gt;_P_R2_C</title>
  56. <path fill="none" stroke="#000000" d="M144,-259.8288C144,-255.1736 144,-248.4097 144,-242.5 144,-242.5 144,-242.5 144,-195.5 144,-193.1079 144,-190.6252 144,-188.1342"/>
  57. <polygon fill="#000000" stroke="#000000" points="147.5001,-188.0597 144,-178.0598 140.5001,-188.0598 147.5001,-188.0597"/>
  58. <text text-anchor="middle" x="145.3895" y="-216" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
  59. </g>
  60. <!-- _P_R2_D -->
  61. <g id="node5" class="node">
  62. <title>_P_R2_D</title>
  63. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="172,-60 116,-60 116,-24 172,-24 172,-60"/>
  64. <text text-anchor="start" x="139.6686" y="-38.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">D</text>
  65. <path fill="none" stroke="#000000" stroke-width="2" d="M128.3333,-25C128.3333,-25 159.6667,-25 159.6667,-25 165.3333,-25 171,-30.6667 171,-36.3333 171,-36.3333 171,-47.6667 171,-47.6667 171,-53.3333 165.3333,-59 159.6667,-59 159.6667,-59 128.3333,-59 128.3333,-59 122.6667,-59 117,-53.3333 117,-47.6667 117,-47.6667 117,-36.3333 117,-36.3333 117,-30.6667 122.6667,-25 128.3333,-25"/>
  66. </g>
  67. <!-- _P_R2_C&#45;&gt;_P_R2_D -->
  68. <g id="edge3" class="edge">
  69. <title>_P_R2_C&#45;&gt;_P_R2_D</title>
  70. <path fill="none" stroke="#000000" d="M139.7033,-141.6741C138.7416,-136.1833 138,-130.1255 138,-124.5 138,-124.5 138,-124.5 138,-77.5 138,-75.2146 138.1224,-72.8579 138.3322,-70.4969"/>
  71. <polygon fill="#000000" stroke="#000000" points="141.8359,-70.7039 139.7033,-60.3259 134.8986,-69.7687 141.8359,-70.7039"/>
  72. <text text-anchor="start" x="138" y="-98" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">^out.t2 &#160;&#160;</text>
  73. </g>
  74. <!-- _P_R1 -->
  75. <!-- _P_R1_initial -->
  76. <g id="node8" class="node">
  77. <title>_P_R1_initial</title>
  78. <ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="60" cy="-265.5" rx="5.5" ry="5.5"/>
  79. </g>
  80. <!-- _P_R1_A -->
  81. <g id="node10" class="node">
  82. <title>_P_R1_A</title>
  83. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="88,-178 32,-178 32,-142 88,-142 88,-178"/>
  84. <text text-anchor="start" x="55.9986" y="-156.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">A</text>
  85. <path fill="none" stroke="#000000" stroke-width="2" d="M44.3333,-143C44.3333,-143 75.6667,-143 75.6667,-143 81.3333,-143 87,-148.6667 87,-154.3333 87,-154.3333 87,-165.6667 87,-165.6667 87,-171.3333 81.3333,-177 75.6667,-177 75.6667,-177 44.3333,-177 44.3333,-177 38.6667,-177 33,-171.3333 33,-165.6667 33,-165.6667 33,-154.3333 33,-154.3333 33,-148.6667 38.6667,-143 44.3333,-143"/>
  86. </g>
  87. <!-- _P_R1_initial&#45;&gt;_P_R1_A -->
  88. <g id="edge4" class="edge">
  89. <title>_P_R1_initial&#45;&gt;_P_R1_A</title>
  90. <path fill="none" stroke="#000000" d="M60,-259.8288C60,-255.1736 60,-248.4097 60,-242.5 60,-242.5 60,-242.5 60,-195.5 60,-193.1079 60,-190.6252 60,-188.1342"/>
  91. <polygon fill="#000000" stroke="#000000" points="63.5001,-188.0597 60,-178.0598 56.5001,-188.0598 63.5001,-188.0597"/>
  92. <text text-anchor="middle" x="61.3895" y="-216" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
  93. </g>
  94. <!-- _P_R1_B -->
  95. <g id="node9" class="node">
  96. <title>_P_R1_B</title>
  97. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="88,-60 32,-60 32,-24 88,-24 88,-60"/>
  98. <text text-anchor="start" x="55.9986" y="-38.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">B</text>
  99. <path fill="none" stroke="#000000" stroke-width="2" d="M44.3333,-25C44.3333,-25 75.6667,-25 75.6667,-25 81.3333,-25 87,-30.6667 87,-36.3333 87,-36.3333 87,-47.6667 87,-47.6667 87,-53.3333 81.3333,-59 75.6667,-59 75.6667,-59 44.3333,-59 44.3333,-59 38.6667,-59 33,-53.3333 33,-47.6667 33,-47.6667 33,-36.3333 33,-36.3333 33,-30.6667 38.6667,-25 44.3333,-25"/>
  100. </g>
  101. <!-- _P_R1_A&#45;&gt;_P_R1_B -->
  102. <g id="edge5" class="edge">
  103. <title>_P_R1_A&#45;&gt;_P_R1_B</title>
  104. <path fill="none" stroke="#000000" d="M55.7033,-141.6741C54.7416,-136.1833 54,-130.1255 54,-124.5 54,-124.5 54,-124.5 54,-77.5 54,-75.2146 54.1224,-72.8579 54.3322,-70.4969"/>
  105. <polygon fill="#000000" stroke="#000000" points="57.8359,-70.7039 55.7033,-60.3259 50.8986,-69.7687 57.8359,-70.7039"/>
  106. <text text-anchor="start" x="54" y="-98" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">^out.t1 &#160;&#160;</text>
  107. </g>
  108. </g>
  109. </svg>