learning_tla/intro/specs/traffic_lights.svg
Frederic G. MARAND de69f7c399 Intro: examples.
2025-02-22 19:20:33 +01:00

56 lines
3.1 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="250pt" height="253pt"
viewBox="0.00 0.00 250.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 246,-249 246,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_graph</title>
<polygon fill="none" stroke="white" points="8,-8 8,-237 234,-237 234,-8 8,-8"/>
</g>
<!-- 2759889017455913917 -->
<g id="node1" class="node">
<title>2759889017455913917</title>
<ellipse fill="lightgrey" stroke="black" cx="125" cy="-211" rx="58.52" ry="18"/>
<text text-anchor="middle" x="125" y="-205.95" font-family="Times,serif" font-size="14.00">light = &quot;red&quot;</text>
</g>
<!-- &#45;8479713452893998381 -->
<g id="node2" class="node">
<title>&#45;8479713452893998381</title>
<ellipse fill="none" stroke="black" cx="83" cy="-122.5" rx="67.22" ry="18"/>
<text text-anchor="middle" x="83" y="-117.45" font-family="Times,serif" font-size="14.00">light = &quot;green&quot;</text>
</g>
<!-- 2759889017455913917&#45;&gt;&#45;8479713452893998381 -->
<g id="edge1" class="edge">
<title>2759889017455913917&#45;&gt;&#45;8479713452893998381</title>
<path fill="none" stroke="#1f78b4" d="M116.7,-192.91C110.93,-181.02 103.11,-164.91 96.45,-151.2"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="99.6,-149.68 92.09,-142.21 93.3,-152.74 99.6,-149.68"/>
<text text-anchor="middle" x="120.89" y="-161.7" font-family="Times,serif" font-size="14.00" fill="#000000">Next</text>
</g>
<!-- 129434916271532398 -->
<g id="node3" class="node">
<title>129434916271532398</title>
<ellipse fill="none" stroke="black" cx="121" cy="-34" rx="71.82" ry="18"/>
<text text-anchor="middle" x="121" y="-28.95" font-family="Times,serif" font-size="14.00">light = &quot;yellow&quot;</text>
</g>
<!-- &#45;8479713452893998381&#45;&gt;129434916271532398 -->
<g id="edge2" class="edge">
<title>&#45;8479713452893998381&#45;&gt;129434916271532398</title>
<path fill="none" stroke="#1f78b4" d="M90.51,-104.41C95.73,-92.52 102.81,-76.41 108.83,-62.7"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="111.95,-64.3 112.77,-53.74 105.54,-61.48 111.95,-64.3"/>
<text text-anchor="middle" x="118.53" y="-73.2" font-family="Times,serif" font-size="14.00" fill="#000000">Next</text>
</g>
<!-- 129434916271532398&#45;&gt;2759889017455913917 -->
<g id="edge3" class="edge">
<title>129434916271532398&#45;&gt;2759889017455913917</title>
<path fill="none" stroke="#1f78b4" d="M134.95,-52.04C144.94,-65.4 157.55,-84.94 163,-104.5 167.3,-119.91 166.96,-125 163,-140.5 159.14,-155.59 151.26,-170.94 143.67,-183.36"/>
<polygon fill="#1f78b4" stroke="#1f78b4" points="140.73,-181.45 138.27,-191.76 146.62,-185.23 140.73,-181.45"/>
<text text-anchor="middle" x="179.22" y="-117.45" font-family="Times,serif" font-size="14.00" fill="#000000">Next</text>
</g>
</g>
</svg>