Página inicial Explorar Ajuda
Entrar
simon
/
SCCD
Observar 2
Favorito 2
Fork 3
Arquivos Issues 28 Pull Requests 0 Wiki
Tree: 99569186bb
Branches Tags
SCCD
/
examples
/
chatclient
/
model_chatclient_priorities.svg

model_chatclient_priorities.svg 30 KB
Histórico Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420 
  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="1899pt" height="678pt"
    8. 

  8.  viewBox="0.00 0.00 1899.43 678.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 674)">
    10. 

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

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

  12. <!-- 1. TryingConnect&#45;&gt;H -->
    13. 

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

  14. <title>1. TryingConnect&#45;&gt;H</title>
    15. 

  15. <ellipse fill="none" stroke="#000000" cx="87.7422" cy="-436" rx="87.9851" ry="18"/>
    16. 

  16. <text text-anchor="middle" x="87.7422" y="-432.3" font-family="Times,serif" font-size="14.00" fill="#000000">1. TryingConnect&#45;&gt;H</text>
    17. 

  17. </g>
    18. 

  18. <!-- 2. TryingConnect&#45;&gt;Initial -->
    19. 

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

  20. <title>2. TryingConnect&#45;&gt;Initial</title>
    21. 

  21. <ellipse fill="none" stroke="#000000" cx="152.7422" cy="-364" rx="102.8821" ry="18"/>
    22. 

  22. <text text-anchor="middle" x="152.7422" y="-360.3" font-family="Times,serif" font-size="14.00" fill="#000000">2. TryingConnect&#45;&gt;Initial</text>
    23. 

  23. </g>
    24. 

  24. <!-- 1. TryingConnect&#45;&gt;H&#45;&gt;2. TryingConnect&#45;&gt;Initial -->
    25. 

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

  26. <title>1. TryingConnect&#45;&gt;H&#45;&gt;2. TryingConnect&#45;&gt;Initial</title>
    27. 

  27. <path fill="none" stroke="#00ff00" d="M103.8096,-418.2022C111.6222,-409.5483 121.1541,-398.99 129.7224,-389.4988"/>
    28. 

  28. <polygon fill="#00ff00" stroke="#00ff00" points="132.5312,-391.6106 136.6344,-381.8425 127.3354,-386.9199 132.5312,-391.6106"/>
    29. 

  29. </g>
    30. 

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

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

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

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

  34. </g>
    35. 

  35. <!-- 1. TryingConnect&#45;&gt;H&#45;&gt;pseudo0 -->
    36. 

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

  37. <title>1. TryingConnect&#45;&gt;H&#45;&gt;pseudo0</title>
    38. 

  38. <path fill="none" stroke="#0000ff" d="M66.9298,-418.3192C46.3393,-398.7641 20.5964,-367.2219 40.7422,-346 74.2632,-310.6884 836.9712,-297.9863 985.7222,-295.8409"/>
    39. 

  39. <polygon fill="#0000ff" stroke="#0000ff" points="986.1247,-299.3356 996.0742,-295.6945 986.0257,-292.3363 986.1247,-299.3356"/>
    40. 

  40. </g>
    41. 

  41. <!-- 2. TryingConnect&#45;&gt;Initial&#45;&gt;pseudo0 -->
    42. 

  42. <g id="edge23" class="edge">
    43. 

  43. <title>2. TryingConnect&#45;&gt;Initial&#45;&gt;pseudo0</title>
    44. 

  44. <path fill="none" stroke="#0000ff" d="M227.2027,-351.5791C241.3032,-349.5011 255.9543,-347.5277 269.7422,-346 549.917,-314.9573 891.9469,-300.1061 985.8726,-296.4304"/>
    45. 

  45. <polygon fill="#0000ff" stroke="#0000ff" points="986.2184,-299.9197 996.0762,-296.0372 985.9488,-292.9249 986.2184,-299.9197"/>
    46. 

  46. </g>
    47. 

  47. <!-- 5. GettingRoomNumber&#45;&gt;GettingRoomNumber -->
    48. 

  48. <g id="node3" class="node">
    49. 

  49. <title>5. GettingRoomNumber&#45;&gt;GettingRoomNumber</title>
    50. 

  50. <ellipse fill="none" stroke="#000000" cx="418.7422" cy="-580" rx="183.0677" ry="18"/>
    51. 

  51. <text text-anchor="middle" x="418.7422" y="-576.3" font-family="Times,serif" font-size="14.00" fill="#000000">5. GettingRoomNumber&#45;&gt;GettingRoomNumber</text>
    52. 

  52. </g>
    53. 

  53. <!-- 6. GettingRoomNumber&#45;&gt;JoiningOrJoined -->
    54. 

  54. <g id="node4" class="node">
    55. 

  55. <title>6. GettingRoomNumber&#45;&gt;JoiningOrJoined</title>
    56. 

  56. <ellipse fill="none" stroke="#000000" cx="475.7422" cy="-508" rx="163.5712" ry="18"/>
    57. 

  57. <text text-anchor="middle" x="475.7422" y="-504.3" font-family="Times,serif" font-size="14.00" fill="#000000">6. GettingRoomNumber&#45;&gt;JoiningOrJoined</text>
    58. 

  58. </g>
    59. 

  59. <!-- 5. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;6. GettingRoomNumber&#45;&gt;JoiningOrJoined -->
    60. 

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

  61. <title>5. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;6. GettingRoomNumber&#45;&gt;JoiningOrJoined</title>
    62. 

  62. <path fill="none" stroke="#00ff00" d="M433.1257,-561.8314C439.6908,-553.5386 447.5929,-543.557 454.8,-534.4533"/>
    63. 

  63. <polygon fill="#00ff00" stroke="#00ff00" points="457.7021,-536.4262 461.165,-526.4133 452.2138,-532.0813 457.7021,-536.4262"/>
    64. 

  64. </g>
    65. 

  65. <!-- 5. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;pseudo0 -->
    66. 

  66. <g id="edge26" class="edge">
    67. 

  67. <title>5. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;pseudo0</title>
    68. 

  68. <path fill="none" stroke="#0000ff" d="M350.7491,-563.258C331.9966,-555.182 313.7883,-543.3264 302.7422,-526 256.7698,-453.8895 298.8006,-392.2363 370.7422,-346 423.2618,-312.2461 874.0909,-298.893 985.786,-296.086"/>
    69. 

  69. <polygon fill="#0000ff" stroke="#0000ff" points="986.1531,-299.5782 996.0642,-295.8337 985.9813,-292.5803 986.1531,-299.5782"/>
    70. 

  70. </g>
    71. 

  71. <!-- 7. GettingRoomNumber&#45;&gt;GettingRoomNumber -->
    72. 

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

  73. <title>7. GettingRoomNumber&#45;&gt;GettingRoomNumber</title>
    74. 

  74. <ellipse fill="none" stroke="#000000" cx="532.7422" cy="-436" rx="183.0677" ry="18"/>
    75. 

  75. <text text-anchor="middle" x="532.7422" y="-432.3" font-family="Times,serif" font-size="14.00" fill="#000000">7. GettingRoomNumber&#45;&gt;GettingRoomNumber</text>
    76. 

  76. </g>
    77. 

  77. <!-- 6. GettingRoomNumber&#45;&gt;JoiningOrJoined&#45;&gt;7. GettingRoomNumber&#45;&gt;GettingRoomNumber -->
    78. 

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

  79. <title>6. GettingRoomNumber&#45;&gt;JoiningOrJoined&#45;&gt;7. GettingRoomNumber&#45;&gt;GettingRoomNumber</title>
    80. 

  80. <path fill="none" stroke="#00ff00" d="M490.1257,-489.8314C496.6908,-481.5386 504.5929,-471.557 511.8,-462.4533"/>
    81. 

  81. <polygon fill="#00ff00" stroke="#00ff00" points="514.7021,-464.4262 518.165,-454.4133 509.2138,-460.0813 514.7021,-464.4262"/>
    82. 

  82. </g>
    83. 

  83. <!-- 6. GettingRoomNumber&#45;&gt;JoiningOrJoined&#45;&gt;pseudo0 -->
    84. 

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

  85. <title>6. GettingRoomNumber&#45;&gt;JoiningOrJoined&#45;&gt;pseudo0</title>
    86. 

  86. <path fill="none" stroke="#0000ff" d="M393.3692,-492.3846C372.8146,-484.3856 353.1252,-472.29 340.7422,-454 331.7722,-440.7509 332.0236,-431.4159 340.7422,-418 383.6764,-351.9345 426.5723,-366.1531 502.7422,-346 595.796,-321.3798 896.6573,-302.1833 985.696,-296.9312"/>
    87. 

  87. <polygon fill="#0000ff" stroke="#0000ff" points="986.1461,-300.411 995.9253,-296.3345 985.7384,-293.4229 986.1461,-300.411"/>
    88. 

  88. </g>
    89. 

  89. <!-- 8. GettingRoomNumber&#45;&gt;GettingRoomNumber -->
    90. 

  90. <g id="node6" class="node">
    91. 

  91. <title>8. GettingRoomNumber&#45;&gt;GettingRoomNumber</title>
    92. 

  92. <ellipse fill="none" stroke="#000000" cx="706.7422" cy="-364" rx="183.0677" ry="18"/>
    93. 

  93. <text text-anchor="middle" x="706.7422" y="-360.3" font-family="Times,serif" font-size="14.00" fill="#000000">8. GettingRoomNumber&#45;&gt;GettingRoomNumber</text>
    94. 

  94. </g>
    95. 

  95. <!-- 7. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;8. GettingRoomNumber&#45;&gt;GettingRoomNumber -->
    96. 

  96. <g id="edge4" class="edge">
    97. 

  97. <title>7. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;8. GettingRoomNumber&#45;&gt;GettingRoomNumber</title>
    98. 

  98. <path fill="none" stroke="#00ff00" d="M575.3074,-418.3868C599.3057,-408.4565 629.47,-395.9747 654.8467,-385.474"/>
    99. 

  99. <polygon fill="#00ff00" stroke="#00ff00" points="656.4133,-388.6136 664.3153,-381.556 653.7368,-382.1455 656.4133,-388.6136"/>
    100. 

  100. </g>
    101. 

  101. <!-- 7. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;pseudo0 -->
    102. 

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

  103. <title>7. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;pseudo0</title>
    104. 

  104. <path fill="none" stroke="#0000ff" d="M521.0577,-417.7283C509.8434,-397.6435 497.011,-365.6282 514.7422,-346 546.6598,-310.6677 890.1442,-298.7649 986.0178,-296.118"/>
    105. 

  105. <polygon fill="#0000ff" stroke="#0000ff" points="986.3035,-299.6117 996.2066,-295.8462 986.1168,-292.6142 986.3035,-299.6117"/>
    106. 

  106. </g>
    107. 

  107. <!-- 8. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;pseudo0 -->
    108. 

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

  109. <title>8. GettingRoomNumber&#45;&gt;GettingRoomNumber&#45;&gt;pseudo0</title>
    110. 

  110. <path fill="none" stroke="#0000ff" d="M780.3321,-347.4181C847.3773,-332.3108 942.4498,-310.8883 986.5464,-300.952"/>
    111. 

  111. <polygon fill="#0000ff" stroke="#0000ff" points="987.384,-304.3511 996.3701,-298.7385 985.8453,-297.5223 987.384,-304.3511"/>
    112. 

  112. </g>
    113. 

  113. <!-- 11. Initial&#45;&gt;EnteringMessage -->
    114. 

  114. <g id="node7" class="node">
    115. 

  115. <title>11. Initial&#45;&gt;EnteringMessage</title>
    116. 

  116. <ellipse fill="none" stroke="#000000" cx="848.7422" cy="-580" rx="115.0796" ry="18"/>
    117. 

  117. <text text-anchor="middle" x="848.7422" y="-576.3" font-family="Times,serif" font-size="14.00" fill="#000000">11. Initial&#45;&gt;EnteringMessage</text>
    118. 

  118. </g>
    119. 

  119. <!-- 12. Initial&#45;&gt;Leaving -->
    120. 

  120. <g id="node8" class="node">
    121. 

  121. <title>12. Initial&#45;&gt;Leaving</title>
    122. 

  122. <ellipse fill="none" stroke="#000000" cx="991.7422" cy="-508" rx="82.5854" ry="18"/>
    123. 

  123. <text text-anchor="middle" x="991.7422" y="-504.3" font-family="Times,serif" font-size="14.00" fill="#000000">12. Initial&#45;&gt;Leaving</text>
    124. 

  124. </g>
    125. 

  125. <!-- 11. Initial&#45;&gt;EnteringMessage&#45;&gt;12. Initial&#45;&gt;Leaving -->
    126. 

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

  127. <title>11. Initial&#45;&gt;EnteringMessage&#45;&gt;12. Initial&#45;&gt;Leaving</title>
    128. 

  128. <path fill="none" stroke="#00ff00" d="M882.9943,-562.7542C903.0037,-552.6795 928.4128,-539.8861 949.6375,-529.1996"/>
    129. 

  129. <polygon fill="#00ff00" stroke="#00ff00" points="951.3964,-532.2326 958.7542,-524.6094 948.2484,-525.9804 951.3964,-532.2326"/>
    130. 

  130. </g>
    131. 

  131. <!-- 11. Initial&#45;&gt;EnteringMessage&#45;&gt;pseudo0 -->
    132. 

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

  133. <title>11. Initial&#45;&gt;EnteringMessage&#45;&gt;pseudo0</title>
    134. 

  134. <path fill="none" stroke="#0000ff" d="M858.8863,-562.0612C869.1668,-543.8901 885.5375,-514.9784 899.7422,-490 935.4048,-427.2887 977.6851,-353.3025 998.2538,-317.3325"/>
    135. 

  135. <polygon fill="#0000ff" stroke="#0000ff" points="1001.5297,-318.6544 1003.456,-308.2361 995.4533,-315.1793 1001.5297,-318.6544"/>
    136. 

  136. </g>
    137. 

  137. <!-- 12. Initial&#45;&gt;Leaving&#45;&gt;pseudo0 -->
    138. 

  138. <g id="edge33" class="edge">
    139. 

  139. <title>12. Initial&#45;&gt;Leaving&#45;&gt;pseudo0</title>
    140. 

  140. <path fill="none" stroke="#0000ff" d="M993.3621,-489.8824C996.7634,-451.8421 1004.6528,-363.6048 1008.5219,-320.3321"/>
    141. 

  141. <polygon fill="#0000ff" stroke="#0000ff" points="1012.0308,-320.3884 1009.4353,-310.1165 1005.0586,-319.765 1012.0308,-320.3884"/>
    142. 

  142. </g>
    143. 

  143. <!-- 13. EnteringMessage&#45;&gt;EnteringMessage -->
    144. 

  144. <g id="node9" class="node">
    145. 

  145. <title>13. EnteringMessage&#45;&gt;EnteringMessage</title>
    146. 

  146. <ellipse fill="none" stroke="#000000" cx="1174.7422" cy="-580" rx="155.1726" ry="18"/>
    147. 

  147. <text text-anchor="middle" x="1174.7422" y="-576.3" font-family="Times,serif" font-size="14.00" fill="#000000">13. EnteringMessage&#45;&gt;EnteringMessage</text>
    148. 

  148. </g>
    149. 

  149. <!-- 14. EnteringMessage&#45;&gt;Initial -->
    150. 

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

  151. <title>14. EnteringMessage&#45;&gt;Initial</title>
    152. 

  152. <ellipse fill="none" stroke="#000000" cx="1248.7422" cy="-508" rx="115.0796" ry="18"/>
    153. 

  153. <text text-anchor="middle" x="1248.7422" y="-504.3" font-family="Times,serif" font-size="14.00" fill="#000000">14. EnteringMessage&#45;&gt;Initial</text>
    154. 

  154. </g>
    155. 

  155. <!-- 13. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;14. EnteringMessage&#45;&gt;Initial -->
    156. 

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

  157. <title>13. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;14. EnteringMessage&#45;&gt;Initial</title>
    158. 

  158. <path fill="none" stroke="#00ff00" d="M1193.4155,-561.8314C1202.423,-553.0673 1213.3691,-542.4171 1223.14,-532.9103"/>
    159. 

  159. <polygon fill="#00ff00" stroke="#00ff00" points="1225.6047,-535.3955 1230.3312,-525.9134 1220.7232,-530.3784 1225.6047,-535.3955"/>
    160. 

  160. </g>
    161. 

  161. <!-- 13. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;pseudo0 -->
    162. 

  162. <g id="edge34" class="edge">
    163. 

  163. <title>13. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;pseudo0</title>
    164. 

  164. <path fill="none" stroke="#0000ff" d="M1153.4071,-562.1117C1127.6786,-539.4529 1084.7781,-498.0229 1059.7422,-454 1034.7971,-410.1368 1021.0458,-352.0772 1014.8502,-319.7951"/>
    165. 

  165. <polygon fill="#0000ff" stroke="#0000ff" points="1018.2807,-319.0974 1013.0334,-309.8932 1011.3956,-320.3607 1018.2807,-319.0974"/>
    166. 

  166. </g>
    167. 

  167. <!-- 15. EnteringMessage&#45;&gt;EnteringMessage -->
    168. 

  168. <g id="node11" class="node">
    169. 

  169. <title>15. EnteringMessage&#45;&gt;EnteringMessage</title>
    170. 

  170. <ellipse fill="none" stroke="#000000" cx="1250.7422" cy="-436" rx="155.1726" ry="18"/>
    171. 

  171. <text text-anchor="middle" x="1250.7422" y="-432.3" font-family="Times,serif" font-size="14.00" fill="#000000">15. EnteringMessage&#45;&gt;EnteringMessage</text>
    172. 

  172. </g>
    173. 

  173. <!-- 14. EnteringMessage&#45;&gt;Initial&#45;&gt;15. EnteringMessage&#45;&gt;EnteringMessage -->
    174. 

  174. <g id="edge7" class="edge">
    175. 

  175. <title>14. EnteringMessage&#45;&gt;Initial&#45;&gt;15. EnteringMessage&#45;&gt;EnteringMessage</title>
    176. 

  176. <path fill="none" stroke="#00ff00" d="M1249.2469,-489.8314C1249.4608,-482.131 1249.7151,-472.9743 1249.9529,-464.4166"/>
    177. 

  177. <polygon fill="#00ff00" stroke="#00ff00" points="1253.4516,-464.5066 1250.2307,-454.4133 1246.4543,-464.3122 1253.4516,-464.5066"/>
    178. 

  178. </g>
    179. 

  179. <!-- 14. EnteringMessage&#45;&gt;Initial&#45;&gt;pseudo0 -->
    180. 

  180. <g id="edge35" class="edge">
    181. 

  181. <title>14. EnteringMessage&#45;&gt;Initial&#45;&gt;pseudo0</title>
    182. 

  182. <path fill="none" stroke="#0000ff" d="M1166.8521,-495.311C1138.6147,-487.4271 1108.6191,-474.6609 1086.7422,-454 1049.1808,-418.5264 1067.5475,-391.8535 1043.7422,-346 1038.3856,-335.6822 1031.4701,-324.8177 1025.3546,-315.8204"/>
    183. 

  183. <polygon fill="#0000ff" stroke="#0000ff" points="1028.1757,-313.7468 1019.5931,-307.5348 1022.4286,-317.7432 1028.1757,-313.7468"/>
    184. 

  184. </g>
    185. 

  185. <!-- 15. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;pseudo0 -->
    186. 

  186. <g id="edge36" class="edge">
    187. 

  187. <title>15. EnteringMessage&#45;&gt;EnteringMessage&#45;&gt;pseudo0</title>
    188. 

  188. <path fill="none" stroke="#0000ff" d="M1220.346,-418.2056C1171.0946,-389.373 1075.057,-333.1509 1032.2398,-308.085"/>
    189. 

  189. <polygon fill="#0000ff" stroke="#0000ff" points="1033.8797,-304.9895 1023.4815,-302.9578 1030.3432,-311.0304 1033.8797,-304.9895"/>
    190. 

  190. </g>
    191. 

  191. <!-- 18. ExpectingAnswer&#45;&gt;Pinging -->
    192. 

  192. <g id="node12" class="node">
    193. 

  193. <title>18. ExpectingAnswer&#45;&gt;Pinging</title>
    194. 

  194. <ellipse fill="none" stroke="#000000" cx="840.7422" cy="-227" rx="122.6784" ry="18"/>
    195. 

  195. <text text-anchor="middle" x="840.7422" y="-223.3" font-family="Times,serif" font-size="14.00" fill="#000000">18. ExpectingAnswer&#45;&gt;Pinging</text>
    196. 

  196. </g>
    197. 

  197. <!-- 19. ExpectingAnswer&#45;&gt;Initial -->
    198. 

  198. <g id="node13" class="node">
    199. 

  199. <title>19. ExpectingAnswer&#45;&gt;Initial</title>
    200. 

  200. <ellipse fill="none" stroke="#000000" cx="855.7422" cy="-155" rx="116.1796" ry="18"/>
    201. 

  201. <text text-anchor="middle" x="855.7422" y="-151.3" font-family="Times,serif" font-size="14.00" fill="#000000">19. ExpectingAnswer&#45;&gt;Initial</text>
    202. 

  202. </g>
    203. 

  203. <!-- 18. ExpectingAnswer&#45;&gt;Pinging&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    204. 

  204. <g id="edge8" class="edge">
    205. 

  205. <title>18. ExpectingAnswer&#45;&gt;Pinging&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    206. 

  206. <path fill="none" stroke="#00ff00" d="M844.5273,-208.8314C846.1316,-201.131 848.0392,-191.9743 849.8221,-183.4166"/>
    207. 

  207. <polygon fill="#00ff00" stroke="#00ff00" points="853.2929,-183.9169 851.9061,-173.4133 846.4401,-182.4892 853.2929,-183.9169"/>
    208. 

  208. </g>
    209. 

  209. <!-- pseudo1 -->
    210. 

  210. <g id="node22" class="node">
    211. 

  211. <title>pseudo1</title>
    212. 

  212. <ellipse fill="#c0c0c0" stroke="#000000" cx="963.7422" cy="-86.5" rx="14.5" ry="14.5"/>
    213. 

  213. </g>
    214. 

  214. <!-- 18. ExpectingAnswer&#45;&gt;Pinging&#45;&gt;pseudo1 -->
    215. 

  215. <g id="edge43" class="edge">
    216. 

  216. <title>18. ExpectingAnswer&#45;&gt;Pinging&#45;&gt;pseudo1</title>
    217. 

  217. <path fill="none" stroke="#0000ff" d="M780.2273,-211.274C761.0462,-203.1235 741.9365,-190.9658 730.7422,-173 722.2809,-159.4204 720.698,-149.4544 730.7422,-137 756.7527,-104.7481 884.5862,-92.0554 939.0712,-88.0547"/>
    218. 

  218. <polygon fill="#0000ff" stroke="#0000ff" points="939.4975,-91.5336 949.2305,-87.3481 939.0117,-84.5505 939.4975,-91.5336"/>
    219. 

  219. </g>
    220. 

  220. <!-- 19. ExpectingAnswer&#45;&gt;Initial&#45;&gt;pseudo1 -->
    221. 

  221. <g id="edge44" class="edge">
    222. 

  222. <title>19. ExpectingAnswer&#45;&gt;Initial&#45;&gt;pseudo1</title>
    223. 

  223. <path fill="none" stroke="#0000ff" d="M883.5549,-137.3595C902.0117,-125.6531 925.8539,-110.531 942.729,-99.8278"/>
    224. 

  224. <polygon fill="#0000ff" stroke="#0000ff" points="944.7388,-102.6978 951.3088,-94.386 940.9895,-96.7865 944.7388,-102.6978"/>
    225. 

  225. </g>
    226. 

  226. <!-- 3. Connected&#45;&gt;Connecting -->
    227. 

  227. <g id="node14" class="node">
    228. 

  228. <title>3. Connected&#45;&gt;Connecting</title>
    229. 

  229. <ellipse fill="none" stroke="#000000" cx="1174.7422" cy="-652" rx="106.6812" ry="18"/>
    230. 

  230. <text text-anchor="middle" x="1174.7422" y="-648.3" font-family="Times,serif" font-size="14.00" fill="#000000">3. Connected&#45;&gt;Connecting</text>
    231. 

  231. </g>
    232. 

  232. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;5. GettingRoomNumber&#45;&gt;GettingRoomNumber -->
    233. 

  233. <g id="edge10" class="edge">
    234. 

  234. <title>3. Connected&#45;&gt;Connecting&#45;&gt;5. GettingRoomNumber&#45;&gt;GettingRoomNumber</title>
    235. 

  235. <path fill="none" stroke="#ff0000" d="M1081.663,-643.1353C951.3569,-630.7252 713.4425,-608.0667 560.8881,-593.5377"/>
    236. 

  236. <polygon fill="#ff0000" stroke="#ff0000" points="560.7967,-590.0132 550.5099,-592.5493 560.133,-596.9817 560.7967,-590.0132"/>
    237. 

  237. </g>
    238. 

  238. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;6. GettingRoomNumber&#45;&gt;JoiningOrJoined -->
    239. 

  239. <g id="edge11" class="edge">
    240. 

  240. <title>3. Connected&#45;&gt;Connecting&#45;&gt;6. GettingRoomNumber&#45;&gt;JoiningOrJoined</title>
    241. 

  241. <path fill="none" stroke="#ff0000" d="M1070.209,-648.3772C940.1861,-642.6305 726.4496,-628.753 653.7422,-598 630.7866,-588.2905 632.1361,-574.7882 610.7422,-562 588.4615,-548.6817 562.2979,-537.3499 538.9659,-528.5577"/>
    242. 

  242. <polygon fill="#ff0000" stroke="#ff0000" points="540.0942,-525.2434 529.5008,-525.0696 537.6737,-531.8117 540.0942,-525.2434"/>
    243. 

  243. </g>
    244. 

  244. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;7. GettingRoomNumber&#45;&gt;GettingRoomNumber -->
    245. 

  245. <g id="edge12" class="edge">
    246. 

  246. <title>3. Connected&#45;&gt;Connecting&#45;&gt;7. GettingRoomNumber&#45;&gt;GettingRoomNumber</title>
    247. 

  247. <path fill="none" stroke="#ff0000" d="M1073.6232,-646.2156C940.959,-637.7896 721.4288,-620.6436 691.7422,-598 650.6633,-566.667 684.223,-527.5546 648.7422,-490 635.5485,-476.0352 618.0303,-465.3428 600.6153,-457.3057"/>
    248. 

  248. <polygon fill="#ff0000" stroke="#ff0000" points="601.5449,-453.8931 590.979,-453.1099 598.7503,-460.3111 601.5449,-453.8931"/>
    249. 

  249. </g>
    250. 

  250. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;8. GettingRoomNumber&#45;&gt;GettingRoomNumber -->
    251. 

  251. <g id="edge13" class="edge">
    252. 

  252. <title>3. Connected&#45;&gt;Connecting&#45;&gt;8. GettingRoomNumber&#45;&gt;GettingRoomNumber</title>
    253. 

  253. <path fill="none" stroke="#ff0000" d="M1072.5307,-646.793C946.8962,-639.3268 747.4413,-623.5859 724.7422,-598 671.6505,-538.1563 737.5568,-496.967 724.7422,-418 723.3242,-409.2621 720.6947,-400.0275 717.8751,-391.7136"/>
    254. 

  254. <polygon fill="#ff0000" stroke="#ff0000" points="721.1002,-390.3399 714.4101,-382.1244 714.5168,-392.7187 721.1002,-390.3399"/>
    255. 

  255. </g>
    256. 

  256. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;11. Initial&#45;&gt;EnteringMessage -->
    257. 

  257. <g id="edge16" class="edge">
    258. 

  258. <title>3. Connected&#45;&gt;Connecting&#45;&gt;11. Initial&#45;&gt;EnteringMessage</title>
    259. 

  259. <path fill="none" stroke="#ff0000" d="M1109.9453,-637.689C1056.7815,-625.9473 981.397,-609.298 925.2678,-596.9014"/>
    260. 

  260. <polygon fill="#ff0000" stroke="#ff0000" points="925.8943,-593.4555 915.3748,-594.7164 924.3846,-600.2907 925.8943,-593.4555"/>
    261. 

  261. </g>
    262. 

  262. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;12. Initial&#45;&gt;Leaving -->
    263. 

  263. <g id="edge17" class="edge">
    264. 

  264. <title>3. Connected&#45;&gt;Connecting&#45;&gt;12. Initial&#45;&gt;Leaving</title>
    265. 

  265. <path fill="none" stroke="#ff0000" d="M1109.8205,-637.6479C1070.111,-627.5805 1024.3913,-613.24 1010.7422,-598 995.8199,-581.3383 991.5387,-555.9679 990.7215,-536.4057"/>
    266. 

  266. <polygon fill="#ff0000" stroke="#ff0000" points="994.2188,-536.1774 990.5784,-526.2276 987.2195,-536.2759 994.2188,-536.1774"/>
    267. 

  267. </g>
    268. 

  268. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;13. EnteringMessage&#45;&gt;EnteringMessage -->
    269. 

  269. <g id="edge18" class="edge">
    270. 

  270. <title>3. Connected&#45;&gt;Connecting&#45;&gt;13. EnteringMessage&#45;&gt;EnteringMessage</title>
    271. 

  271. <path fill="none" stroke="#ff0000" d="M1174.7422,-633.8314C1174.7422,-626.131 1174.7422,-616.9743 1174.7422,-608.4166"/>
    272. 

  272. <polygon fill="#ff0000" stroke="#ff0000" points="1178.2423,-608.4132 1174.7422,-598.4133 1171.2423,-608.4133 1178.2423,-608.4132"/>
    273. 

  273. </g>
    274. 

  274. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;14. EnteringMessage&#45;&gt;Initial -->
    275. 

  275. <g id="edge19" class="edge">
    276. 

  276. <title>3. Connected&#45;&gt;Connecting&#45;&gt;14. EnteringMessage&#45;&gt;Initial</title>
    277. 

  277. <path fill="none" stroke="#ff0000" d="M1242.516,-638.0915C1282.2555,-628.4086 1326.9252,-614.3321 1338.7422,-598 1348.1213,-585.0373 1346.6254,-575.9232 1338.7422,-562 1330.9357,-548.2122 1318.0491,-537.5609 1304.434,-529.5059"/>
    278. 

  278. <polygon fill="#ff0000" stroke="#ff0000" points="1305.8809,-526.3081 1295.4279,-524.5808 1302.5223,-532.4497 1305.8809,-526.3081"/>
    279. 

  279. </g>
    280. 

  280. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;15. EnteringMessage&#45;&gt;EnteringMessage -->
    281. 

  281. <g id="edge20" class="edge">
    282. 

  282. <title>3. Connected&#45;&gt;Connecting&#45;&gt;15. EnteringMessage&#45;&gt;EnteringMessage</title>
    283. 

  283. <path fill="none" stroke="#ff0000" d="M1245.7199,-638.4339C1289.5734,-628.6544 1340.3265,-614.338 1355.7422,-598 1389.0893,-562.658 1399.2511,-530.723 1372.7422,-490 1363.024,-475.0709 1348.1344,-464.2382 1332.0576,-456.388"/>
    284. 

  284. <polygon fill="#ff0000" stroke="#ff0000" points="1333.042,-452.994 1322.4847,-452.1021 1330.1816,-459.3829 1333.042,-452.994"/>
    285. 

  285. </g>
    286. 

  286. <!-- 4. NotJoined&#45;&gt;GettingRoomNumber -->
    287. 

  287. <g id="node15" class="node">
    288. 

  288. <title>4. NotJoined&#45;&gt;GettingRoomNumber</title>
    289. 

  289. <ellipse fill="none" stroke="#000000" cx="1603.7422" cy="-508" rx="141.8751" ry="18"/>
    290. 

  290. <text text-anchor="middle" x="1603.7422" y="-504.3" font-family="Times,serif" font-size="14.00" fill="#000000">4. NotJoined&#45;&gt;GettingRoomNumber</text>
    291. 

  291. </g>
    292. 

  292. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;4. NotJoined&#45;&gt;GettingRoomNumber -->
    293. 

  293. <g id="edge9" class="edge">
    294. 

  294. <title>3. Connected&#45;&gt;Connecting&#45;&gt;4. NotJoined&#45;&gt;GettingRoomNumber</title>
    295. 

  295. <path fill="none" stroke="#ff0000" d="M1263.4437,-641.9571C1317.8586,-633.9758 1388.2657,-620.3382 1447.7422,-598 1492.6325,-581.1401 1539.7238,-552.1812 1570.2686,-531.6703"/>
    296. 

  296. <polygon fill="#ff0000" stroke="#ff0000" points="1572.5095,-534.3792 1578.8124,-525.863 1568.5744,-528.5899 1572.5095,-534.3792"/>
    297. 

  297. </g>
    298. 

  298. <!-- 9. Leaving&#45;&gt;NotJoined -->
    299. 

  299. <g id="node16" class="node">
    300. 

  300. <title>9. Leaving&#45;&gt;NotJoined</title>
    301. 

  301. <ellipse fill="none" stroke="#000000" cx="1641.7422" cy="-436" rx="92.8835" ry="18"/>
    302. 

  302. <text text-anchor="middle" x="1641.7422" y="-432.3" font-family="Times,serif" font-size="14.00" fill="#000000">9. Leaving&#45;&gt;NotJoined</text>
    303. 

  303. </g>
    304. 

  304. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;9. Leaving&#45;&gt;NotJoined -->
    305. 

  305. <g id="edge14" class="edge">
    306. 

  306. <title>3. Connected&#45;&gt;Connecting&#45;&gt;9. Leaving&#45;&gt;NotJoined</title>
    307. 

  307. <path fill="none" stroke="#ff0000" d="M1274.5014,-645.5006C1424.7332,-633.3463 1697.6164,-601.2507 1754.7422,-526 1764.4166,-513.2561 1763.2751,-503.5348 1754.7422,-490 1744.3741,-473.5541 1727.4635,-462.0089 1709.8454,-453.9473"/>
    308. 

  308. <polygon fill="#ff0000" stroke="#ff0000" points="1711.1726,-450.7085 1700.5988,-450.0416 1708.4488,-457.1568 1711.1726,-450.7085"/>
    309. 

  309. </g>
    310. 

  310. <!-- 10. Joining&#45;&gt;H -->
    311. 

  311. <g id="node17" class="node">
    312. 

  312. <title>10. Joining&#45;&gt;H</title>
    313. 

  313. <ellipse fill="none" stroke="#000000" cx="1602.7422" cy="-364" rx="64.9885" ry="18"/>
    314. 

  314. <text text-anchor="middle" x="1602.7422" y="-360.3" font-family="Times,serif" font-size="14.00" fill="#000000">10. Joining&#45;&gt;H</text>
    315. 

  315. </g>
    316. 

  316. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;10. Joining&#45;&gt;H -->
    317. 

  317. <g id="edge15" class="edge">
    318. 

  318. <title>3. Connected&#45;&gt;Connecting&#45;&gt;10. Joining&#45;&gt;H</title>
    319. 

  319. <path fill="none" stroke="#ff0000" d="M1276.9658,-646.8041C1400.1637,-639.5053 1599.2885,-624.1011 1668.7422,-598 1721.0255,-578.3516 1745.9324,-575.5324 1771.7422,-526 1794.6563,-482.0249 1778.8955,-452.973 1743.7422,-418 1731.0571,-405.38 1691.801,-390.8626 1657.9218,-380.0607"/>
    320. 

  320. <polygon fill="#ff0000" stroke="#ff0000" points="1658.6659,-376.6261 1648.0769,-376.9759 1656.5729,-383.3059 1658.6659,-376.6261"/>
    321. 

  321. </g>
    322. 

  322. <!-- 3. Connected&#45;&gt;Connecting&#45;&gt;pseudo0 -->
    323. 

  323. <g id="edge24" class="edge">
    324. 

  324. <title>3. Connected&#45;&gt;Connecting&#45;&gt;pseudo0</title>
    325. 

  325. <path fill="none" stroke="#0000ff" d="M1248.5839,-638.9719C1299.1548,-628.8992 1360.7294,-614.0082 1381.7422,-598 1418.4898,-570.0046 1433.7422,-554.1966 1433.7422,-508 1433.7422,-508 1433.7422,-508 1433.7422,-436 1433.7422,-351.5017 1125.8985,-308.9221 1035.448,-298.235"/>
    326. 

  326. <polygon fill="#0000ff" stroke="#0000ff" points="1035.6383,-294.7338 1025.3028,-297.0635 1034.8353,-301.6876 1035.6383,-294.7338"/>
    327. 

  327. </g>
    328. 

  328. <!-- 4. NotJoined&#45;&gt;GettingRoomNumber&#45;&gt;pseudo0 -->
    329. 

  329. <g id="edge25" class="edge">
    330. 

  330. <title>4. NotJoined&#45;&gt;GettingRoomNumber&#45;&gt;pseudo0</title>
    331. 

  331. <path fill="none" stroke="#0000ff" d="M1580.7355,-490.1215C1568.1828,-479.9945 1552.6222,-466.8194 1539.7422,-454 1517.3965,-431.7594 1475.5578,-360.8415 1447.7422,-346 1375.5043,-307.4562 1117.7159,-298.0518 1035.871,-296.0136"/>
    332. 

  332. <polygon fill="#0000ff" stroke="#0000ff" points="1035.6066,-292.5065 1025.5277,-295.7726 1035.4434,-299.5046 1035.6066,-292.5065"/>
    333. 

  333. </g>
    334. 

  334. <!-- 9. Leaving&#45;&gt;NotJoined&#45;&gt;pseudo0 -->
    335. 

  335. <g id="edge30" class="edge">
    336. 

  336. <title>9. Leaving&#45;&gt;NotJoined&#45;&gt;pseudo0</title>
    337. 

  337. <path fill="none" stroke="#0000ff" d="M1601.4806,-419.7138C1579.3004,-410.0235 1551.6948,-396.7575 1528.7422,-382 1507.7771,-368.5204 1508.685,-355.7398 1485.7422,-346 1403.2875,-310.9958 1121.7394,-299.1077 1035.8333,-296.2488"/>
    338. 

  338. <polygon fill="#0000ff" stroke="#0000ff" points="1035.8048,-292.7462 1025.6977,-295.9237 1035.5803,-299.7426 1035.8048,-292.7462"/>
    339. 

  339. </g>
    340. 

  340. <!-- 10. Joining&#45;&gt;H&#45;&gt;pseudo0 -->
    341. 

  341. <g id="edge31" class="edge">
    342. 

  342. <title>10. Joining&#45;&gt;H&#45;&gt;pseudo0</title>
    343. 

  343. <path fill="none" stroke="#0000ff" d="M1554.0462,-351.8951C1544.0669,-349.6996 1533.6004,-347.6018 1523.7422,-346 1337.6349,-315.761 1110.3968,-301.0906 1035.7798,-296.8444"/>
    344. 

  344. <polygon fill="#0000ff" stroke="#0000ff" points="1035.7007,-293.3346 1025.5213,-296.2721 1035.3108,-300.3237 1035.7007,-293.3346"/>
    345. 

  345. </g>
    346. 

  346. <!-- pseudo0&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging -->
    347. 

  347. <g id="edge39" class="edge">
    348. 

  348. <title>pseudo0&#45;&gt;18. ExpectingAnswer&#45;&gt;Pinging</title>
    349. 

  349. <path fill="none" stroke="#0000ff" d="M997.1178,-290.0102C974.6242,-280.9466 928.5963,-262.4 892.2727,-247.7638"/>
    350. 

  350. <polygon fill="#0000ff" stroke="#0000ff" points="893.3746,-244.4343 882.7911,-243.9432 890.7583,-250.9271 893.3746,-244.4343"/>
    351. 

  351. </g>
    352. 

  352. <!-- pseudo0&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial -->
    353. 

  353. <g id="edge40" class="edge">
    354. 

  354. <title>pseudo0&#45;&gt;19. ExpectingAnswer&#45;&gt;Initial</title>
    355. 

  355. <path fill="none" stroke="#0000ff" d="M1007.7762,-281.1528C1003.2247,-262.3839 992.8509,-229.4838 972.7422,-209 958.2625,-194.2502 938.9951,-183.1134 920.2817,-174.9028"/>
    356. 

  356. <polygon fill="#0000ff" stroke="#0000ff" points="921.4474,-171.597 910.8701,-170.9885 918.7594,-178.0603 921.4474,-171.597"/>
    357. 

  357. </g>
    358. 

  358. <!-- 16. Initial&#45;&gt;Pinging -->
    359. 

  359. <g id="node20" class="node">
    360. 

  360. <title>16. Initial&#45;&gt;Pinging</title>
    361. 

  361. <ellipse fill="none" stroke="#000000" cx="1071.7422" cy="-155" rx="81.4863" ry="18"/>
    362. 

  362. <text text-anchor="middle" x="1071.7422" y="-151.3" font-family="Times,serif" font-size="14.00" fill="#000000">16. Initial&#45;&gt;Pinging</text>
    363. 

  363. </g>
    364. 

  364. <!-- pseudo0&#45;&gt;16. Initial&#45;&gt;Pinging -->
    365. 

  365. <g id="edge37" class="edge">
    366. 

  366. <title>pseudo0&#45;&gt;16. Initial&#45;&gt;Pinging</title>
    367. 

  367. <path fill="none" stroke="#0000ff" d="M1016.5912,-282.0283C1026.504,-259.1963 1046.7932,-212.4646 1059.8061,-182.4921"/>
    368. 

  368. <polygon fill="#0000ff" stroke="#0000ff" points="1063.1427,-183.5955 1063.9148,-173.0288 1056.7218,-180.8077 1063.1427,-183.5955"/>
    369. 

  369. </g>
    370. 

  370. <!-- 17. Pinging&#45;&gt;ExpectingAnswer -->
    371. 

  371. <g id="node21" class="node">
    372. 

  372. <title>17. Pinging&#45;&gt;ExpectingAnswer</title>
    373. 

  373. <ellipse fill="none" stroke="#000000" cx="1180.7422" cy="-227" rx="122.6784" ry="18"/>
    374. 

  374. <text text-anchor="middle" x="1180.7422" y="-223.3" font-family="Times,serif" font-size="14.00" fill="#000000">17. Pinging&#45;&gt;ExpectingAnswer</text>
    375. 

  375. </g>
    376. 

  376. <!-- pseudo0&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer -->
    377. 

  377. <g id="edge38" class="edge">
    378. 

  378. <title>pseudo0&#45;&gt;17. Pinging&#45;&gt;ExpectingAnswer</title>
    379. 

  379. <path fill="none" stroke="#0000ff" d="M1024.3667,-290.0102C1046.8602,-280.9466 1092.8882,-262.4 1129.2117,-247.7638"/>
    380. 

  380. <polygon fill="#0000ff" stroke="#0000ff" points="1130.7261,-250.9271 1138.6933,-243.9432 1128.1098,-244.4343 1130.7261,-250.9271"/>
    381. 

  381. </g>
    382. 

  382. <!-- 0. Initial&#45;&gt;TryingConnect -->
    383. 

  383. <g id="node19" class="node">
    384. 

  384. <title>0. Initial&#45;&gt;TryingConnect</title>
    385. 

  385. <ellipse fill="none" stroke="#000000" cx="1788.7422" cy="-364" rx="102.8821" ry="18"/>
    386. 

  386. <text text-anchor="middle" x="1788.7422" y="-360.3" font-family="Times,serif" font-size="14.00" fill="#000000">0. Initial&#45;&gt;TryingConnect</text>
    387. 

  387. </g>
    388. 

  388. <!-- 0. Initial&#45;&gt;TryingConnect&#45;&gt;pseudo0 -->
    389. 

  389. <g id="edge21" class="edge">
    390. 

  390. <title>0. Initial&#45;&gt;TryingConnect&#45;&gt;pseudo0</title>
    391. 

  391. <path fill="none" stroke="#0000ff" d="M1715.666,-351.3523C1702.7252,-349.3708 1689.3572,-347.4893 1676.7422,-346 1427.1616,-316.5344 1122.8255,-300.7649 1035.33,-296.6203"/>
    392. 

  392. <polygon fill="#0000ff" stroke="#0000ff" points="1035.4673,-293.123 1025.3148,-296.1521 1035.1404,-300.1153 1035.4673,-293.123"/>
    393. 

  393. </g>
    394. 

  394. <!-- 16. Initial&#45;&gt;Pinging&#45;&gt;pseudo1 -->
    395. 

  395. <g id="edge41" class="edge">
    396. 

  396. <title>16. Initial&#45;&gt;Pinging&#45;&gt;pseudo1</title>
    397. 

  397. <path fill="none" stroke="#0000ff" d="M1044.7678,-137.8913C1026.2118,-126.1219 1001.9193,-110.7142 984.7895,-99.8494"/>
    398. 

  398. <polygon fill="#0000ff" stroke="#0000ff" points="986.411,-96.7333 976.0917,-94.3328 982.6617,-102.6446 986.411,-96.7333"/>
    399. 

  399. </g>
    400. 

  400. <!-- 17. Pinging&#45;&gt;ExpectingAnswer&#45;&gt;pseudo1 -->
    401. 

  401. <g id="edge42" class="edge">
    402. 

  402. <title>17. Pinging&#45;&gt;ExpectingAnswer&#45;&gt;pseudo1</title>
    403. 

  403. <path fill="none" stroke="#0000ff" d="M1182.1434,-208.9087C1182.6637,-188.6821 1180.203,-156.2465 1161.7422,-137 1137.8778,-112.1198 1036.1199,-95.9097 988.5009,-89.546"/>
    404. 

  404. <polygon fill="#0000ff" stroke="#0000ff" points="988.7881,-86.0541 978.421,-88.2387 987.8877,-92.9959 988.7881,-86.0541"/>
    405. 

  405. </g>
    406. 

  406. <!-- 20. Receiving&#45;&gt;Receiving -->
    407. 

  407. <g id="node23" class="node">
    408. 

  408. <title>20. Receiving&#45;&gt;Receiving</title>
    409. 

  409. <ellipse fill="none" stroke="#000000" cx="963.7422" cy="-18" rx="103.9815" ry="18"/>
    410. 

  410. <text text-anchor="middle" x="963.7422" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">20. Receiving&#45;&gt;Receiving</text>
    411. 

  411. </g>
    412. 

  412. <!-- pseudo1&#45;&gt;20. Receiving&#45;&gt;Receiving -->
    413. 

  413. <g id="edge45" class="edge">
    414. 

  414. <title>pseudo1&#45;&gt;20. Receiving&#45;&gt;Receiving</title>
    415. 

  415. <path fill="none" stroke="#0000ff" d="M963.7422,-71.9729C963.7422,-64.4645 963.7422,-55.0377 963.7422,-46.1722"/>
    416. 

  416. <polygon fill="#0000ff" stroke="#0000ff" points="967.2423,-46.1713 963.7422,-36.1713 960.2423,-46.1713 967.2423,-46.1713"/>
    417. 

  417. </g>
    418. 

  418. </g>
    419. 

  419. </svg>
    420. 

  420.