fsm/examples/states.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 12.2.1 (20241206.2353)
 -->
<!-- Title: fsm Pages: 1 -->
<svg width="176pt" height="221pt"
 viewBox="0.00 0.00 176.03 221.00" 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 217)">
<title>fsm</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-217 172.03,-217 172.03,4 -4,4"/>
<!-- end -->
<g id="node1" class="node">
<title>end</title>
<ellipse fill="none" stroke="black" cx="117.6" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="117.6" y="-12.95" font-family="Times,serif" font-size="14.00">end</text>
</g>
<!-- finished -->
<g id="node2" class="node">
<title>finished</title>
<ellipse fill="none" stroke="black" cx="40.6" cy="-106.5" rx="40.6" ry="18"/>
<text text-anchor="middle" x="40.6" y="-101.45" font-family="Times,serif" font-size="14.00">finished</text>
</g>
<!-- end&#45;&gt;finished -->
<g id="edge1" class="edge">
<title>end&#45;&gt;finished</title>
<path fill="none" stroke="black" d="M98.96,-31.33C90.42,-37.52 80.51,-45.5 72.85,-54 66.13,-61.47 59.94,-70.51 54.82,-78.92"/>
<polygon fill="black" stroke="black" points="51.89,-77 49.91,-87.41 57.95,-80.51 51.89,-77"/>
<text text-anchor="middle" x="88.23" y="-57.2" font-family="Times,serif" font-size="14.00">finish</text>
</g>
<!-- start -->
<g id="node3" class="node">
<title>start</title>
<ellipse fill="none" stroke="red" cx="117.6" cy="-195" rx="27" ry="18"/>
<text text-anchor="middle" x="117.6" y="-189.95" font-family="Times,serif" font-size="14.00">start</text>
</g>
<!-- end&#45;&gt;start -->
<g id="edge2" class="edge">
<title>end&#45;&gt;start</title>
<path fill="none" stroke="black" d="M117.6,-36.42C117.6,-66.56 117.6,-128.7 117.6,-165.3"/>
<polygon fill="black" stroke="black" points="114.1,-165.14 117.6,-175.14 121.1,-165.14 114.1,-165.14"/>
<text text-anchor="middle" x="130.35" y="-101.45" font-family="Times,serif" font-size="14.00">reset</text>
</g>
<!-- finished&#45;&gt;start -->
<g id="edge3" class="edge">
<title>finished&#45;&gt;start</title>
<path fill="none" stroke="black" d="M51.25,-123.97C58.33,-134.43 68.14,-148.03 78.1,-159 82.42,-163.75 87.32,-168.51 92.18,-172.94"/>
<polygon fill="black" stroke="black" points="89.76,-175.47 99.58,-179.45 94.38,-170.21 89.76,-175.47"/>
<text text-anchor="middle" x="90.85" y="-145.7" font-family="Times,serif" font-size="14.00">reset</text>
</g>
<!-- start&#45;&gt;end -->
<g id="edge4" class="edge">
<title>start&#45;&gt;end</title>
<path fill="none" stroke="black" d="M126.87,-177.78C134.13,-164.07 143.64,-143.68 147.6,-124.5 150.84,-108.83 150.84,-104.17 147.6,-88.5 144.54,-73.67 138.15,-58.11 132.06,-45.48"/>
<polygon fill="black" stroke="black" points="135.19,-43.92 127.55,-36.57 128.95,-47.08 135.19,-43.92"/>
<text text-anchor="middle" x="159.03" y="-101.45" font-family="Times,serif" font-size="14.00">run</text>
</g>
</g>
</svg>