learning_tla/learn_tla/topics/fsm_tla.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: DiskGraph Pages: 1 -->
<svg width="383pt" height="253pt"
 viewBox="0.00 0.00 383.00 253.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 249)">
<title>DiskGraph</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-249 379,-249 379,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_graph</title>
<polygon fill="none" stroke="white" points="8,-8 8,-237 367,-237 367,-8 8,-8"/>
</g>
<!-- &#45;7058397762639345087 -->
<g id="node1" class="node">
<title>&#45;7058397762639345087</title>
<ellipse fill="lightgrey" stroke="black" cx="172" cy="-211" rx="77.45" ry="18"/>
<text text-anchor="middle" x="172" y="-205.95" font-family="Times,serif" font-size="14.00">state = &quot;BothOff&quot;</text>
</g>
<!-- &#45;7804259126609009783 -->
<g id="node2" class="node">
<title>&#45;7804259126609009783</title>
<ellipse fill="none" stroke="black" cx="93" cy="-122.5" rx="77.45" ry="18"/>
<text text-anchor="middle" x="93" y="-117.45" font-family="Times,serif" font-size="14.00">state = &quot;WallOff&quot;</text>
</g>
<!-- &#45;7058397762639345087&#45;&gt;&#45;7804259126609009783 -->
<g id="edge1" class="edge">
<title>&#45;7058397762639345087&#45;&gt;&#45;7804259126609009783</title>
<path fill="none" stroke="#1f78b4" d="M108.73,-200.33C80.22,-194.55 51.03,-186.14 42.5,-175 34.69,-164.8 41.25,-154.51 51.91,-145.83"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="53.8,-148.78 59.92,-140.13 49.74,-143.08 53.8,-148.78"/>
<text text-anchor="middle" x="70.25" y="-161.7" font-family="Times,serif" font-size="14.00" fill="#000000">Transition</text>
</g>
<!-- &#45;4838096404213536898 -->
<g id="node3" class="node">
<title>&#45;4838096404213536898</title>
<ellipse fill="none" stroke="black" cx="277" cy="-122.5" rx="81.55" ry="18"/>
<text text-anchor="middle" x="277" y="-117.45" font-family="Times,serif" font-size="14.00">state = &quot;LampOff&quot;</text>
</g>
<!-- &#45;7058397762639345087&#45;&gt;&#45;4838096404213536898 -->
<g id="edge2" class="edge">
<title>&#45;7058397762639345087&#45;&gt;&#45;4838096404213536898</title>
<path fill="none" stroke="#1f78b4" d="M183.63,-192.84C191.49,-182.1 202.58,-168.46 214.5,-158.5 220.34,-153.63 226.95,-149.09 233.64,-144.99"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="235.2,-148.14 242.09,-140.1 231.69,-142.08 235.2,-148.14"/>
<text text-anchor="middle" x="242.25" y="-161.7" font-family="Times,serif" font-size="14.00" fill="#000000">Transition</text>
</g>
<!-- &#45;7804259126609009783&#45;&gt;&#45;7058397762639345087 -->
<g id="edge3" class="edge">
<title>&#45;7804259126609009783&#45;&gt;&#45;7058397762639345087</title>
<path fill="none" stroke="#1f78b4" d="M103.05,-140.65C109.61,-151.13 118.75,-164.5 128.5,-175 132.01,-178.78 135.94,-182.5 139.96,-186.02"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="137.7,-188.69 147.62,-192.39 142.17,-183.31 137.7,-188.69"/>
<text text-anchor="middle" x="156.25" y="-161.7" font-family="Times,serif" font-size="14.00" fill="#000000">Transition</text>
</g>
<!-- 3209794916630473844 -->
<g id="node4" class="node">
<title>3209794916630473844</title>
<ellipse fill="none" stroke="black" cx="172" cy="-34" rx="58" ry="18"/>
<text text-anchor="middle" x="172" y="-28.95" font-family="Times,serif" font-size="14.00">state = &quot;On&quot;</text>
</g>
<!-- &#45;7804259126609009783&#45;&gt;3209794916630473844 -->
<g id="edge4" class="edge">
<title>&#45;7804259126609009783&#45;&gt;3209794916630473844</title>
<path fill="none" stroke="#1f78b4" d="M61.15,-105.75C45.78,-96 32.6,-82.93 42.5,-70 51.06,-58.82 80.44,-50.39 109.05,-44.61"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="109.7,-48.05 118.87,-42.73 108.39,-41.17 109.7,-48.05"/>
<text text-anchor="middle" x="70.25" y="-73.2" font-family="Times,serif" font-size="14.00" fill="#000000">Transition</text>
</g>
<!-- &#45;4838096404213536898&#45;&gt;&#45;7058397762639345087 -->
<g id="edge5" class="edge">
<title>&#45;4838096404213536898&#45;&gt;&#45;7058397762639345087</title>
<path fill="none" stroke="#1f78b4" d="M279.74,-140.99C280.45,-151.86 279.43,-165.53 272,-175 264.97,-183.95 255.5,-190.62 245.18,-195.59"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="243.89,-192.33 236.02,-199.43 246.6,-198.79 243.89,-192.33"/>
<text text-anchor="middle" x="306.65" y="-161.7" font-family="Times,serif" font-size="14.00" fill="#000000">Transition</text>
</g>
<!-- &#45;4838096404213536898&#45;&gt;3209794916630473844 -->
<g id="edge6" class="edge">
<title>&#45;4838096404213536898&#45;&gt;3209794916630473844</title>
<path fill="none" stroke="#1f78b4" d="M243.4,-105.66C233.6,-100.27 223.19,-93.75 214.5,-86.5 205.61,-79.08 197.19,-69.61 190.22,-60.82"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="193.03,-58.73 184.2,-52.88 187.46,-62.96 193.03,-58.73"/>
<text text-anchor="middle" x="242.25" y="-73.2" font-family="Times,serif" font-size="14.00" fill="#000000">Transition</text>
</g>
<!-- 3209794916630473844&#45;&gt;&#45;7804259126609009783 -->
<g id="edge8" class="edge">
<title>3209794916630473844&#45;&gt;&#45;7804259126609009783</title>
<path fill="none" stroke="#1f78b4" d="M149.68,-50.93C142.53,-56.55 134.83,-63.18 128.5,-70 121.49,-77.55 114.8,-86.58 109.15,-94.95"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="106.39,-92.79 103.88,-103.08 112.26,-96.6 106.39,-92.79"/>
<text text-anchor="middle" x="156.25" y="-73.2" font-family="Times,serif" font-size="14.00" fill="#000000">Transition</text>
</g>
<!-- 3209794916630473844&#45;&gt;&#45;4838096404213536898 -->
<g id="edge7" class="edge">
<title>3209794916630473844&#45;&gt;&#45;4838096404213536898</title>
<path fill="none" stroke="#1f78b4" d="M224.71,-41.81C242.37,-46.77 260.47,-55.31 272,-70 276.99,-76.36 279.09,-84.62 279.72,-92.65"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="276.22,-92.5 279.74,-102.5 283.22,-92.49 276.22,-92.5"/>
<text text-anchor="middle" x="306.65" y="-73.2" font-family="Times,serif" font-size="14.00" fill="#000000">Transition</text>
</g>
</g>
</svg>