docs/test_2_11.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="914pt" height="160pt"
 viewBox="0.00 0.00 914.19 160.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 156.154)">
<title>G</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-156.154 910.186,-156.154 910.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>
<!-- 1 -->
<g id="node2" class="node"><title>1</title>
<ellipse fill="none" stroke="black" cx="401.25" cy="-124.577" rx="27.6545" ry="27.6545"/>
<text text-anchor="middle" x="401.25" y="-128.377" font-family="Times,serif" font-size="14.00">S01</text>
<text text-anchor="middle" x="401.25" y="-113.377" font-family="Times,serif" font-size="14.00">St&#45;1</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge3" class="edge"><title>0&#45;&gt;1</title>
<path fill="none" stroke="black" stroke-width="2" d="M245.46,-77.4953C281.71,-88.5212 331.615,-103.701 364.854,-113.811"/>
<polygon fill="black" stroke="black" stroke-width="2" points="364.015,-117.214 374.601,-116.776 366.052,-110.517 364.015,-117.214"/>
<text text-anchor="middle" x="307.75" y="-111.377" font-family="Times,serif" font-size="14.00">IE00:my_event</text>
</g>
<!-- 2 -->
<g id="node3" class="node"><title>2</title>
<ellipse fill="none" stroke="black" cx="537.141" cy="-96.5772" rx="38.7821" ry="38.7821"/>
<text text-anchor="middle" x="537.141" y="-100.377" font-family="Times,serif" font-size="14.00">S02</text>
<text text-anchor="middle" x="537.141" y="-85.3772" 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="black" stroke-width="2" d="M247.552,-62.7228C295.116,-62.5046 370.045,-63.8669 434.25,-72.5772 452.465,-75.0483 472.193,-79.3134 489.394,-83.5691"/>
<polygon fill="black" stroke="black" stroke-width="2" points="488.645,-86.99 499.199,-86.06 490.369,-80.2055 488.645,-86.99"/>
<text text-anchor="middle" x="401.25" y="-76.3772" font-family="Times,serif" font-size="14.00">TO:1500ms</text>
</g>
<!-- 1&#45;&gt;2 -->
<g id="edge4" class="edge"><title>1&#45;&gt;2</title>
<path fill="none" stroke="black" stroke-width="2" d="M428.383,-119.112C445.571,-115.518 468.562,-110.71 488.892,-106.458"/>
<polygon fill="black" stroke="black" stroke-width="2" points="489.856,-109.832 498.928,-104.359 488.423,-102.98 489.856,-109.832"/>
<text text-anchor="middle" x="466.25" y="-117.377" font-family="Times,serif" font-size="14.00">AAT</text>
</g>
<!-- 3 -->
<g id="node4" class="node"><title>3</title>
<ellipse fill="none" stroke="black" cx="726.532" cy="-124.577" rx="27.6545" ry="27.6545"/>
<text text-anchor="middle" x="726.532" y="-128.377" font-family="Times,serif" font-size="14.00">S03</text>
<text text-anchor="middle" x="726.532" y="-113.377" font-family="Times,serif" font-size="14.00">St&#45;3</text>
</g>
<!-- 2&#45;&gt;3 -->
<g id="edge6" class="edge"><title>2&#45;&gt;3</title>
<path fill="none" stroke="black" stroke-width="2" d="M576.062,-102.243C609.066,-107.175 656.585,-114.275 689.132,-119.138"/>
<polygon fill="black" stroke="black" stroke-width="2" points="688.729,-122.617 699.136,-120.633 689.763,-115.694 688.729,-122.617"/>
<text text-anchor="middle" x="636.532" y="-120.377" font-family="Times,serif" font-size="14.00">IE00:my_event</text>
</g>
<!-- 4 -->
<g id="node5" class="node"><title>4</title>
<ellipse fill="none" stroke="black" cx="878.609" cy="-63.5772" rx="27.6545" ry="27.6545"/>
<text text-anchor="middle" x="878.609" y="-67.3772" font-family="Times,serif" font-size="14.00">S04</text>
<text text-anchor="middle" x="878.609" y="-52.3772" font-family="Times,serif" font-size="14.00">St&#45;4</text>
</g>
<!-- 2&#45;&gt;4 -->
<g id="edge5" class="edge"><title>2&#45;&gt;4</title>
<path fill="none" stroke="black" stroke-width="2" d="M575.569,-89.8412C607.683,-84.3218 655.254,-76.7628 697.032,-72.5772 746.636,-67.6073 804.195,-65.34 840.745,-64.3348"/>
<polygon fill="black" stroke="black" stroke-width="2" points="841.021,-67.8289 850.927,-64.0726 840.841,-60.8312 841.021,-67.8289"/>
<text text-anchor="middle" x="726.532" y="-76.3772" font-family="Times,serif" font-size="14.00">TO:600ms</text>
</g>
<!-- 3&#45;&gt;4 -->
<g id="edge7" class="edge"><title>3&#45;&gt;4</title>
<path fill="none" stroke="black" stroke-width="2" d="M752.314,-114.504C777.188,-104.394 815.697,-88.7415 843.458,-77.4578"/>
<polygon fill="black" stroke="black" stroke-width="2" points="844.844,-80.6729 852.79,-73.665 842.208,-74.1881 844.844,-80.6729"/>
<text text-anchor="middle" x="803.532" y="-108.377" font-family="Times,serif" font-size="14.00">TO:600ms</text>
</g>
<!-- 4&#45;&gt;0 -->
<g id="edge8" class="edge"><title>4&#45;&gt;0</title>
<path fill="none" stroke="black" stroke-width="2" d="M853.606,-51.3708C824.539,-37.7431 773.723,-17.5772 727.532,-17.5772 400.25,-17.5772 400.25,-17.5772 400.25,-17.5772 349.759,-17.5772 293.887,-31.6002 253.967,-44.1612"/>
<polygon fill="black" stroke="black" stroke-width="2" points="252.878,-40.835 244.43,-47.2298 255.022,-47.4986 252.878,-40.835"/>
<text text-anchor="middle" x="537.141" y="-21.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="edge9" class="edge"><title>5&#45;&gt;0</title>
<path fill="none" stroke="black" stroke-width="2" d="M54.6323,-95.7229C77.5916,-90.5643 111.837,-82.8698 141.067,-76.3022"/>
<polygon fill="black" stroke="black" 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="edge10" class="edge"><title>6&#45;&gt;0</title>
<path fill="none" stroke="black" 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="black" stroke="black" 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>