docs/test_2_04.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="742pt" height="230pt"
 viewBox="0.00 0.00 742.34 230.12" 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 226.125)">
<title>G</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-226.125 738.34,-226.125 738.34,4 -4,4"/>
<!-- 0 -->
<g id="node1" class="node"><title>0</title>
<ellipse fill="none" stroke="black" cx="191.702" cy="-48.5477" rx="44.5916" ry="44.5916"/>
<ellipse fill="none" stroke="black" cx="191.702" cy="-48.5477" rx="48.5955" ry="48.5955"/>
<text text-anchor="middle" x="191.702" y="-52.3477" font-family="Times,serif" font-size="14.00">S00</text>
<text text-anchor="middle" x="191.702" y="-37.3477" 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="388.827" cy="-48.5477" rx="27.6545" ry="27.6545"/>
<text text-anchor="middle" x="388.827" y="-52.3477" font-family="Times,serif" font-size="14.00">S01</text>
<text text-anchor="middle" x="388.827" y="-37.3477" font-family="Times,serif" font-size="14.00">St&#45;1</text>
</g>
<!-- 0&#45;&gt;1 -->
<g id="edge2" class="edge"><title>0&#45;&gt;1</title>
<path fill="none" stroke="red" stroke-width="2" d="M240.435,-48.5477C274.494,-48.5477 319.628,-48.5477 350.938,-48.5477"/>
<polygon fill="red" stroke="red" stroke-width="2" points="350.99,-52.0478 360.99,-48.5477 350.99,-45.0478 350.99,-52.0478"/>
<text text-anchor="middle" x="300.75" y="-52.3477" 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="519.295" cy="-48.5477" rx="38.7821" ry="38.7821"/>
<text text-anchor="middle" x="519.295" y="-52.3477" font-family="Times,serif" font-size="14.00">S02</text>
<text text-anchor="middle" x="519.295" y="-37.3477" font-family="Times,serif" font-size="14.00">state_2</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="M416.446,-48.5477C431.877,-48.5477 451.779,-48.5477 469.891,-48.5477"/>
<polygon fill="green" stroke="green" stroke-width="2" points="470.014,-52.0478 480.014,-48.5477 470.014,-45.0478 470.014,-52.0478"/>
<text text-anchor="middle" x="448.404" y="-52.3477" 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="706.763" cy="-48.5477" rx="27.6545" ry="27.6545"/>
<text text-anchor="middle" x="706.763" y="-52.3477" font-family="Times,serif" font-size="14.00">S03</text>
<text text-anchor="middle" x="706.763" y="-37.3477" font-family="Times,serif" font-size="14.00">St&#45;3</text>
</g>
<!-- 2&#45;&gt;3 -->
<g id="edge4" class="edge"><title>2&#45;&gt;3</title>
<path fill="none" stroke="red" stroke-width="2" d="M558.275,-48.5477C590.553,-48.5477 636.619,-48.5477 668.648,-48.5477"/>
<polygon fill="red" stroke="red" stroke-width="2" points="668.931,-52.0478 678.931,-48.5477 668.931,-45.0478 668.931,-52.0478"/>
<text text-anchor="middle" x="618.686" y="-52.3477" 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="27.5772" cy="-121.548" rx="27.6545" ry="27.6545"/>
<text text-anchor="middle" x="27.5772" y="-125.348" font-family="Times,serif" font-size="14.00">S04</text>
<text text-anchor="middle" x="27.5772" y="-110.348" font-family="Times,serif" font-size="14.00">St&#45;4</text>
</g>
<!-- 5 -->
<g id="node6" class="node"><title>5</title>
<ellipse fill="none" stroke="black" cx="27.5772" cy="-194.548" rx="27.6545" ry="27.6545"/>
<text text-anchor="middle" x="27.5772" y="-198.348" font-family="Times,serif" font-size="14.00">S05</text>
<text text-anchor="middle" x="27.5772" y="-183.348" font-family="Times,serif" font-size="14.00">St&#45;5</text>
</g>
<!-- 6 -->
<g id="node7" class="node"><title>6</title>
<ellipse fill="none" stroke="black" cx="27.5772" cy="-48.5477" rx="27.6545" ry="27.6545"/>
<text text-anchor="middle" x="27.5772" y="-52.3477" font-family="Times,serif" font-size="14.00">S06</text>
<text text-anchor="middle" x="27.5772" y="-37.3477" 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="M55.3488,-48.5477C76.3099,-48.5477 106.234,-48.5477 132.618,-48.5477"/>
<polygon fill="black" stroke="black" stroke-width="2" points="132.909,-52.0478 142.909,-48.5477 132.909,-45.0478 132.909,-52.0478"/>
<text text-anchor="middle" x="99.1543" y="-52.3477" font-family="Times,serif" font-size="14.00">E01:Ev&#45;1</text>
</g>
</g>
</svg>