docs/test_2_02.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.38.0 (20140413.2041)
 -->
<!-- Title: G Pages: 1 -->
<svg width="585pt" height="255pt"
 viewBox="0.00 0.00 585.19 255.15" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 251.154)">
<title>G</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-251.154 581.186,-251.154 581.186,4 -4,4"/>
<!-- 0 -->
<g id="node1" class="node"><title>0</title>
<ellipse fill="none" stroke="black" cx="198.702" cy="-63.5772" rx="44.5916" ry="44.5916"/>
<ellipse fill="none" stroke="black" cx="198.702" cy="-63.5772" rx="48.5955" ry="48.5955"/>
<text text-anchor="middle" x="198.702" y="-67.3772" font-family="Times,serif" font-size="14.00">S00</text>
<text text-anchor="middle" x="198.702" y="-52.3772" font-family="Times,serif" font-size="14.00">init state</text>
</g>
<!-- 2 -->
<g id="node3" class="node"><title>2</title>
<ellipse fill="none" stroke="black" cx="388.141" cy="-135.577" rx="38.7821" ry="38.7821"/>
<text text-anchor="middle" x="388.141" y="-139.377" font-family="Times,serif" font-size="14.00">S02</text>
<text text-anchor="middle" x="388.141" y="-124.377" font-family="Times,serif" font-size="14.00">state_2</text>
</g>
<!-- 0&#45;&gt;2 -->
<g id="edge2" class="edge"><title>0&#45;&gt;2</title>
<path fill="none" stroke="blue" stroke-width="2" d="M244.598,-80.823C274.082,-92.1483 312.509,-106.909 342.035,-118.251"/>
<polygon fill="blue" stroke="blue" stroke-width="2" points="341.091,-121.638 351.681,-121.956 343.601,-115.103 341.091,-121.638"/>
<text text-anchor="middle" x="298.25" y="-117.377" font-family="Times,serif" font-size="14.00">TO:1500ms</text>
</g>
<!-- 1 -->
<g id="node2" class="node"><title>1</title>
<ellipse fill="none" stroke="black" cx="198.702" cy="-157.577" rx="27.6545" ry="27.6545"/>
<text text-anchor="middle" x="198.702" y="-161.377" font-family="Times,serif" font-size="14.00">S01</text>
<text text-anchor="middle" x="198.702" y="-146.377" font-family="Times,serif" font-size="14.00">St&#45;1</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge3" class="edge"><title>1&#45;&gt;2</title>
<path fill="none" stroke="green" stroke-width="2" d="M226.16,-154.472C255.459,-151.033 303.295,-145.418 339.223,-141.201"/>
<polygon fill="green" stroke="green" stroke-width="2" points="339.961,-144.639 349.485,-139.997 339.145,-137.687 339.961,-144.639"/>
<text text-anchor="middle" x="298.25" y="-153.377" font-family="Times,serif" font-size="14.00">AAT</text>
</g>
<!-- 4 -->
<g id="node5" class="node"><title>4</title>
<ellipse fill="none" stroke="black" cx="549.609" cy="-135.577" rx="27.6545" ry="27.6545"/>
<text text-anchor="middle" x="549.609" y="-139.377" font-family="Times,serif" font-size="14.00">S04</text>
<text text-anchor="middle" x="549.609" y="-124.377" font-family="Times,serif" font-size="14.00">St&#45;4</text>
</g>
<!-- 2&#45;&gt;4 -->
<g id="edge4" class="edge"><title>2&#45;&gt;4</title>
<path fill="none" stroke="blue" stroke-width="2" d="M427.337,-135.577C452.815,-135.577 486.142,-135.577 511.411,-135.577"/>
<polygon fill="blue" stroke="blue" stroke-width="2" points="511.701,-139.077 521.701,-135.577 511.701,-132.077 511.701,-139.077"/>
<text text-anchor="middle" x="474.532" y="-139.377" font-family="Times,serif" font-size="14.00">TO:600ms</text>
</g>
<!-- 3 -->
<g id="node4" class="node"><title>3</title>
<ellipse fill="none" stroke="black" cx="388.141" cy="-219.577" rx="27.6545" ry="27.6545"/>
<text text-anchor="middle" x="388.141" y="-223.377" font-family="Times,serif" font-size="14.00">S03</text>
<text text-anchor="middle" x="388.141" y="-208.377" font-family="Times,serif" font-size="14.00">St&#45;3</text>
</g>
<!-- 3&#45;&gt;4 -->
<g id="edge5" class="edge"><title>3&#45;&gt;4</title>
<path fill="none" stroke="blue" stroke-width="2" d="M413.015,-207.002C440.338,-192.609 485.249,-168.952 515.835,-152.841"/>
<polygon fill="blue" stroke="blue" stroke-width="2" points="517.616,-155.859 524.832,-148.101 514.354,-149.665 517.616,-155.859"/>
<text text-anchor="middle" x="474.532" y="-193.377" font-family="Times,serif" font-size="14.00">TO:600ms</text>
</g>
<!-- 4&#45;&gt;0 -->
<g id="edge6" class="edge"><title>4&#45;&gt;0</title>
<path fill="none" stroke="blue" stroke-width="2" d="M526.529,-120.32C503.057,-105.044 464.26,-82.4343 427.032,-72.5772 370.768,-57.6803 303.956,-56.951 257.381,-59.015"/>
<polygon fill="blue" stroke="blue" stroke-width="2" points="256.986,-55.5303 247.174,-59.5264 257.337,-62.5216 256.986,-55.5303"/>
<text text-anchor="middle" x="388.141" y="-76.3772" font-family="Times,serif" font-size="14.00">TO:600ms</text>
</g>
<!-- 5 -->
<g id="node6" class="node"><title>5</title>
<ellipse fill="none" stroke="black" cx="27.5772" cy="-101.577" rx="27.6545" ry="27.6545"/>
<text text-anchor="middle" x="27.5772" y="-105.377" font-family="Times,serif" font-size="14.00">S05</text>
<text text-anchor="middle" x="27.5772" y="-90.3772" font-family="Times,serif" font-size="14.00">St&#45;5</text>
</g>
<!-- 5&#45;&gt;0 -->
<g id="edge7" class="edge"><title>5&#45;&gt;0</title>
<path fill="none" stroke="blue" stroke-width="2" d="M54.6323,-95.7229C77.5916,-90.5643 111.837,-82.8698 141.067,-76.3022"/>
<polygon fill="blue" stroke="blue" stroke-width="2" points="142.181,-79.6393 151.171,-74.0321 140.647,-72.8095 142.181,-79.6393"/>
<text text-anchor="middle" x="102.654" y="-95.3772" font-family="Times,serif" font-size="14.00">TO:600ms</text>
</g>
<!-- 6 -->
<g id="node7" class="node"><title>6</title>
<ellipse fill="none" stroke="black" cx="27.5772" cy="-27.5772" rx="27.6545" ry="27.6545"/>
<text text-anchor="middle" x="27.5772" y="-31.3772" font-family="Times,serif" font-size="14.00">S06</text>
<text text-anchor="middle" x="27.5772" y="-16.3772" font-family="Times,serif" font-size="14.00">St&#45;6</text>
</g>
<!-- 6&#45;&gt;0 -->
<g id="edge1" class="edge"><title>6&#45;&gt;0</title>
<path fill="none" stroke="black" stroke-width="2" d="M53.8764,-36.1466C60.133,-38.0927 66.8502,-40.0373 73.1543,-41.5772 94.8764,-46.8831 119.025,-51.449 140.233,-55.024"/>
<polygon fill="black" stroke="black" stroke-width="2" points="139.948,-58.5241 150.384,-56.6983 141.087,-51.6175 139.948,-58.5241"/>
<text text-anchor="middle" x="102.654" y="-57.3772" font-family="Times,serif" font-size="14.00">E01:Ev&#45;1</text>
</g>
<!-- 6&#45;&gt;0 -->
<g id="edge8" class="edge"><title>6&#45;&gt;0</title>
<path fill="none" stroke="blue" stroke-width="2" d="M54.6521,-21.7339C75.9268,-18.0467 106.544,-15.2271 132.154,-22.5772 138.335,-24.351 144.498,-26.8967 150.433,-29.8633"/>
<polygon fill="blue" stroke="blue" stroke-width="2" points="149.086,-33.1149 159.543,-34.8211 152.433,-26.9665 149.086,-33.1149"/>
<text text-anchor="middle" x="102.654" y="-26.3772" font-family="Times,serif" font-size="14.00">TO:600ms</text>
</g>
</g>
</svg>