86 lines
4.8 KiB
XML
86 lines
4.8 KiB
XML
<?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: DiskGraph Pages: 1 -->
|
|
<svg width="737pt" height="279pt"
|
|
viewBox="0.00 0.00 737.00 278.50" 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 274.5)">
|
|
<title>DiskGraph</title>
|
|
<polygon fill="white" stroke="none" points="-4,4 -4,-274.5 733,-274.5 733,4 -4,4"/>
|
|
<g id="clust1" class="cluster">
|
|
<title>cluster_graph</title>
|
|
<polygon fill="none" stroke="white" points="8,-8 8,-237.5 560,-237.5 560,-8 8,-8"/>
|
|
</g>
|
|
<g id="clust4" class="cluster">
|
|
<title>cluster_legend</title>
|
|
<polygon fill="none" stroke="black" points="568,-185 568,-262.5 721,-262.5 721,-185 568,-185"/>
|
|
<text text-anchor="middle" x="644.5" y="-245.2" font-family="Times,serif" font-size="14.00">Next State Actions</text>
|
|
</g>
|
|
<!-- -7980665082544124364 -->
|
|
<g id="node1" class="node">
|
|
<title>-7980665082544124364</title>
|
|
<ellipse fill="lightgrey" stroke="black" cx="427" cy="-211.5" rx="124.54" ry="18"/>
|
|
<text text-anchor="middle" x="427" y="-206.45" font-family="Times,serif" font-size="14.00">rmState = (rm1 :> "working")</text>
|
|
</g>
|
|
<!-- 6029542620116825800 -->
|
|
<g id="node2" class="node">
|
|
<title>6029542620116825800</title>
|
|
<ellipse fill="none" stroke="black" cx="255" cy="-122.5" rx="126.08" ry="18"/>
|
|
<text text-anchor="middle" x="255" y="-117.45" font-family="Times,serif" font-size="14.00">rmState = (rm1 :> "prepared")</text>
|
|
</g>
|
|
<!-- -7980665082544124364->6029542620116825800 -->
|
|
<g id="edge1" class="edge">
|
|
<title>-7980665082544124364->6029542620116825800</title>
|
|
<path fill="none" stroke="#1f78b4" d="M393.84,-193.73C366.59,-179.94 327.8,-160.32 298.14,-145.32"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="299.92,-142.3 289.41,-140.91 296.76,-148.54 299.92,-142.3"/>
|
|
<text text-anchor="middle" x="377.03" y="-161.7" font-family="Times,serif" font-size="14.00" fill="#000000">Prepare</text>
|
|
</g>
|
|
<!-- -9199185219284342010 -->
|
|
<g id="node3" class="node">
|
|
<title>-9199185219284342010</title>
|
|
<ellipse fill="none" stroke="black" cx="431" cy="-34" rx="121.47" ry="18"/>
|
|
<text text-anchor="middle" x="431" y="-28.95" font-family="Times,serif" font-size="14.00">rmState = (rm1 :> "aborted")</text>
|
|
</g>
|
|
<!-- -7980665082544124364->-9199185219284342010 -->
|
|
<g id="edge2" class="edge">
|
|
<title>-7980665082544124364->-9199185219284342010</title>
|
|
<path fill="none" stroke="#b2df8a" d="M427.4,-193.03C428.09,-162.81 429.51,-100.48 430.34,-63.78"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="433.84,-63.99 430.57,-53.91 426.84,-63.83 433.84,-63.99"/>
|
|
<text text-anchor="middle" x="448.52" y="-117.45" font-family="Times,serif" font-size="14.00" fill="#000000">Decide</text>
|
|
</g>
|
|
<!-- 6029542620116825800->-9199185219284342010 -->
|
|
<g id="edge4" class="edge">
|
|
<title>6029542620116825800->-9199185219284342010</title>
|
|
<path fill="none" stroke="#b2df8a" d="M288.93,-104.82C316.81,-91.12 356.51,-71.61 386.86,-56.69"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="388.38,-59.85 395.81,-52.29 385.29,-53.56 388.38,-59.85"/>
|
|
<text text-anchor="middle" x="377.89" y="-73.2" font-family="Times,serif" font-size="14.00" fill="#000000">Decide</text>
|
|
</g>
|
|
<!-- -6612134952389495232 -->
|
|
<g id="node4" class="node">
|
|
<title>-6612134952389495232</title>
|
|
<ellipse fill="none" stroke="black" cx="150" cy="-34" rx="134.26" ry="18"/>
|
|
<text text-anchor="middle" x="150" y="-28.95" font-family="Times,serif" font-size="14.00">rmState = (rm1 :> "committed")</text>
|
|
</g>
|
|
<!-- 6029542620116825800->-6612134952389495232 -->
|
|
<g id="edge3" class="edge">
|
|
<title>6029542620116825800->-6612134952389495232</title>
|
|
<path fill="none" stroke="#b2df8a" d="M234.26,-104.41C218.58,-91.5 196.85,-73.6 179.39,-59.21"/>
|
|
<polygon fill="#b2df8a" stroke="#b2df8a" points="181.81,-56.67 171.87,-53.02 177.36,-62.08 181.81,-56.67"/>
|
|
<text text-anchor="middle" x="231.03" y="-73.2" font-family="Times,serif" font-size="14.00" fill="#000000">Decide</text>
|
|
</g>
|
|
<!-- Prepare -->
|
|
<g id="node5" class="node">
|
|
<title>Prepare</title>
|
|
<polygon fill="#1f78b4" stroke="black" points="576.38,-193.5 576.38,-229.5 633.62,-229.5 633.62,-193.5 576.38,-193.5"/>
|
|
<text text-anchor="middle" x="605" y="-206.45" font-family="Times,serif" font-size="14.00">Prepare</text>
|
|
</g>
|
|
<!-- Decide -->
|
|
<g id="node6" class="node">
|
|
<title>Decide</title>
|
|
<polygon fill="#b2df8a" stroke="black" points="658.88,-193.5 658.88,-229.5 713.12,-229.5 713.12,-193.5 658.88,-193.5"/>
|
|
<text text-anchor="middle" x="686" y="-206.45" font-family="Times,serif" font-size="14.00">Decide</text>
|
|
</g>
|
|
</g>
|
|
</svg>
|
