API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Feb 24th, 2014
103
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
XML 48.81 KB | None | 0 0
raw download clone embed print report
  1. //////////////////////////////// Using DOT from the library ////////////////////////////////////////
  2.  
  3. <?xml version="1.0" encoding="UTF-8" standalone="no"?>
  4. <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  5. "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
  6. <!-- Generated by graphviz version 2.26.3 (20100126.1600)
  7. -->
  8. <!-- Title: N Pages: 1 -->
  9. <svg width="49pt" height="160pt"
  10. viewBox="0.00 0.00 49.00 160.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
  11. <g id="graph1" class="graph" transform="scale(1 1) rotate(0) translate(4 156)">
  12. <title>N</title>
  13. <polygon fill="white" stroke="white" points="-4,5 -4,-156 46,-156 46,5 -4,5"/>
  14. <g id="graph2" class="cluster"><title>cluster1</title>
  15. </g>
  16. <!-- p2 -->
  17. <g id="node1" class="node"><title>p2</title>
  18. <ellipse fill="white" stroke="black" cx="19" cy="-17" rx="0" ry="0.5"/>
  19. </g>
  20. <!-- p2_l -->
  21. <!-- p2_l&#45;&gt;p2 -->
  22. <g id="edge2" class="edge"><title>p2_l&#45;&gt;p2</title>
  23. <path fill="none" stroke="white" d="M19.9077,-26.0771C19.7066,-24.0657 19.2331,-19.3305 19.0626,-17.6255"/>
  24. <text text-anchor="middle" x="24.1696" y="-24.6231" font-family="Helvetica,sans-Serif" font-size="14.00">final</text>
  25. </g>
  26. <!-- p6 -->
  27. <g id="node4" class="node"><title>p6</title>
  28. <ellipse fill="black" stroke="black" cx="21" cy="-121" rx="0.444444" ry="0.5"/>
  29. <ellipse fill="none" stroke="black" cx="21" cy="-121" rx="4" ry="4.5"/>
  30. </g>
  31. <!-- t2 -->
  32. <g id="node34" class="node"><title>t2</title>
  33. <polygon fill="white" stroke="black" points="20,-107.5 20,-107.5 20,-106.5 20,-106.5 20,-107.5"/>
  34. </g>
  35. <!-- p6&#45;&gt;t2 -->
  36. <g id="edge43" class="edge"><title>p6&#45;&gt;t2</title>
  37. <path fill="none" stroke="black" d="M20.6614,-116.26C20.6541,-116.157 20.6467,-116.053 20.6392,-115.949"/>
  38. <polygon fill="black" stroke="black" points="24.2399,-117.232 20.0362,-107.507 17.2577,-117.731 24.2399,-117.232"/>
  39. </g>
  40. <!-- p6_l -->
  41. <!-- p6_l&#45;&gt;p6 -->
  42. <g id="edge4" class="edge"><title>p6_l&#45;&gt;p6</title>
  43. <path fill="none" stroke="white" d="M21,-134.398C21,-132.891 21,-128.84 21,-125.584"/>
  44. <text text-anchor="middle" x="25.2262" y="-133.047" font-family="Helvetica,sans-Serif" font-size="14.00">init</text>
  45. </g>
  46. <!-- p11 -->
  47. <g id="node7" class="node"><title>p11</title>
  48. <ellipse fill="white" stroke="black" cx="21" cy="-97" rx="0" ry="0.5"/>
  49. </g>
  50. <!-- t1 -->
  51. <g id="node37" class="node"><title>t1</title>
  52. <polygon fill="white" stroke="black" points="21,-87.5 21,-87.5 21,-86.5 21,-86.5 21,-87.5"/>
  53. </g>
  54. <!-- p11&#45;&gt;t1 -->
  55. <g id="edge47" class="edge"><title>p11&#45;&gt;t1</title>
  56. <path fill="none" stroke="black" d="M21,-96.0771C21,-95.9514 21,-95.8151 21,-95.6695"/>
  57. <polygon fill="black" stroke="black" points="24.5001,-97.6255 21,-87.6255 17.5001,-97.6256 24.5001,-97.6255"/>
  58. </g>
  59. <!-- p11_l -->
  60. <!-- p11_l&#45;&gt;p11 -->
  61. <g id="edge6" class="edge"><title>p11_l&#45;&gt;p11</title>
  62. <path fill="none" stroke="white" d="M21,-106.077C21,-104.066 21,-99.3305 21,-97.6255"/>
  63. <text text-anchor="middle" x="25.2262" y="-105.089" font-family="Helvetica,sans-Serif" font-size="14.00">p1</text>
  64. </g>
  65. <!-- p8 -->
  66. <g id="node10" class="node"><title>p8</title>
  67. <ellipse fill="white" stroke="black" cx="19" cy="-97" rx="0" ry="0.5"/>
  68. </g>
  69. <!-- t7 -->
  70. <g id="node40" class="node"><title>t7</title>
  71. <polygon fill="white" stroke="black" points="19,-87.5 19,-87.5 19,-86.5 19,-86.5 19,-87.5"/>
  72. </g>
  73. <!-- p8&#45;&gt;t7 -->
  74. <g id="edge49" class="edge"><title>p8&#45;&gt;t7</title>
  75. <path fill="none" stroke="black" d="M19,-96.0771C19,-95.9514 19,-95.8151 19,-95.6695"/>
  76. <polygon fill="black" stroke="black" points="22.5001,-97.6255 19,-87.6255 15.5001,-97.6256 22.5001,-97.6255"/>
  77. </g>
  78. <!-- p8_l -->
  79. <!-- p8_l&#45;&gt;p8 -->
  80. <g id="edge8" class="edge"><title>p8_l&#45;&gt;p8</title>
  81. <path fill="none" stroke="white" d="M19,-106.077C19,-104.066 19,-99.3305 19,-97.6255"/>
  82. <text text-anchor="middle" x="23.2262" y="-105.089" font-family="Helvetica,sans-Serif" font-size="14.00">p2</text>
  83. </g>
  84. <!-- p7 -->
  85. <g id="node13" class="node"><title>p7</title>
  86. <ellipse fill="white" stroke="black" cx="22" cy="-77" rx="0" ry="0.5"/>
  87. </g>
  88. <!-- t8 -->
  89. <g id="node43" class="node"><title>t8</title>
  90. <polygon fill="white" stroke="black" points="21,-67.5 21,-67.5 21,-66.5 21,-66.5 21,-67.5"/>
  91. </g>
  92. <!-- p7&#45;&gt;t8 -->
  93. <g id="edge55" class="edge"><title>p7&#45;&gt;t8</title>
  94. <path fill="none" stroke="black" d="M21.9077,-76.0771C21.8951,-75.9514 21.8815,-75.8151 21.8669,-75.6695"/>
  95. <polygon fill="black" stroke="black" points="25.5403,-77.2276 21.0626,-67.6255 18.5751,-77.9242 25.5403,-77.2276"/>
  96. </g>
  97. <!-- p7_l -->
  98. <!-- p7_l&#45;&gt;p7 -->
  99. <g id="edge10" class="edge"><title>p7_l&#45;&gt;p7</title>
  100. <path fill="none" stroke="white" d="M22,-86.0771C22,-84.0657 22,-79.3305 22,-77.6255"/>
  101. <text text-anchor="middle" x="26.2262" y="-85.0886" font-family="Helvetica,sans-Serif" font-size="14.00">p3</text>
  102. </g>
  103. <!-- p10 -->
  104. <g id="node16" class="node"><title>p10</title>
  105. <ellipse fill="white" stroke="black" cx="20" cy="-77" rx="0" ry="0.5"/>
  106. </g>
  107. <!-- t6 -->
  108. <g id="node46" class="node"><title>t6</title>
  109. <polygon fill="white" stroke="black" points="20,-67.5 20,-67.5 20,-66.5 20,-66.5 20,-67.5"/>
  110. </g>
  111. <!-- p10&#45;&gt;t6 -->
  112. <g id="edge57" class="edge"><title>p10&#45;&gt;t6</title>
  113. <path fill="none" stroke="black" d="M20,-76.0771C20,-75.9514 20,-75.8151 20,-75.6695"/>
  114. <polygon fill="black" stroke="black" points="23.5001,-77.6255 20,-67.6255 16.5001,-77.6256 23.5001,-77.6255"/>
  115. </g>
  116. <!-- p10_l -->
  117. <!-- p10_l&#45;&gt;p10 -->
  118. <g id="edge12" class="edge"><title>p10_l&#45;&gt;p10</title>
  119. <path fill="none" stroke="white" d="M20,-86.0771C20,-84.0657 20,-79.3305 20,-77.6255"/>
  120. <text text-anchor="middle" x="24.2262" y="-85.0886" font-family="Helvetica,sans-Serif" font-size="14.00">p4</text>
  121. </g>
  122. <!-- p9 -->
  123. <g id="node19" class="node"><title>p9</title>
  124. <ellipse fill="white" stroke="black" cx="18" cy="-77" rx="0" ry="0.5"/>
  125. </g>
  126. <!-- t3 -->
  127. <g id="node49" class="node"><title>t3</title>
  128. <polygon fill="white" stroke="black" points="18,-67.5 18,-67.5 18,-66.5 18,-66.5 18,-67.5"/>
  129. </g>
  130. <!-- p9&#45;&gt;t3 -->
  131. <g id="edge61" class="edge"><title>p9&#45;&gt;t3</title>
  132. <path fill="none" stroke="black" d="M18,-76.0771C18,-75.9514 18,-75.8151 18,-75.6695"/>
  133. <polygon fill="black" stroke="black" points="21.5001,-77.6255 18,-67.6255 14.5001,-77.6256 21.5001,-77.6255"/>
  134. </g>
  135. <!-- p9_l -->
  136. <!-- p9_l&#45;&gt;p9 -->
  137. <g id="edge14" class="edge"><title>p9_l&#45;&gt;p9</title>
  138. <path fill="none" stroke="white" d="M18,-86.0771C18,-84.0657 18,-79.3305 18,-77.6255"/>
  139. <text text-anchor="middle" x="22.2262" y="-85.0886" font-family="Helvetica,sans-Serif" font-size="14.00">p5</text>
  140. </g>
  141. <!-- p3 -->
  142. <g id="node22" class="node"><title>p3</title>
  143. <ellipse fill="white" stroke="black" cx="20" cy="-57" rx="0" ry="0.5"/>
  144. </g>
  145. <!-- t4 -->
  146. <g id="node52" class="node"><title>t4</title>
  147. <polygon fill="white" stroke="black" points="19,-47.5 19,-47.5 19,-46.5 19,-46.5 19,-47.5"/>
  148. </g>
  149. <!-- p3&#45;&gt;t4 -->
  150. <g id="edge67" class="edge"><title>p3&#45;&gt;t4</title>
  151. <path fill="none" stroke="black" d="M19.9077,-56.0771C19.8951,-55.9514 19.8815,-55.8151 19.8669,-55.6695"/>
  152. <polygon fill="black" stroke="black" points="23.5403,-57.2276 19.0626,-47.6255 16.5751,-57.9242 23.5403,-57.2276"/>
  153. </g>
  154. <!-- p3_l -->
  155. <!-- p3_l&#45;&gt;p3 -->
  156. <g id="edge16" class="edge"><title>p3_l&#45;&gt;p3</title>
  157. <path fill="none" stroke="white" d="M21.8154,-66.0771C21.4131,-64.0657 20.4661,-59.3305 20.1251,-57.6255"/>
  158. <text text-anchor="middle" x="26.0466" y="-64.0838" font-family="Helvetica,sans-Serif" font-size="14.00">p6</text>
  159. </g>
  160. <!-- p5 -->
  161. <g id="node25" class="node"><title>p5</title>
  162. <ellipse fill="white" stroke="black" cx="19" cy="-57" rx="0" ry="0.5"/>
  163. </g>
  164. <!-- p5&#45;&gt;t4 -->
  165. <g id="edge73" class="edge"><title>p5&#45;&gt;t4</title>
  166. <path fill="none" stroke="black" d="M19,-56.0771C19,-55.9514 19,-55.8151 19,-55.6695"/>
  167. <polygon fill="black" stroke="black" points="22.5001,-57.6255 19,-47.6255 15.5001,-57.6256 22.5001,-57.6255"/>
  168. </g>
  169. <!-- p5_l -->
  170. <!-- p5_l&#45;&gt;p5 -->
  171. <g id="edge18" class="edge"><title>p5_l&#45;&gt;p5</title>
  172. <path fill="none" stroke="white" d="M19,-66.0771C19,-64.0657 19,-59.3305 19,-57.6255"/>
  173. <text text-anchor="middle" x="23.2262" y="-65.0886" font-family="Helvetica,sans-Serif" font-size="14.00">p7</text>
  174. </g>
  175. <!-- p4 -->
  176. <g id="node28" class="node"><title>p4</title>
  177. <ellipse fill="white" stroke="black" cx="20" cy="-37" rx="0" ry="0.5"/>
  178. </g>
  179. <!-- t5 -->
  180. <g id="node55" class="node"><title>t5</title>
  181. <polygon fill="white" stroke="black" points="19,-27.5 19,-27.5 19,-26.5 19,-26.5 19,-27.5"/>
  182. </g>
  183. <!-- p4&#45;&gt;t5 -->
  184. <g id="edge77" class="edge"><title>p4&#45;&gt;t5</title>
  185. <path fill="none" stroke="black" d="M19.9077,-36.0771C19.8951,-35.9514 19.8815,-35.8151 19.8669,-35.6695"/>
  186. <polygon fill="black" stroke="black" points="23.5403,-37.2276 19.0626,-27.6255 16.5751,-37.9242 23.5403,-37.2276"/>
  187. </g>
  188. <!-- p4_l -->
  189. <!-- p4_l&#45;&gt;p4 -->
  190. <g id="edge20" class="edge"><title>p4_l&#45;&gt;p4</title>
  191. <path fill="none" stroke="white" d="M20,-46.0771C20,-44.0657 20,-39.3305 20,-37.6255"/>
  192. <text text-anchor="middle" x="24.2262" y="-45.0886" font-family="Helvetica,sans-Serif" font-size="14.00">p8</text>
  193. </g>
  194. <!-- p1 -->
  195. <g id="node31" class="node"><title>p1</title>
  196. <ellipse fill="white" stroke="black" cx="19" cy="-37" rx="0" ry="0.5"/>
  197. </g>
  198. <!-- p1&#45;&gt;t5 -->
  199. <g id="edge79" class="edge"><title>p1&#45;&gt;t5</title>
  200. <path fill="none" stroke="black" d="M19,-36.0771C19,-35.9514 19,-35.8151 19,-35.6695"/>
  201. <polygon fill="black" stroke="black" points="22.5001,-37.6255 19,-27.6255 15.5001,-37.6256 22.5001,-37.6255"/>
  202. </g>
  203. <!-- p1_l -->
  204. <!-- p1_l&#45;&gt;p1 -->
  205. <g id="edge22" class="edge"><title>p1_l&#45;&gt;p1</title>
  206. <path fill="none" stroke="white" d="M18.0923,-46.0771C18.2934,-44.0657 18.7669,-39.3305 18.9374,-37.6255"/>
  207. <text text-anchor="middle" x="22.2408" y="-45.4642" font-family="Helvetica,sans-Serif" font-size="14.00">p9</text>
  208. </g>
  209. <!-- t2&#45;&gt;p11 -->
  210. <g id="edge45" class="edge"><title>t2&#45;&gt;p11</title>
  211. <path fill="none" stroke="black" d="M20.0923,-106.077C20.1049,-105.951 20.1185,-105.815 20.1331,-105.669"/>
  212. <polygon fill="black" stroke="black" points="23.4249,-107.924 20.9374,-97.6255 16.4597,-107.228 23.4249,-107.924"/>
  213. </g>
  214. <!-- t2&#45;&gt;p8 -->
  215. <g id="edge51" class="edge"><title>t2&#45;&gt;p8</title>
  216. <path fill="none" stroke="black" d="M19.9077,-106.077C19.8951,-105.951 19.8815,-105.815 19.8669,-105.669"/>
  217. <polygon fill="black" stroke="black" points="23.5403,-107.228 19.0626,-97.6255 16.5751,-107.924 23.5403,-107.228"/>
  218. </g>
  219. <!-- t2_l -->
  220. <!-- t2_l&#45;&gt;t2 -->
  221. <g id="edge24" class="edge"><title>t2_l&#45;&gt;t2</title>
  222. <path fill="none" stroke="white" d="M16.1719,-120.398C16.8179,-118.137 19.099,-110.153 19.7961,-107.714"/>
  223. <text text-anchor="middle" x="21.3699" y="-115.989" font-family="Helvetica,sans-Serif" font-size="14.00">t1</text>
  224. </g>
  225. <!-- t1&#45;&gt;p7 -->
  226. <g id="edge53" class="edge"><title>t1&#45;&gt;p7</title>
  227. <path fill="none" stroke="black" d="M21.0923,-86.0771C21.1049,-85.9514 21.1185,-85.8151 21.1331,-85.6695"/>
  228. <polygon fill="black" stroke="black" points="24.4249,-87.9242 21.9374,-77.6255 17.4597,-87.2276 24.4249,-87.9242"/>
  229. </g>
  230. <!-- t1_l -->
  231. <!-- t1_l&#45;&gt;t1 -->
  232. <g id="edge26" class="edge"><title>t1_l&#45;&gt;t1</title>
  233. <path fill="none" stroke="white" d="M20.0923,-96.0771C20.2934,-94.0657 20.7669,-89.3305 20.9374,-87.6255"/>
  234. <text text-anchor="middle" x="24.2408" y="-95.4642" font-family="Helvetica,sans-Serif" font-size="14.00">t2</text>
  235. </g>
  236. <!-- t7&#45;&gt;p10 -->
  237. <g id="edge59" class="edge"><title>t7&#45;&gt;p10</title>
  238. <path fill="none" stroke="black" d="M19.0923,-86.0771C19.1049,-85.9514 19.1185,-85.8151 19.1331,-85.6695"/>
  239. <polygon fill="black" stroke="black" points="22.4249,-87.9242 19.9374,-77.6255 15.4597,-87.2276 22.4249,-87.9242"/>
  240. </g>
  241. <!-- t7&#45;&gt;p9 -->
  242. <g id="edge63" class="edge"><title>t7&#45;&gt;p9</title>
  243. <path fill="none" stroke="black" d="M18.9077,-86.0771C18.8951,-85.9514 18.8815,-85.8151 18.8669,-85.6695"/>
  244. <polygon fill="black" stroke="black" points="22.5403,-87.2276 18.0626,-77.6255 15.5751,-87.9242 22.5403,-87.2276"/>
  245. </g>
  246. <!-- t7_l -->
  247. <!-- t7_l&#45;&gt;t7 -->
  248. <g id="edge28" class="edge"><title>t7_l&#45;&gt;t7</title>
  249. <path fill="none" stroke="white" d="M18.0923,-96.0771C18.2934,-94.0657 18.7669,-89.3305 18.9374,-87.6255"/>
  250. <text text-anchor="middle" x="22.2408" y="-95.4642" font-family="Helvetica,sans-Serif" font-size="14.00">t3</text>
  251. </g>
  252. <!-- t8&#45;&gt;p3 -->
  253. <g id="edge69" class="edge"><title>t8&#45;&gt;p3</title>
  254. <path fill="none" stroke="black" d="M20.9077,-66.0771C20.8951,-65.9514 20.8815,-65.8151 20.8669,-65.6695"/>
  255. <polygon fill="black" stroke="black" points="24.5403,-67.2276 20.0626,-57.6255 17.5751,-67.9242 24.5403,-67.2276"/>
  256. </g>
  257. <!-- t8_l -->
  258. <!-- t8_l&#45;&gt;t8 -->
  259. <g id="edge30" class="edge"><title>t8_l&#45;&gt;t8</title>
  260. <path fill="none" stroke="white" d="M21,-76.0771C21,-74.0657 21,-69.3305 21,-67.6255"/>
  261. <text text-anchor="middle" x="25.2262" y="-75.0886" font-family="Helvetica,sans-Serif" font-size="14.00">t4</text>
  262. </g>
  263. <!-- t6&#45;&gt;p3 -->
  264. <g id="edge65" class="edge"><title>t6&#45;&gt;p3</title>
  265. <path fill="none" stroke="black" d="M20,-66.0771C20,-65.9514 20,-65.8151 20,-65.6695"/>
  266. <polygon fill="black" stroke="black" points="23.5001,-67.6255 20,-57.6255 16.5001,-67.6256 23.5001,-67.6255"/>
  267. </g>
  268. <!-- t6_l -->
  269. <!-- t6_l&#45;&gt;t6 -->
  270. <g id="edge32" class="edge"><title>t6_l&#45;&gt;t6</title>
  271. <path fill="none" stroke="white" d="M19.0923,-76.0771C19.2934,-74.0657 19.7669,-69.3305 19.9374,-67.6255"/>
  272. <text text-anchor="middle" x="23.2408" y="-75.4642" font-family="Helvetica,sans-Serif" font-size="14.00">t5</text>
  273. </g>
  274. <!-- t3&#45;&gt;p5 -->
  275. <g id="edge71" class="edge"><title>t3&#45;&gt;p5</title>
  276. <path fill="none" stroke="black" d="M18.0923,-66.0771C18.1049,-65.9514 18.1185,-65.8151 18.1331,-65.6695"/>
  277. <polygon fill="black" stroke="black" points="21.4249,-67.9242 18.9374,-57.6255 14.4597,-67.2276 21.4249,-67.9242"/>
  278. </g>
  279. <!-- t3_l -->
  280. <!-- t3_l&#45;&gt;t3 -->
  281. <g id="edge34" class="edge"><title>t3_l&#45;&gt;t3</title>
  282. <path fill="none" stroke="white" d="M17.0923,-76.0771C17.2934,-74.0657 17.7669,-69.3305 17.9374,-67.6255"/>
  283. <text text-anchor="middle" x="21.2408" y="-75.4642" font-family="Helvetica,sans-Serif" font-size="14.00">t6</text>
  284. </g>
  285. <!-- t4&#45;&gt;p4 -->
  286. <g id="edge75" class="edge"><title>t4&#45;&gt;p4</title>
  287. <path fill="none" stroke="black" d="M19.0923,-46.0771C19.1049,-45.9514 19.1185,-45.8151 19.1331,-45.6695"/>
  288. <polygon fill="black" stroke="black" points="22.4249,-47.9242 19.9374,-37.6255 15.4597,-47.2276 22.4249,-47.9242"/>
  289. </g>
  290. <!-- t4&#45;&gt;p1 -->
  291. <g id="edge81" class="edge"><title>t4&#45;&gt;p1</title>
  292. <path fill="none" stroke="black" d="M19,-46.0771C19,-45.9514 19,-45.8151 19,-45.6695"/>
  293. <polygon fill="black" stroke="black" points="22.5001,-47.6255 19,-37.6255 15.5001,-47.6256 22.5001,-47.6255"/>
  294. </g>
  295. <!-- t4_l -->
  296. <!-- t4_l&#45;&gt;t4 -->
  297. <g id="edge36" class="edge"><title>t4_l&#45;&gt;t4</title>
  298. <path fill="none" stroke="white" d="M18.0923,-56.0771C18.2934,-54.0657 18.7669,-49.3305 18.9374,-47.6255"/>
  299. <text text-anchor="middle" x="22.2408" y="-55.4642" font-family="Helvetica,sans-Serif" font-size="14.00">t7</text>
  300. </g>
  301. <!-- t5&#45;&gt;p2 -->
  302. <g id="edge41" class="edge"><title>t5&#45;&gt;p2</title>
  303. <path fill="none" stroke="black" d="M19,-26.0771C19,-25.9514 19,-25.8151 19,-25.6695"/>
  304. <polygon fill="black" stroke="black" points="22.5001,-27.6255 19,-17.6255 15.5001,-27.6256 22.5001,-27.6255"/>
  305. </g>
  306. <!-- t5_l -->
  307. <!-- t5_l&#45;&gt;t5 -->
  308. <g id="edge38" class="edge"><title>t5_l&#45;&gt;t5</title>
  309. <path fill="none" stroke="white" d="M18.0923,-36.0771C18.2934,-34.0657 18.7669,-29.3305 18.9374,-27.6255"/>
  310. <text text-anchor="middle" x="22.2408" y="-35.4642" font-family="Helvetica,sans-Serif" font-size="14.00">t8</text>
  311. </g>
  312. </g>
  313. </svg>
  314.  
  315.  
  316.  
  317.  
  318.  
  319. ///////////////////////// USING DOT From the command line interface :
  320. //////////////////////// dot -Tsvg myfile.dot //////////////////////
  321.  
  322.  
  323.  
  324.  
  325.  
  326.  
  327.  
  328.  
  329. <?xml version="1.0" encoding="UTF-8" standalone="no"?>
  330. <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  331. "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
  332. <!-- Generated by graphviz version 2.26.3 (20100126.1600)
  333. -->
  334. <!-- Title: N Pages: 1 -->
  335. <svg width="689pt" height="554pt"
  336. viewBox="0.00 0.00 689.00 554.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
  337. <g id="graph1" class="graph" transform="scale(1 1) rotate(0) translate(4 550)">
  338. <title>N</title>
  339. <polygon fill="white" stroke="white" points="-4,5 -4,-550 686,-550 686,5 -4,5"/>
  340. <text text-anchor="middle" x="340.5" y="-35.4" font-family="Helvetica,sans-Serif" font-size="14.00">Petri net</text>
  341. <text text-anchor="middle" x="340.5" y="-13.4" font-family="Helvetica,sans-Serif" font-size="14.00">Ω=((p4=0) ∧ (init=0) ∧ (p3=0) ∧ (p9=0) ∧ (p2=0) ∧ (final=0) ∧ (p5=0) ∧ (p7=0) ∧ (p1=0) ∧ (p8=0) ∧ (p6=0))</text>
  342. <g id="graph2" class="cluster"><title>cluster1</title>
  343. </g>
  344. <!-- p10 -->
  345. <g id="node1" class="node"><title>p10</title>
  346. <ellipse fill="white" stroke="black" cx="320.5" cy="-79" rx="11" ry="11"/>
  347. </g>
  348. <!-- p10_l -->
  349. <!-- p10_l&#45;&gt;p10 -->
  350. <g id="edge2" class="edge"><title>p10_l&#45;&gt;p10</title>
  351. <path fill="none" stroke="white" d="M335.453,-108.906C332.398,-102.796 328.518,-95.0361 325.476,-88.9519"/>
  352. <text text-anchor="middle" x="333.309" y="-93.5682" font-family="Helvetica,sans-Serif" font-size="14.00">final</text>
  353. </g>
  354. <!-- p11 -->
  355. <g id="node4" class="node"><title>p11</title>
  356. <ellipse fill="black" stroke="black" cx="400.5" cy="-479" rx="7" ry="7"/>
  357. <ellipse fill="none" stroke="black" cx="400.5" cy="-479" rx="11" ry="11"/>
  358. </g>
  359. <!-- t7 -->
  360. <g id="node34" class="node"><title>t7</title>
  361. <polygon fill="white" stroke="black" points="391.5,-450 369.5,-450 369.5,-428 391.5,-428 391.5,-450"/>
  362. </g>
  363. <!-- p11&#45;&gt;t7 -->
  364. <g id="edge43" class="edge"><title>p11&#45;&gt;t7</title>
  365. <path fill="none" stroke="black" d="M395.453,-468.906C393.973,-465.947 392.3,-462.6 390.622,-459.244"/>
  366. <polygon fill="black" stroke="black" points="393.641,-457.455 386.038,-450.076 387.38,-460.585 393.641,-457.455"/>
  367. </g>
  368. <!-- p11_l -->
  369. <!-- p11_l&#45;&gt;p11 -->
  370. <g id="edge4" class="edge"><title>p11_l&#45;&gt;p11</title>
  371. <path fill="none" stroke="white" d="M400.5,-507.645C400.5,-502.194 400.5,-495.682 400.5,-490.245"/>
  372. <text text-anchor="middle" x="404.726" y="-497.708" font-family="Helvetica,sans-Serif" font-size="14.00">init</text>
  373. </g>
  374. <!-- p1 -->
  375. <g id="node7" class="node"><title>p1</title>
  376. <ellipse fill="white" stroke="black" cx="420.5" cy="-399" rx="11" ry="11"/>
  377. </g>
  378. <!-- t1 -->
  379. <g id="node37" class="node"><title>t1</title>
  380. <polygon fill="white" stroke="black" points="411.5,-370 389.5,-370 389.5,-348 411.5,-348 411.5,-370"/>
  381. </g>
  382. <!-- p1&#45;&gt;t1 -->
  383. <g id="edge47" class="edge"><title>p1&#45;&gt;t1</title>
  384. <path fill="none" stroke="black" d="M415.453,-388.906C413.973,-385.947 412.3,-382.6 410.622,-379.244"/>
  385. <polygon fill="black" stroke="black" points="413.641,-377.455 406.038,-370.076 407.38,-380.585 413.641,-377.455"/>
  386. </g>
  387. <!-- p1_l -->
  388. <!-- p1_l&#45;&gt;p1 -->
  389. <g id="edge6" class="edge"><title>p1_l&#45;&gt;p1</title>
  390. <path fill="none" stroke="white" d="M420.5,-427.645C420.5,-422.194 420.5,-415.682 420.5,-410.245"/>
  391. <text text-anchor="middle" x="424.726" y="-417.708" font-family="Helvetica,sans-Serif" font-size="14.00">p1</text>
  392. </g>
  393. <!-- p6 -->
  394. <g id="node10" class="node"><title>p6</title>
  395. <ellipse fill="white" stroke="black" cx="340.5" cy="-399" rx="11" ry="11"/>
  396. </g>
  397. <!-- t6 -->
  398. <g id="node40" class="node"><title>t6</title>
  399. <polygon fill="white" stroke="black" points="331.5,-370 309.5,-370 309.5,-348 331.5,-348 331.5,-370"/>
  400. </g>
  401. <!-- p6&#45;&gt;t6 -->
  402. <g id="edge51" class="edge"><title>p6&#45;&gt;t6</title>
  403. <path fill="none" stroke="black" d="M335.453,-388.906C333.973,-385.947 332.3,-382.6 330.622,-379.244"/>
  404. <polygon fill="black" stroke="black" points="333.641,-377.455 326.038,-370.076 327.38,-380.585 333.641,-377.455"/>
  405. </g>
  406. <!-- p6_l -->
  407. <!-- p6_l&#45;&gt;p6 -->
  408. <g id="edge8" class="edge"><title>p6_l&#45;&gt;p6</title>
  409. <path fill="none" stroke="white" d="M340.5,-427.645C340.5,-422.194 340.5,-415.682 340.5,-410.245"/>
  410. <text text-anchor="middle" x="344.726" y="-417.708" font-family="Helvetica,sans-Serif" font-size="14.00">p2</text>
  411. </g>
  412. <!-- p4 -->
  413. <g id="node13" class="node"><title>p4</title>
  414. <ellipse fill="white" stroke="black" cx="440.5" cy="-319" rx="11" ry="11"/>
  415. </g>
  416. <!-- t8 -->
  417. <g id="node43" class="node"><title>t8</title>
  418. <polygon fill="white" stroke="black" points="411.5,-290 389.5,-290 389.5,-268 411.5,-268 411.5,-290"/>
  419. </g>
  420. <!-- p4&#45;&gt;t8 -->
  421. <g id="edge55" class="edge"><title>p4&#45;&gt;t8</title>
  422. <path fill="none" stroke="black" d="M432.405,-310.905C428.51,-307.01 423.668,-302.168 418.942,-297.442"/>
  423. <polygon fill="black" stroke="black" points="421.311,-294.862 411.765,-290.265 416.362,-299.811 421.311,-294.862"/>
  424. </g>
  425. <!-- p4_l -->
  426. <!-- p4_l&#45;&gt;p4 -->
  427. <g id="edge10" class="edge"><title>p4_l&#45;&gt;p4</title>
  428. <path fill="none" stroke="white" d="M440.5,-347.645C440.5,-342.194 440.5,-335.682 440.5,-330.245"/>
  429. <text text-anchor="middle" x="444.726" y="-337.708" font-family="Helvetica,sans-Serif" font-size="14.00">p3</text>
  430. </g>
  431. <!-- p7 -->
  432. <g id="node16" class="node"><title>p7</title>
  433. <ellipse fill="white" stroke="black" cx="360.5" cy="-319" rx="11" ry="11"/>
  434. </g>
  435. <!-- t4 -->
  436. <g id="node46" class="node"><title>t4</title>
  437. <polygon fill="white" stroke="black" points="371.5,-290 349.5,-290 349.5,-268 371.5,-268 371.5,-290"/>
  438. </g>
  439. <!-- p7&#45;&gt;t4 -->
  440. <g id="edge59" class="edge"><title>p7&#45;&gt;t4</title>
  441. <path fill="none" stroke="black" d="M360.5,-307.645C360.5,-305.345 360.5,-302.857 360.5,-300.34"/>
  442. <polygon fill="black" stroke="black" points="364,-300.245 360.5,-290.245 357,-300.245 364,-300.245"/>
  443. </g>
  444. <!-- p7_l -->
  445. <!-- p7_l&#45;&gt;p7 -->
  446. <g id="edge12" class="edge"><title>p7_l&#45;&gt;p7</title>
  447. <path fill="none" stroke="white" d="M360.5,-347.645C360.5,-342.194 360.5,-335.682 360.5,-330.245"/>
  448. <text text-anchor="middle" x="364.726" y="-337.708" font-family="Helvetica,sans-Serif" font-size="14.00">p4</text>
  449. </g>
  450. <!-- p2 -->
  451. <g id="node19" class="node"><title>p2</title>
  452. <ellipse fill="white" stroke="black" cx="280.5" cy="-319" rx="11" ry="11"/>
  453. </g>
  454. <!-- t5 -->
  455. <g id="node49" class="node"><title>t5</title>
  456. <polygon fill="white" stroke="black" points="291.5,-290 269.5,-290 269.5,-268 291.5,-268 291.5,-290"/>
  457. </g>
  458. <!-- p2&#45;&gt;t5 -->
  459. <g id="edge63" class="edge"><title>p2&#45;&gt;t5</title>
  460. <path fill="none" stroke="black" d="M280.5,-307.645C280.5,-305.345 280.5,-302.857 280.5,-300.34"/>
  461. <polygon fill="black" stroke="black" points="284,-300.245 280.5,-290.245 277,-300.245 284,-300.245"/>
  462. </g>
  463. <!-- p2_l -->
  464. <!-- p2_l&#45;&gt;p2 -->
  465. <g id="edge14" class="edge"><title>p2_l&#45;&gt;p2</title>
  466. <path fill="none" stroke="white" d="M280.5,-347.645C280.5,-342.194 280.5,-335.682 280.5,-330.245"/>
  467. <text text-anchor="middle" x="284.726" y="-337.708" font-family="Helvetica,sans-Serif" font-size="14.00">p5</text>
  468. </g>
  469. <!-- p3 -->
  470. <g id="node22" class="node"><title>p3</title>
  471. <ellipse fill="white" stroke="black" cx="380.5" cy="-239" rx="11" ry="11"/>
  472. </g>
  473. <!-- t2 -->
  474. <g id="node52" class="node"><title>t2</title>
  475. <polygon fill="white" stroke="black" points="331.5,-210 309.5,-210 309.5,-188 331.5,-188 331.5,-210"/>
  476. </g>
  477. <!-- p3&#45;&gt;t2 -->
  478. <g id="edge69" class="edge"><title>p3&#45;&gt;t2</title>
  479. <path fill="none" stroke="black" d="M371.125,-232.75C362.866,-227.244 350.564,-219.043 340.155,-212.104"/>
  480. <polygon fill="black" stroke="black" points="341.907,-209.065 331.645,-206.43 338.024,-214.889 341.907,-209.065"/>
  481. </g>
  482. <!-- p3_l -->
  483. <!-- p3_l&#45;&gt;p3 -->
  484. <g id="edge16" class="edge"><title>p3_l&#45;&gt;p3</title>
  485. <path fill="none" stroke="white" d="M431.125,-272.75C419.919,-265.279 401.271,-252.848 390.007,-245.338"/>
  486. <text text-anchor="middle" x="399.892" y="-245.249" font-family="Helvetica,sans-Serif" font-size="14.00">p6</text>
  487. </g>
  488. <!-- p5 -->
  489. <g id="node25" class="node"><title>p5</title>
  490. <ellipse fill="white" stroke="black" cx="320.5" cy="-239" rx="11" ry="11"/>
  491. </g>
  492. <!-- p5&#45;&gt;t2 -->
  493. <g id="edge71" class="edge"><title>p5&#45;&gt;t2</title>
  494. <path fill="none" stroke="black" d="M320.5,-227.645C320.5,-225.345 320.5,-222.857 320.5,-220.34"/>
  495. <polygon fill="black" stroke="black" points="324,-220.245 320.5,-210.245 317,-220.245 324,-220.245"/>
  496. </g>
  497. <!-- p5_l -->
  498. <!-- p5_l&#45;&gt;p5 -->
  499. <g id="edge18" class="edge"><title>p5_l&#45;&gt;p5</title>
  500. <path fill="none" stroke="white" d="M320.5,-267.645C320.5,-262.194 320.5,-255.682 320.5,-250.245"/>
  501. <text text-anchor="middle" x="324.726" y="-257.708" font-family="Helvetica,sans-Serif" font-size="14.00">p7</text>
  502. </g>
  503. <!-- p9 -->
  504. <g id="node28" class="node"><title>p9</title>
  505. <ellipse fill="white" stroke="black" cx="340.5" cy="-159" rx="11" ry="11"/>
  506. </g>
  507. <!-- t3 -->
  508. <g id="node55" class="node"><title>t3</title>
  509. <polygon fill="white" stroke="black" points="311.5,-130 289.5,-130 289.5,-108 311.5,-108 311.5,-130"/>
  510. </g>
  511. <!-- p9&#45;&gt;t3 -->
  512. <g id="edge75" class="edge"><title>p9&#45;&gt;t3</title>
  513. <path fill="none" stroke="black" d="M332.405,-150.905C328.51,-147.01 323.668,-142.168 318.942,-137.442"/>
  514. <polygon fill="black" stroke="black" points="321.311,-134.862 311.765,-130.265 316.362,-139.811 321.311,-134.862"/>
  515. </g>
  516. <!-- p9_l -->
  517. <!-- p9_l&#45;&gt;p9 -->
  518. <g id="edge20" class="edge"><title>p9_l&#45;&gt;p9</title>
  519. <path fill="none" stroke="white" d="M355.453,-188.906C352.398,-182.796 348.518,-175.036 345.476,-168.952"/>
  520. <text text-anchor="middle" x="353.309" y="-173.568" font-family="Helvetica,sans-Serif" font-size="14.00">p8</text>
  521. </g>
  522. <!-- p8 -->
  523. <g id="node31" class="node"><title>p8</title>
  524. <ellipse fill="white" stroke="black" cx="300.5" cy="-159" rx="11" ry="11"/>
  525. </g>
  526. <!-- p8&#45;&gt;t3 -->
  527. <g id="edge81" class="edge"><title>p8&#45;&gt;t3</title>
  528. <path fill="none" stroke="black" d="M300.5,-147.645C300.5,-145.345 300.5,-142.857 300.5,-140.34"/>
  529. <polygon fill="black" stroke="black" points="304,-140.245 300.5,-130.245 297,-140.245 304,-140.245"/>
  530. </g>
  531. <!-- p8_l -->
  532. <!-- p8_l&#45;&gt;p8 -->
  533. <g id="edge22" class="edge"><title>p8_l&#45;&gt;p8</title>
  534. <path fill="none" stroke="white" d="M285.547,-188.906C288.602,-182.796 292.482,-175.036 295.524,-168.952"/>
  535. <text text-anchor="middle" x="295.251" y="-177.348" font-family="Helvetica,sans-Serif" font-size="14.00">p9</text>
  536. </g>
  537. <!-- t7&#45;&gt;p1 -->
  538. <g id="edge45" class="edge"><title>t7&#45;&gt;p1</title>
  539. <path fill="none" stroke="black" d="M391.855,-427.645C396.117,-423.383 401.027,-418.473 405.564,-413.936"/>
  540. <polygon fill="black" stroke="black" points="408.073,-416.377 412.669,-406.831 403.123,-411.427 408.073,-416.377"/>
  541. </g>
  542. <!-- t7&#45;&gt;p6 -->
  543. <g id="edge49" class="edge"><title>t7&#45;&gt;p6</title>
  544. <path fill="none" stroke="black" d="M369.145,-427.645C364.883,-423.383 359.973,-418.473 355.436,-413.936"/>
  545. <polygon fill="black" stroke="black" points="357.877,-411.427 348.331,-406.831 352.927,-416.377 357.877,-411.427"/>
  546. </g>
  547. <!-- t7_l -->
  548. <!-- t7_l&#45;&gt;t7 -->
  549. <g id="edge24" class="edge"><title>t7_l&#45;&gt;t7</title>
  550. <path fill="none" stroke="white" d="M366.178,-467.645C368.903,-462.194 372.159,-455.682 374.877,-450.245"/>
  551. <text text-anchor="middle" x="374.604" y="-458.642" font-family="Helvetica,sans-Serif" font-size="14.00">t1</text>
  552. </g>
  553. <!-- t1&#45;&gt;p4 -->
  554. <g id="edge53" class="edge"><title>t1&#45;&gt;p4</title>
  555. <path fill="none" stroke="black" d="M411.855,-347.645C416.117,-343.383 421.027,-338.473 425.564,-333.936"/>
  556. <polygon fill="black" stroke="black" points="428.073,-336.377 432.669,-326.831 423.123,-331.427 428.073,-336.377"/>
  557. </g>
  558. <!-- t1_l -->
  559. <!-- t1_l&#45;&gt;t1 -->
  560. <g id="edge26" class="edge"><title>t1_l&#45;&gt;t1</title>
  561. <path fill="none" stroke="white" d="M386.178,-387.645C388.903,-382.194 392.159,-375.682 394.877,-370.245"/>
  562. <text text-anchor="middle" x="394.604" y="-378.642" font-family="Helvetica,sans-Serif" font-size="14.00">t2</text>
  563. </g>
  564. <!-- t6&#45;&gt;p7 -->
  565. <g id="edge57" class="edge"><title>t6&#45;&gt;p7</title>
  566. <path fill="none" stroke="black" d="M331.855,-347.645C336.117,-343.383 341.027,-338.473 345.564,-333.936"/>
  567. <polygon fill="black" stroke="black" points="348.073,-336.377 352.669,-326.831 343.123,-331.427 348.073,-336.377"/>
  568. </g>
  569. <!-- t6&#45;&gt;p2 -->
  570. <g id="edge61" class="edge"><title>t6&#45;&gt;p2</title>
  571. <path fill="none" stroke="black" d="M309.145,-347.645C304.883,-343.383 299.973,-338.473 295.436,-333.936"/>
  572. <polygon fill="black" stroke="black" points="297.877,-331.427 288.331,-326.831 292.927,-336.377 297.877,-331.427"/>
  573. </g>
  574. <!-- t6_l -->
  575. <!-- t6_l&#45;&gt;t6 -->
  576. <g id="edge28" class="edge"><title>t6_l&#45;&gt;t6</title>
  577. <path fill="none" stroke="white" d="M306.178,-387.645C308.903,-382.194 312.159,-375.682 314.877,-370.245"/>
  578. <text text-anchor="middle" x="314.604" y="-378.642" font-family="Helvetica,sans-Serif" font-size="14.00">t3</text>
  579. </g>
  580. <!-- t8&#45;&gt;p3 -->
  581. <g id="edge67" class="edge"><title>t8&#45;&gt;p3</title>
  582. <path fill="none" stroke="black" d="M394.822,-267.645C393.298,-264.596 391.608,-261.215 389.938,-257.876"/>
  583. <polygon fill="black" stroke="black" points="393.047,-256.267 385.444,-248.888 386.786,-259.397 393.047,-256.267"/>
  584. </g>
  585. <!-- t8_l -->
  586. <!-- t8_l&#45;&gt;t8 -->
  587. <g id="edge30" class="edge"><title>t8_l&#45;&gt;t8</title>
  588. <path fill="none" stroke="white" d="M400.5,-307.645C400.5,-302.194 400.5,-295.682 400.5,-290.245"/>
  589. <text text-anchor="middle" x="404.726" y="-297.708" font-family="Helvetica,sans-Serif" font-size="14.00">t4</text>
  590. </g>
  591. <!-- t4&#45;&gt;p3 -->
  592. <g id="edge65" class="edge"><title>t4&#45;&gt;p3</title>
  593. <path fill="none" stroke="black" d="M366.178,-267.645C367.702,-264.596 369.392,-261.215 371.062,-257.876"/>
  594. <polygon fill="black" stroke="black" points="374.214,-259.397 375.556,-248.888 367.953,-256.267 374.214,-259.397"/>
  595. </g>
  596. <!-- t4_l -->
  597. <!-- t4_l&#45;&gt;t4 -->
  598. <g id="edge32" class="edge"><title>t4_l&#45;&gt;t4</title>
  599. <path fill="none" stroke="white" d="M331.855,-307.645C337.306,-302.194 343.818,-295.682 349.255,-290.245"/>
  600. <text text-anchor="middle" x="345.834" y="-298.042" font-family="Helvetica,sans-Serif" font-size="14.00">t5</text>
  601. </g>
  602. <!-- t5&#45;&gt;p5 -->
  603. <g id="edge73" class="edge"><title>t5&#45;&gt;p5</title>
  604. <path fill="none" stroke="black" d="M291.855,-267.645C296.117,-263.383 301.027,-258.473 305.564,-253.936"/>
  605. <polygon fill="black" stroke="black" points="308.073,-256.377 312.669,-246.831 303.123,-251.427 308.073,-256.377"/>
  606. </g>
  607. <!-- t5_l -->
  608. <!-- t5_l&#45;&gt;t5 -->
  609. <g id="edge34" class="edge"><title>t5_l&#45;&gt;t5</title>
  610. <path fill="none" stroke="white" d="M251.855,-307.645C257.306,-302.194 263.818,-295.682 269.255,-290.245"/>
  611. <text text-anchor="middle" x="265.834" y="-298.042" font-family="Helvetica,sans-Serif" font-size="14.00">t6</text>
  612. </g>
  613. <!-- t2&#45;&gt;p9 -->
  614. <g id="edge77" class="edge"><title>t2&#45;&gt;p9</title>
  615. <path fill="none" stroke="black" d="M326.178,-187.645C327.702,-184.596 329.392,-181.215 331.062,-177.876"/>
  616. <polygon fill="black" stroke="black" points="334.214,-179.397 335.556,-168.888 327.953,-176.267 334.214,-179.397"/>
  617. </g>
  618. <!-- t2&#45;&gt;p8 -->
  619. <g id="edge79" class="edge"><title>t2&#45;&gt;p8</title>
  620. <path fill="none" stroke="black" d="M314.822,-187.645C313.298,-184.596 311.608,-181.215 309.938,-177.876"/>
  621. <polygon fill="black" stroke="black" points="313.047,-176.267 305.444,-168.888 306.786,-179.397 313.047,-176.267"/>
  622. </g>
  623. <!-- t2_l -->
  624. <!-- t2_l&#45;&gt;t2 -->
  625. <g id="edge36" class="edge"><title>t2_l&#45;&gt;t2</title>
  626. <path fill="none" stroke="white" d="M291.855,-227.645C297.306,-222.194 303.818,-215.682 309.255,-210.245"/>
  627. <text text-anchor="middle" x="305.834" y="-218.042" font-family="Helvetica,sans-Serif" font-size="14.00">t7</text>
  628. </g>
  629. <!-- t3&#45;&gt;p10 -->
  630. <g id="edge41" class="edge"><title>t3&#45;&gt;p10</title>
  631. <path fill="none" stroke="black" d="M306.178,-107.645C307.702,-104.596 309.392,-101.215 311.062,-97.8763"/>
  632. <polygon fill="black" stroke="black" points="314.214,-99.3972 315.556,-88.8876 307.953,-96.2667 314.214,-99.3972"/>
  633. </g>
  634. <!-- t3_l -->
  635. <!-- t3_l&#45;&gt;t3 -->
  636. <g id="edge38" class="edge"><title>t3_l&#45;&gt;t3</title>
  637. <path fill="none" stroke="white" d="M271.855,-147.645C277.306,-142.194 283.818,-135.682 289.255,-130.245"/>
  638. <text text-anchor="middle" x="285.834" y="-138.042" font-family="Helvetica,sans-Serif" font-size="14.00">t8</text>
  639. </g>
  640. </g>
  641. </svg>
  642.  
  643.  
  644.  
  645.  
  646.  
  647. ///////////////////// USING NEATO from the library //////////////////////////////
  648.  
  649.  
  650.  
  651. <?xml version="1.0" encoding="UTF-8" standalone="no"?>
  652. <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  653. "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
  654. <!-- Generated by graphviz version 2.26.3 (20100126.1600)
  655. -->
  656. <!-- Title: N Pages: 1 -->
  657. <svg width="862pt" height="542pt"
  658. viewBox="0.00 0.00 862.35 541.69" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
  659. <g id="graph1" class="graph" transform="scale(1 1) rotate(0) translate(4 537.695)">
  660. <title>N</title>
  661. <polygon fill="white" stroke="white" points="-4,5 -4,-537.695 859.35,-537.695 859.35,5 -4,5"/>
  662. <!-- p9 -->
  663. <g id="node1" class="node"><title>p9</title>
  664. <ellipse fill="white" stroke="black" cx="78.2028" cy="-410.408" rx="0" ry="0.5"/>
  665. </g>
  666. <!-- p9_l -->
  667. <!-- p9_l&#45;&gt;p9 -->
  668. <g id="edge2" class="edge"><title>p9_l&#45;&gt;p9</title>
  669. <path fill="none" stroke="white" d="M2.36141,-416.909C10.2616,-416.232 70.0064,-411.11 77.4437,-410.473"/>
  670. <text text-anchor="middle" x="68.7747" y="-413.858" font-family="Helvetica,sans-Serif" font-size="14.00">final</text>
  671. </g>
  672. <!-- p11 -->
  673. <g id="node4" class="node"><title>p11</title>
  674. <ellipse fill="black" stroke="black" cx="772.822" cy="-204.761" rx="0.444444" ry="0.5"/>
  675. <ellipse fill="none" stroke="black" cx="772.822" cy="-204.761" rx="4" ry="4.5"/>
  676. </g>
  677. <!-- t1 -->
  678. <g id="node34" class="node"><title>t1</title>
  679. <polygon fill="white" stroke="black" points="685.243,-198.371 685.243,-198.371 685.243,-197.371 685.243,-197.371 685.243,-198.371"/>
  680. </g>
  681. <!-- p11&#45;&gt;t1 -->
  682. <g id="edge43" class="edge"><title>p11&#45;&gt;t1</title>
  683. <path fill="none" stroke="black" d="M768.598,-204.428C755.528,-203.4 715.465,-200.249 696.035,-198.72"/>
  684. <polygon fill="black" stroke="black" points="696.231,-195.225 685.987,-197.93 695.682,-202.203 696.231,-195.225"/>
  685. </g>
  686. <!-- p11_l -->
  687. <!-- p11_l&#45;&gt;p11 -->
  688. <g id="edge4" class="edge"><title>p11_l&#45;&gt;p11</title>
  689. <path fill="none" stroke="white" d="M852.339,-198.095C846.535,-198.581 792.953,-203.073 777.174,-204.396"/>
  690. <text text-anchor="middle" x="785.853" y="-197.827" font-family="Helvetica,sans-Serif" font-size="14.00">init</text>
  691. </g>
  692. <!-- p7 -->
  693. <g id="node7" class="node"><title>p7</title>
  694. <ellipse fill="white" stroke="black" cx="629.103" cy="-121.283" rx="0" ry="0.5"/>
  695. </g>
  696. <!-- t8 -->
  697. <g id="node37" class="node"><title>t8</title>
  698. <polygon fill="white" stroke="black" points="544.47,-86.32 544.47,-86.32 544.47,-85.32 544.47,-85.32 544.47,-86.32"/>
  699. </g>
  700. <!-- p7&#45;&gt;t8 -->
  701. <g id="edge45" class="edge"><title>p7&#45;&gt;t8</title>
  702. <path fill="none" stroke="black" d="M628.562,-121.057C622.993,-118.723 575.821,-98.9569 554.665,-90.092"/>
  703. <polygon fill="black" stroke="black" points="555.911,-86.8192 545.335,-86.1825 553.206,-93.2753 555.911,-86.8192"/>
  704. </g>
  705. <!-- p7_l -->
  706. <!-- p7_l&#45;&gt;p7 -->
  707. <g id="edge6" class="edge"><title>p7_l&#45;&gt;p7</title>
  708. <path fill="none" stroke="white" d="M672.217,-49.655C668.752,-55.4108 633.891,-113.329 629.546,-120.546"/>
  709. <text text-anchor="middle" x="630.599" y="-109.002" font-family="Helvetica,sans-Serif" font-size="14.00">p1</text>
  710. </g>
  711. <!-- p3 -->
  712. <g id="node10" class="node"><title>p3</title>
  713. <ellipse fill="white" stroke="black" cx="661.21" cy="-288.232" rx="0" ry="0.5"/>
  714. </g>
  715. <!-- t7 -->
  716. <g id="node40" class="node"><title>t7</title>
  717. <polygon fill="white" stroke="black" points="593.805,-354.128 593.805,-354.128 593.805,-353.128 593.805,-353.128 593.805,-354.128"/>
  718. </g>
  719. <!-- p3&#45;&gt;t7 -->
  720. <g id="edge49" class="edge"><title>p3&#45;&gt;t7</title>
  721. <path fill="none" stroke="black" d="M660.78,-288.65C656.323,-292.974 618.418,-329.749 601.687,-345.981"/>
  722. <polygon fill="black" stroke="black" points="599.234,-343.484 594.494,-352.959 604.108,-348.508 599.234,-343.484"/>
  723. </g>
  724. <!-- p3_l -->
  725. <!-- p3_l&#45;&gt;p3 -->
  726. <g id="edge8" class="edge"><title>p3_l&#45;&gt;p3</title>
  727. <path fill="none" stroke="white" d="M732.171,-331.55C726.469,-328.069 669.091,-293.042 661.94,-288.678"/>
  728. <text text-anchor="middle" x="671.878" y="-288.193" font-family="Helvetica,sans-Serif" font-size="14.00">p2</text>
  729. </g>
  730. <!-- p2 -->
  731. <g id="node13" class="node"><title>p2</title>
  732. <ellipse fill="white" stroke="black" cx="454.691" cy="-99.0328" rx="0" ry="0.5"/>
  733. </g>
  734. <!-- t4 -->
  735. <g id="node43" class="node"><title>t4</title>
  736. <polygon fill="white" stroke="black" points="388.494,-160.231 388.494,-160.231 388.494,-159.231 388.494,-159.231 388.494,-160.231"/>
  737. </g>
  738. <!-- p2&#45;&gt;t4 -->
  739. <g id="edge53" class="edge"><title>p2&#45;&gt;t4</title>
  740. <path fill="none" stroke="black" d="M454.268,-99.4204C449.932,-103.396 413.365,-136.926 396.705,-152.202"/>
  741. <polygon fill="black" stroke="black" points="394.176,-149.772 389.171,-159.11 398.907,-154.932 394.176,-149.772"/>
  742. </g>
  743. <!-- p2_l -->
  744. <!-- p2_l&#45;&gt;p2 -->
  745. <g id="edge10" class="edge"><title>p2_l&#45;&gt;p2</title>
  746. <path fill="none" stroke="white" d="M424.377,-19.3462C426.813,-25.7496 451.324,-90.1837 454.379,-98.2129"/>
  747. <text text-anchor="middle" x="447.206" y="-89.6447" font-family="Helvetica,sans-Serif" font-size="14.00">p3</text>
  748. </g>
  749. <!-- p8 -->
  750. <g id="node16" class="node"><title>p8</title>
  751. <ellipse fill="white" stroke="black" cx="522.769" cy="-310.883" rx="0" ry="0.5"/>
  752. </g>
  753. <!-- t6 -->
  754. <g id="node46" class="node"><title>t6</title>
  755. <polygon fill="white" stroke="black" points="439.168,-280.311 439.168,-280.311 439.168,-279.311 439.168,-279.311 439.168,-280.311"/>
  756. </g>
  757. <!-- p8&#45;&gt;t6 -->
  758. <g id="edge57" class="edge"><title>p8&#45;&gt;t6</title>
  759. <path fill="none" stroke="black" d="M522.235,-310.685C516.759,-308.65 470.578,-291.485 449.538,-283.665"/>
  760. <polygon fill="black" stroke="black" points="450.616,-280.332 440.023,-280.129 448.177,-286.893 450.616,-280.332"/>
  761. </g>
  762. <!-- p8_l -->
  763. <!-- p8_l&#45;&gt;p8 -->
  764. <g id="edge12" class="edge"><title>p8_l&#45;&gt;p8</title>
  765. <path fill="none" stroke="white" d="M553.588,-252.871C550.378,-258.914 526.099,-304.614 523.077,-310.303"/>
  766. <text text-anchor="middle" x="523.597" y="-298.716" font-family="Helvetica,sans-Serif" font-size="14.00">p4</text>
  767. </g>
  768. <!-- p10 -->
  769. <g id="node19" class="node"><title>p10</title>
  770. <ellipse fill="white" stroke="black" cx="540.324" cy="-429.081" rx="0" ry="0.5"/>
  771. </g>
  772. <!-- t3 -->
  773. <g id="node49" class="node"><title>t3</title>
  774. <polygon fill="white" stroke="black" points="449.203,-447.303 449.203,-447.303 449.203,-446.303 449.203,-446.303 449.203,-447.303"/>
  775. </g>
  776. <!-- p10&#45;&gt;t3 -->
  777. <g id="edge61" class="edge"><title>p10&#45;&gt;t3</title>
  778. <path fill="none" stroke="black" d="M539.742,-429.195C533.703,-430.369 482.241,-440.378 459.703,-444.761"/>
  779. <polygon fill="black" stroke="black" points="458.88,-441.356 449.732,-446.7 460.216,-448.227 458.88,-441.356"/>
  780. </g>
  781. <!-- p10_l -->
  782. <!-- p10_l&#45;&gt;p10 -->
  783. <g id="edge14" class="edge"><title>p10_l&#45;&gt;p10</title>
  784. <path fill="none" stroke="white" d="M579.397,-504.038C576.257,-498.015 544.663,-437.405 540.726,-429.853"/>
  785. <text text-anchor="middle" x="548.663" y="-434.336" font-family="Helvetica,sans-Serif" font-size="14.00">p5</text>
  786. </g>
  787. <!-- p5 -->
  788. <g id="node22" class="node"><title>p5</title>
  789. <ellipse fill="white" stroke="black" cx="362.46" cy="-251.137" rx="0" ry="0.5"/>
  790. </g>
  791. <!-- t2 -->
  792. <g id="node52" class="node"><title>t2</title>
  793. <polygon fill="white" stroke="black" points="307.184,-332.433 307.184,-332.433 307.184,-331.433 307.184,-331.433 307.184,-332.433"/>
  794. </g>
  795. <!-- p5&#45;&gt;t2 -->
  796. <g id="edge65" class="edge"><title>p5&#45;&gt;t2</title>
  797. <path fill="none" stroke="black" d="M362.107,-251.653C358.435,-257.021 327.074,-302.861 313.455,-322.768"/>
  798. <polygon fill="black" stroke="black" points="310.507,-320.878 307.749,-331.107 316.284,-324.83 310.507,-320.878"/>
  799. </g>
  800. <!-- p5_l -->
  801. <!-- p5_l&#45;&gt;p5 -->
  802. <g id="edge16" class="edge"><title>p5_l&#45;&gt;p5</title>
  803. <path fill="none" stroke="white" d="M310.179,-197.332C315.625,-202.937 356.81,-245.323 361.937,-250.599"/>
  804. <text text-anchor="middle" x="352.59" y="-245.444" font-family="Helvetica,sans-Serif" font-size="14.00">p6</text>
  805. </g>
  806. <!-- p1 -->
  807. <g id="node25" class="node"><title>p1</title>
  808. <ellipse fill="white" stroke="black" cx="362.563" cy="-408.887" rx="0" ry="0.5"/>
  809. </g>
  810. <!-- p1&#45;&gt;t2 -->
  811. <g id="edge73" class="edge"><title>p1&#45;&gt;t2</title>
  812. <path fill="none" stroke="black" d="M362.209,-408.395C358.548,-403.307 327.405,-360.032 313.66,-340.932"/>
  813. <polygon fill="black" stroke="black" points="316.432,-338.792 307.75,-332.72 310.751,-342.881 316.432,-338.792"/>
  814. </g>
  815. <!-- p1_l -->
  816. <!-- p1_l&#45;&gt;p1 -->
  817. <g id="edge18" class="edge"><title>p1_l&#45;&gt;p1</title>
  818. <path fill="none" stroke="white" d="M338.541,-487.665C340.472,-481.334 359.895,-417.635 362.316,-409.697"/>
  819. <text text-anchor="middle" x="363.715" y="-417.999" font-family="Helvetica,sans-Serif" font-size="14.00">p7</text>
  820. </g>
  821. <!-- p6 -->
  822. <g id="node28" class="node"><title>p6</title>
  823. <ellipse fill="white" stroke="black" cx="234.573" cy="-377.897" rx="0" ry="0.5"/>
  824. </g>
  825. <!-- t5 -->
  826. <g id="node55" class="node"><title>t5</title>
  827. <polygon fill="white" stroke="black" points="162.912,-409.116 162.912,-409.116 162.912,-408.116 162.912,-408.116 162.912,-409.116"/>
  828. </g>
  829. <!-- p6&#45;&gt;t5 -->
  830. <g id="edge77" class="edge"><title>p6&#45;&gt;t5</title>
  831. <path fill="none" stroke="black" d="M233.768,-378.242C227.858,-380.775 190.887,-396.624 172.824,-404.367"/>
  832. <polygon fill="black" stroke="black" points="171.434,-401.155 163.622,-408.312 174.192,-407.589 171.434,-401.155"/>
  833. </g>
  834. <!-- p6_l -->
  835. <!-- p6_l&#45;&gt;p6 -->
  836. <g id="edge20" class="edge"><title>p6_l&#45;&gt;p6</title>
  837. <path fill="none" stroke="white" d="M156.579,-328.788C162.951,-332.8 228.03,-373.777 234.117,-377.609"/>
  838. <text text-anchor="middle" x="224.196" y="-374.757" font-family="Helvetica,sans-Serif" font-size="14.00">p8</text>
  839. </g>
  840. <!-- p4 -->
  841. <g id="node31" class="node"><title>p4</title>
  842. <ellipse fill="white" stroke="black" cx="218.376" cy="-335.695" rx="0" ry="0.5"/>
  843. </g>
  844. <!-- p4&#45;&gt;t5 -->
  845. <g id="edge81" class="edge"><title>p4&#45;&gt;t5</title>
  846. <path fill="none" stroke="black" d="M218.022,-336.16C214.372,-340.959 183.458,-381.603 169.594,-399.831"/>
  847. <polygon fill="black" stroke="black" points="166.748,-397.792 163.479,-407.87 172.319,-402.03 166.748,-397.792"/>
  848. </g>
  849. <!-- p4_l -->
  850. <!-- p4_l&#45;&gt;p4 -->
  851. <g id="edge22" class="edge"><title>p4_l&#45;&gt;p4</title>
  852. <path fill="none" stroke="white" d="M154.081,-270.359C159.334,-275.696 212.982,-330.213 218,-335.313"/>
  853. <text text-anchor="middle" x="208.631" y="-330.217" font-family="Helvetica,sans-Serif" font-size="14.00">p9</text>
  854. </g>
  855. <!-- t1&#45;&gt;p7 -->
  856. <g id="edge47" class="edge"><title>t1&#45;&gt;p7</title>
  857. <path fill="none" stroke="black" d="M684.613,-197.011C679.813,-190.464 648.872,-148.253 635.379,-129.845"/>
  858. <polygon fill="black" stroke="black" points="638.153,-127.71 629.419,-121.714 632.508,-131.848 638.153,-127.71"/>
  859. </g>
  860. <!-- t1&#45;&gt;p3 -->
  861. <g id="edge51" class="edge"><title>t1&#45;&gt;p3</title>
  862. <path fill="none" stroke="black" d="M685.09,-198.448C683.497,-204.437 669.924,-255.469 663.98,-277.819"/>
  863. <polygon fill="black" stroke="black" points="660.538,-277.143 661.35,-287.707 667.303,-278.943 660.538,-277.143"/>
  864. </g>
  865. <!-- t1_l -->
  866. <!-- t1_l&#45;&gt;t1 -->
  867. <g id="edge24" class="edge"><title>t1_l&#45;&gt;t1</title>
  868. <path fill="none" stroke="white" d="M741.234,-146.348C735.402,-151.715 691.294,-192.303 685.804,-197.356"/>
  869. <text text-anchor="middle" x="689.611" y="-186.509" font-family="Helvetica,sans-Serif" font-size="14.00">t1</text>
  870. </g>
  871. <!-- t8&#45;&gt;p2 -->
  872. <g id="edge55" class="edge"><title>t8&#45;&gt;p2</title>
  873. <path fill="none" stroke="black" d="M543.897,-85.9043C537.975,-86.7758 487.727,-94.1709 465.357,-97.463"/>
  874. <polygon fill="black" stroke="black" points="464.596,-94.0372 455.212,-98.956 465.615,-100.963 464.596,-94.0372"/>
  875. </g>
  876. <!-- t8_l -->
  877. <!-- t8_l&#45;&gt;t8 -->
  878. <g id="edge26" class="edge"><title>t8_l&#45;&gt;t8</title>
  879. <path fill="none" stroke="white" d="M552.106,-2.03845C551.492,-8.77089 545.318,-76.5161 544.549,-84.958"/>
  880. <text text-anchor="middle" x="541.162" y="-73.9487" font-family="Helvetica,sans-Serif" font-size="14.00">t2</text>
  881. </g>
  882. <!-- t7&#45;&gt;p8 -->
  883. <g id="edge59" class="edge"><title>t7&#45;&gt;p8</title>
  884. <path fill="none" stroke="black" d="M593.007,-353.148C587.091,-349.588 549.782,-327.138 532.075,-316.483"/>
  885. <polygon fill="black" stroke="black" points="533.845,-313.463 523.472,-311.306 530.235,-319.461 533.845,-313.463"/>
  886. </g>
  887. <!-- t7&#45;&gt;p10 -->
  888. <g id="edge63" class="edge"><title>t7&#45;&gt;p10</title>
  889. <path fill="none" stroke="black" d="M593.204,-354.475C588.654,-360.895 559.438,-402.114 546.488,-420.384"/>
  890. <polygon fill="black" stroke="black" points="543.552,-418.475 540.625,-428.657 549.263,-422.522 543.552,-418.475"/>
  891. </g>
  892. <!-- t7_l -->
  893. <!-- t7_l&#45;&gt;t7 -->
  894. <g id="edge28" class="edge"><title>t7_l&#45;&gt;t7</title>
  895. <path fill="none" stroke="white" d="M650.47,-409.655C644.567,-403.819 599.929,-359.683 594.372,-354.189"/>
  896. <text text-anchor="middle" x="603.788" y="-355.956" font-family="Helvetica,sans-Serif" font-size="14.00">t3</text>
  897. </g>
  898. <!-- t4&#45;&gt;p5 -->
  899. <g id="edge69" class="edge"><title>t4&#45;&gt;p5</title>
  900. <path fill="none" stroke="black" d="M388.328,-160.315C386.594,-166.401 371.758,-218.491 365.368,-240.927"/>
  901. <polygon fill="black" stroke="black" points="361.984,-240.03 362.611,-250.606 368.717,-241.948 361.984,-240.03"/>
  902. </g>
  903. <!-- t4_l -->
  904. <!-- t4_l&#45;&gt;t4 -->
  905. <g id="edge30" class="edge"><title>t4_l&#45;&gt;t4</title>
  906. <path fill="none" stroke="white" d="M332.564,-95.1795C338.39,-101.904 382.449,-152.755 387.934,-159.085"/>
  907. <text text-anchor="middle" x="378.805" y="-153.403" font-family="Helvetica,sans-Serif" font-size="14.00">t4</text>
  908. </g>
  909. <!-- t6&#45;&gt;p5 -->
  910. <g id="edge67" class="edge"><title>t6&#45;&gt;p5</title>
  911. <path fill="none" stroke="black" d="M438.307,-279.489C431.949,-277.112 392.019,-262.186 372.788,-254.998"/>
  912. <polygon fill="black" stroke="black" points="373.812,-251.644 363.219,-251.421 371.361,-258.201 373.812,-251.644"/>
  913. </g>
  914. <!-- t6_l -->
  915. <!-- t6_l&#45;&gt;t6 -->
  916. <g id="edge32" class="edge"><title>t6_l&#45;&gt;t6</title>
  917. <path fill="none" stroke="white" d="M435.605,-346.261C435.976,-339.339 438.783,-286.992 439.132,-280.476"/>
  918. <text text-anchor="middle" x="442.867" y="-288.152" font-family="Helvetica,sans-Serif" font-size="14.00">t5</text>
  919. </g>
  920. <!-- t3&#45;&gt;p1 -->
  921. <g id="edge71" class="edge"><title>t3&#45;&gt;p1</title>
  922. <path fill="none" stroke="black" d="M448.649,-446.561C442.88,-444.037 393.507,-422.429 372.241,-413.123"/>
  923. <polygon fill="black" stroke="black" points="373.631,-409.91 363.066,-409.107 370.824,-416.323 373.631,-409.91"/>
  924. </g>
  925. <!-- t3_l -->
  926. <!-- t3_l&#45;&gt;t3 -->
  927. <g id="edge34" class="edge"><title>t3_l&#45;&gt;t3</title>
  928. <path fill="none" stroke="white" d="M452.172,-531.65C451.933,-524.832 449.532,-456.226 449.233,-447.676"/>
  929. <text text-anchor="middle" x="453.774" y="-454.986" font-family="Helvetica,sans-Serif" font-size="14.00">t6</text>
  930. </g>
  931. <!-- t2&#45;&gt;p6 -->
  932. <g id="edge75" class="edge"><title>t2&#45;&gt;p6</title>
  933. <path fill="none" stroke="black" d="M306.369,-332.45C300.292,-336.296 261.816,-360.652 243.825,-372.04"/>
  934. <polygon fill="black" stroke="black" points="241.869,-369.136 235.292,-377.442 245.613,-375.05 241.869,-369.136"/>
  935. </g>
  936. <!-- t2&#45;&gt;p4 -->
  937. <g id="edge79" class="edge"><title>t2&#45;&gt;p4</title>
  938. <path fill="none" stroke="black" d="M306.617,-331.957C300.76,-332.205 251.055,-334.311 228.927,-335.248"/>
  939. <polygon fill="black" stroke="black" points="228.735,-331.753 218.892,-335.673 229.031,-338.747 228.735,-331.753"/>
  940. </g>
  941. <!-- t2_l -->
  942. <!-- t2_l&#45;&gt;t2 -->
  943. <g id="edge36" class="edge"><title>t2_l&#45;&gt;t2</title>
  944. <path fill="none" stroke="white" d="M265.912,-276.084C270.211,-281.902 302.724,-325.898 306.771,-331.374"/>
  945. <text text-anchor="middle" x="297.986" y="-324.997" font-family="Helvetica,sans-Serif" font-size="14.00">t7</text>
  946. </g>
  947. <!-- t5&#45;&gt;p9 -->
  948. <g id="edge41" class="edge"><title>t5&#45;&gt;p9</title>
  949. <path fill="none" stroke="black" d="M162.371,-408.627C156.876,-408.744 110.917,-409.716 89.3261,-410.172"/>
  950. <polygon fill="black" stroke="black" points="88.9925,-406.679 79.0688,-410.389 89.1406,-413.677 88.9925,-406.679"/>
  951. </g>
  952. <!-- t5_l -->
  953. <!-- t5_l&#45;&gt;t5 -->
  954. <g id="edge38" class="edge"><title>t5_l&#45;&gt;t5</title>
  955. <path fill="none" stroke="white" d="M142.163,-487.518C143.83,-481.178 160.608,-417.378 162.699,-409.428"/>
  956. <text text-anchor="middle" x="164.481" y="-417.668" font-family="Helvetica,sans-Serif" font-size="14.00">t8</text>
  957. </g>
  958. </g>
  959. </svg>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!