example.org: Add examples of state graphs.
This commit is contained in:
Sergiu Ivanov
parent
5f4cb917bc
commit
e3a04cb765
4 changed files with 488 additions and 0 deletions
94
example/dots/examplecHA6gL.svg
Normal file
94
example/dots/examplecHA6gL.svg
Normal file
|
|
@ -0,0 +1,94 @@
|
||||||
|
<?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.43.0 (0)
|
||||||
|
-->
|
||||||
|
<!-- Title: G Pages: 1 -->
|
||||||
|
<svg width="1119pt" height="349pt"
|
||||||
|
viewBox="0.00 0.00 1119.41 349.34" 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 345.34)">
|
||||||
|
<title>G</title>
|
||||||
|
<polygon fill="white" stroke="transparent" points="-4,4 -4,-345.34 1115.41,-345.34 1115.41,4 -4,4"/>
|
||||||
|
<!-- node0 -->
|
||||||
|
<g id="node1" class="node">
|
||||||
|
<title>node0</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="1052.26" cy="-171.19" rx="59.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="1052.26" y="-167.49" font-family="Times-Roman" font-size="14.00">a:0 c:0 b:0</text>
|
||||||
|
</g>
|
||||||
|
<!-- node1 -->
|
||||||
|
<g id="node2" class="node">
|
||||||
|
<title>node1</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="557.25" cy="-323.34" rx="59.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="557.25" y="-319.64" font-family="Times-Roman" font-size="14.00">a:1 c:0 b:1</text>
|
||||||
|
</g>
|
||||||
|
<!-- node2 -->
|
||||||
|
<g id="node3" class="node">
|
||||||
|
<title>node2</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="59.14" cy="-171.21" rx="59.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="59.14" y="-167.51" font-family="Times-Roman" font-size="14.00">a:1 c:1 b:0</text>
|
||||||
|
</g>
|
||||||
|
<!-- node3 -->
|
||||||
|
<g id="node4" class="node">
|
||||||
|
<title>node3</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="557.62" cy="-18" rx="59.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="557.62" y="-14.3" font-family="Times-Roman" font-size="14.00">a:0 c:1 b:1</text>
|
||||||
|
</g>
|
||||||
|
<!-- node3->node3 -->
|
||||||
|
<g id="edge1" class="edge">
|
||||||
|
<title>node3->node3</title>
|
||||||
|
<path fill="none" stroke="black" d="M612.75,-24.6C625.44,-24.03 634.77,-21.83 634.77,-18 634.77,-14.17 625.44,-11.97 612.75,-11.4"/>
|
||||||
|
</g>
|
||||||
|
<!-- node4 -->
|
||||||
|
<g id="node5" class="node">
|
||||||
|
<title>node4</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="784.6" cy="-170.9" rx="59.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="784.6" y="-167.2" font-family="Times-Roman" font-size="14.00">a:0 c:0 b:1</text>
|
||||||
|
</g>
|
||||||
|
<!-- node3->node4 -->
|
||||||
|
<g id="edge2" class="edge">
|
||||||
|
<title>node3->node4</title>
|
||||||
|
<path fill="none" stroke="black" d="M582.35,-34.65C626.01,-64.07 716.27,-124.87 759.91,-154.27"/>
|
||||||
|
</g>
|
||||||
|
<!-- node5 -->
|
||||||
|
<g id="node6" class="node">
|
||||||
|
<title>node5</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="335.15" cy="-170.6" rx="59.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="335.15" y="-166.9" font-family="Times-Roman" font-size="14.00">a:1 c:1 b:1</text>
|
||||||
|
</g>
|
||||||
|
<!-- node3->node5 -->
|
||||||
|
<g id="edge4" class="edge">
|
||||||
|
<title>node3->node5</title>
|
||||||
|
<path fill="none" stroke="black" d="M533.39,-34.62C493.19,-62.2 412.67,-117.42 367.6,-148.34"/>
|
||||||
|
<polygon fill="black" stroke="black" points="365.62,-145.45 359.35,-154 369.58,-151.23 365.62,-145.45"/>
|
||||||
|
</g>
|
||||||
|
<!-- node4->node0 -->
|
||||||
|
<g id="edge5" class="edge">
|
||||||
|
<title>node4->node0</title>
|
||||||
|
<path fill="none" stroke="black" d="M844.01,-170.97C885.07,-171.01 939.84,-171.07 982.91,-171.12"/>
|
||||||
|
<polygon fill="black" stroke="black" points="983.02,-174.62 993.03,-171.13 983.03,-167.62 983.02,-174.62"/>
|
||||||
|
</g>
|
||||||
|
<!-- node4->node1 -->
|
||||||
|
<g id="edge6" class="edge">
|
||||||
|
<title>node4->node1</title>
|
||||||
|
<path fill="none" stroke="black" d="M759.84,-187.51C718.76,-215.05 636.47,-270.22 590.42,-301.1"/>
|
||||||
|
<polygon fill="black" stroke="black" points="588.34,-298.28 581.99,-306.75 592.24,-304.09 588.34,-298.28"/>
|
||||||
|
</g>
|
||||||
|
<!-- node5->node1 -->
|
||||||
|
<g id="edge8" class="edge">
|
||||||
|
<title>node5->node1</title>
|
||||||
|
<path fill="none" stroke="black" d="M359.34,-187.23C399.39,-214.78 479.53,-269.88 524.57,-300.86"/>
|
||||||
|
<polygon fill="black" stroke="black" points="522.87,-303.94 533.09,-306.72 526.84,-298.17 522.87,-303.94"/>
|
||||||
|
</g>
|
||||||
|
<!-- node5->node2 -->
|
||||||
|
<g id="edge7" class="edge">
|
||||||
|
<title>node5->node2</title>
|
||||||
|
<path fill="none" stroke="black" d="M275.94,-170.73C232.79,-170.82 174.19,-170.96 128.79,-171.06"/>
|
||||||
|
<polygon fill="black" stroke="black" points="128.72,-167.56 118.73,-171.08 128.74,-174.56 128.72,-167.56"/>
|
||||||
|
</g>
|
||||||
|
<!-- node5->node5 -->
|
||||||
|
<g id="edge3" class="edge">
|
||||||
|
<title>node5->node5</title>
|
||||||
|
<path fill="none" stroke="black" d="M390.28,-177.2C402.97,-176.63 412.29,-174.43 412.29,-170.6 412.29,-166.76 402.97,-164.56 390.28,-163.99"/>
|
||||||
|
</g>
|
||||||
|
</g>
|
||||||
|
</svg>
|
||||||
|
After Width: | Height: | Size: 4.2 KiB |
164
example/dots/examplem7LpTs.svg
Normal file
164
example/dots/examplem7LpTs.svg
Normal file
|
|
@ -0,0 +1,164 @@
|
||||||
|
<?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.43.0 (0)
|
||||||
|
-->
|
||||||
|
<!-- Title: G Pages: 1 -->
|
||||||
|
<svg width="999pt" height="656pt"
|
||||||
|
viewBox="0.00 0.00 998.81 655.96" 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 651.96)">
|
||||||
|
<title>G</title>
|
||||||
|
<polygon fill="white" stroke="transparent" points="-4,4 -4,-651.96 994.81,-651.96 994.81,4 -4,4"/>
|
||||||
|
<!-- node0 -->
|
||||||
|
<g id="node1" class="node">
|
||||||
|
<title>node0</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="654.41" cy="-18" rx="75.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="654.41" y="-14.3" font-family="Times-Roman" font-size="14.00">a:#f c:#f b:#t</text>
|
||||||
|
</g>
|
||||||
|
<!-- node1 -->
|
||||||
|
<g id="node2" class="node">
|
||||||
|
<title>node1</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="384.09" cy="-323.76" rx="75.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="384.09" y="-320.06" font-family="Times-Roman" font-size="14.00">a:#t c:#f b:#t</text>
|
||||||
|
</g>
|
||||||
|
<!-- node0->node1 -->
|
||||||
|
<g id="edge13" class="edge">
|
||||||
|
<title>node0->node1</title>
|
||||||
|
<path fill="none" stroke="black" d="M638.71,-35.76C592.98,-87.48 459.81,-238.12 406.52,-298.4"/>
|
||||||
|
<polygon fill="black" stroke="black" points="403.84,-296.14 399.84,-305.95 409.08,-300.78 403.84,-296.14"/>
|
||||||
|
</g>
|
||||||
|
<!-- node2 -->
|
||||||
|
<g id="node3" class="node">
|
||||||
|
<title>node2</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="315.85" cy="-19.24" rx="75.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="315.85" y="-15.54" font-family="Times-Roman" font-size="14.00">a:#f c:#f b:#f</text>
|
||||||
|
</g>
|
||||||
|
<!-- node0->node2 -->
|
||||||
|
<g id="edge12" class="edge">
|
||||||
|
<title>node0->node2</title>
|
||||||
|
<path fill="none" stroke="black" d="M578.85,-18.28C526.29,-18.47 456.12,-18.73 401.48,-18.93"/>
|
||||||
|
<polygon fill="black" stroke="black" points="401.45,-15.43 391.47,-18.96 401.48,-22.43 401.45,-15.43"/>
|
||||||
|
</g>
|
||||||
|
<!-- node6 -->
|
||||||
|
<g id="node7" class="node">
|
||||||
|
<title>node6</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="897.42" cy="-322.72" rx="75.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="897.42" y="-319.02" font-family="Times-Roman" font-size="14.00">a:#f c:#t b:#t</text>
|
||||||
|
</g>
|
||||||
|
<!-- node0->node6 -->
|
||||||
|
<g id="edge1" class="edge">
|
||||||
|
<title>node0->node6</title>
|
||||||
|
<path fill="none" stroke="black" d="M668.52,-35.7C711.47,-89.56 840.26,-251.05 883.27,-304.97"/>
|
||||||
|
</g>
|
||||||
|
<!-- node1->node1 -->
|
||||||
|
<g id="edge3" class="edge">
|
||||||
|
<title>node1->node1</title>
|
||||||
|
<path fill="none" stroke="black" d="M454.55,-330.19C467.99,-329.42 477.49,-327.28 477.49,-323.76 477.49,-320.25 467.99,-318.1 454.55,-317.33"/>
|
||||||
|
</g>
|
||||||
|
<!-- node3 -->
|
||||||
|
<g id="node4" class="node">
|
||||||
|
<title>node3</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="75.39" cy="-324.99" rx="75.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="75.39" y="-321.29" font-family="Times-Roman" font-size="14.00">a:#t c:#f b:#f</text>
|
||||||
|
</g>
|
||||||
|
<!-- node1->node3 -->
|
||||||
|
<g id="edge14" class="edge">
|
||||||
|
<title>node1->node3</title>
|
||||||
|
<path fill="none" stroke="black" d="M308.58,-324.06C263.93,-324.24 207.25,-324.46 160.95,-324.65"/>
|
||||||
|
<polygon fill="black" stroke="black" points="160.92,-321.15 150.93,-324.69 160.95,-328.15 160.92,-321.15"/>
|
||||||
|
</g>
|
||||||
|
<!-- node7 -->
|
||||||
|
<g id="node8" class="node">
|
||||||
|
<title>node7</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="656.81" cy="-628.85" rx="75.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="656.81" y="-625.15" font-family="Times-Roman" font-size="14.00">a:#t c:#t b:#t</text>
|
||||||
|
</g>
|
||||||
|
<!-- node1->node7 -->
|
||||||
|
<g id="edge2" class="edge">
|
||||||
|
<title>node1->node7</title>
|
||||||
|
<path fill="none" stroke="black" d="M399.93,-341.48C448.13,-395.41 592.67,-557.09 640.92,-611.08"/>
|
||||||
|
</g>
|
||||||
|
<!-- node2->node2 -->
|
||||||
|
<g id="edge5" class="edge">
|
||||||
|
<title>node2->node2</title>
|
||||||
|
<path fill="none" stroke="black" d="M386.3,-25.67C399.74,-24.9 409.24,-22.76 409.24,-19.24 409.24,-15.73 399.74,-13.58 386.3,-12.82"/>
|
||||||
|
</g>
|
||||||
|
<!-- node4 -->
|
||||||
|
<g id="node5" class="node">
|
||||||
|
<title>node4</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="588.35" cy="-324.23" rx="75.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="588.35" y="-320.53" font-family="Times-Roman" font-size="14.00">a:#f c:#t b:#f</text>
|
||||||
|
</g>
|
||||||
|
<!-- node2->node4 -->
|
||||||
|
<g id="edge4" class="edge">
|
||||||
|
<title>node2->node4</title>
|
||||||
|
<path fill="none" stroke="black" d="M331.67,-36.96C379.84,-90.86 524.25,-252.5 572.48,-306.46"/>
|
||||||
|
</g>
|
||||||
|
<!-- node3->node2 -->
|
||||||
|
<g id="edge15" class="edge">
|
||||||
|
<title>node3->node2</title>
|
||||||
|
<path fill="none" stroke="black" d="M89.36,-307.23C129.95,-255.62 248.01,-105.49 295.61,-44.98"/>
|
||||||
|
<polygon fill="black" stroke="black" points="298.41,-47.07 301.84,-37.05 292.91,-42.75 298.41,-47.07"/>
|
||||||
|
</g>
|
||||||
|
<!-- node3->node3 -->
|
||||||
|
<g id="edge6" class="edge">
|
||||||
|
<title>node3->node3</title>
|
||||||
|
<path fill="none" stroke="black" d="M145.85,-331.41C159.29,-330.64 168.79,-328.5 168.79,-324.99 168.79,-321.47 159.29,-319.33 145.85,-318.56"/>
|
||||||
|
</g>
|
||||||
|
<!-- node5 -->
|
||||||
|
<g id="node6" class="node">
|
||||||
|
<title>node5</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="317.64" cy="-629.96" rx="75.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="317.64" y="-626.26" font-family="Times-Roman" font-size="14.00">a:#t c:#t b:#f</text>
|
||||||
|
</g>
|
||||||
|
<!-- node3->node5 -->
|
||||||
|
<g id="edge7" class="edge">
|
||||||
|
<title>node3->node5</title>
|
||||||
|
<path fill="none" stroke="black" d="M89.46,-342.7C132.28,-396.6 260.66,-558.23 303.53,-612.2"/>
|
||||||
|
</g>
|
||||||
|
<!-- node4->node4 -->
|
||||||
|
<g id="edge8" class="edge">
|
||||||
|
<title>node4->node4</title>
|
||||||
|
<path fill="none" stroke="black" d="M658.81,-330.66C672.24,-329.89 681.74,-327.74 681.74,-324.23 681.74,-320.71 672.24,-318.57 658.81,-317.8"/>
|
||||||
|
</g>
|
||||||
|
<!-- node4->node6 -->
|
||||||
|
<g id="edge16" class="edge">
|
||||||
|
<title>node4->node6</title>
|
||||||
|
<path fill="none" stroke="black" d="M663.96,-323.86C708.66,-323.64 765.41,-323.37 811.76,-323.14"/>
|
||||||
|
<polygon fill="black" stroke="black" points="811.81,-326.64 821.79,-323.09 811.77,-319.64 811.81,-326.64"/>
|
||||||
|
</g>
|
||||||
|
<!-- node5->node4 -->
|
||||||
|
<g id="edge17" class="edge">
|
||||||
|
<title>node5->node4</title>
|
||||||
|
<path fill="none" stroke="black" d="M333.37,-612.21C379.16,-560.49 512.52,-409.86 565.89,-349.59"/>
|
||||||
|
<polygon fill="black" stroke="black" points="568.57,-351.84 572.58,-342.04 563.33,-347.2 568.57,-351.84"/>
|
||||||
|
</g>
|
||||||
|
<!-- node5->node5 -->
|
||||||
|
<g id="edge9" class="edge">
|
||||||
|
<title>node5->node5</title>
|
||||||
|
<path fill="none" stroke="black" d="M388.1,-636.39C401.53,-635.62 411.04,-633.48 411.04,-629.96 411.04,-626.45 401.53,-624.31 388.1,-623.54"/>
|
||||||
|
</g>
|
||||||
|
<!-- node6->node6 -->
|
||||||
|
<g id="edge10" class="edge">
|
||||||
|
<title>node6->node6</title>
|
||||||
|
<path fill="none" stroke="black" d="M967.88,-329.15C981.31,-328.38 990.81,-326.24 990.81,-322.72 990.81,-319.21 981.31,-317.06 967.88,-316.3"/>
|
||||||
|
</g>
|
||||||
|
<!-- node6->node7 -->
|
||||||
|
<g id="edge18" class="edge">
|
||||||
|
<title>node6->node7</title>
|
||||||
|
<path fill="none" stroke="black" d="M883.44,-340.5C842.83,-392.18 724.69,-542.49 677.06,-603.09"/>
|
||||||
|
<polygon fill="black" stroke="black" points="674.25,-601 670.82,-611.02 679.76,-605.32 674.25,-601"/>
|
||||||
|
</g>
|
||||||
|
<!-- node7->node5 -->
|
||||||
|
<g id="edge19" class="edge">
|
||||||
|
<title>node7->node5</title>
|
||||||
|
<path fill="none" stroke="black" d="M581.12,-629.1C528.37,-629.27 457.92,-629.5 403.14,-629.68"/>
|
||||||
|
<polygon fill="black" stroke="black" points="403.09,-626.18 393.1,-629.72 403.12,-633.18 403.09,-626.18"/>
|
||||||
|
</g>
|
||||||
|
<!-- node7->node7 -->
|
||||||
|
<g id="edge11" class="edge">
|
||||||
|
<title>node7->node7</title>
|
||||||
|
<path fill="none" stroke="black" d="M727.27,-635.28C740.7,-634.51 750.2,-632.37 750.2,-628.85 750.2,-625.34 740.7,-623.19 727.27,-622.43"/>
|
||||||
|
</g>
|
||||||
|
</g>
|
||||||
|
</svg>
|
||||||
|
After Width: | Height: | Size: 7.4 KiB |
164
example/dots/examplex1Irnk.svg
Normal file
164
example/dots/examplex1Irnk.svg
Normal file
|
|
@ -0,0 +1,164 @@
|
||||||
|
<?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.43.0 (0)
|
||||||
|
-->
|
||||||
|
<!-- Title: G Pages: 1 -->
|
||||||
|
<svg width="835pt" height="558pt"
|
||||||
|
viewBox="0.00 0.00 834.60 557.99" 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 553.99)">
|
||||||
|
<title>G</title>
|
||||||
|
<polygon fill="white" stroke="transparent" points="-4,4 -4,-553.99 830.6,-553.99 830.6,4 -4,4"/>
|
||||||
|
<!-- node0 -->
|
||||||
|
<g id="node1" class="node">
|
||||||
|
<title>node0</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="318.58" cy="-273.84" rx="59.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="318.58" y="-270.14" font-family="Times-Roman" font-size="14.00">a:0 c:0 b:0</text>
|
||||||
|
</g>
|
||||||
|
<!-- node0->node0 -->
|
||||||
|
<g id="edge1" class="edge">
|
||||||
|
<title>node0->node0</title>
|
||||||
|
<path fill="none" stroke="black" d="M373.71,-280.44C386.4,-279.87 395.73,-277.67 395.73,-273.84 395.73,-270.01 386.4,-267.81 373.71,-267.24"/>
|
||||||
|
</g>
|
||||||
|
<!-- node1 -->
|
||||||
|
<g id="node2" class="node">
|
||||||
|
<title>node1</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="544.54" cy="-531.99" rx="59.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="544.54" y="-528.29" font-family="Times-Roman" font-size="14.00">a:0 c:1 b:0</text>
|
||||||
|
</g>
|
||||||
|
<!-- node0->node1 -->
|
||||||
|
<g id="edge2" class="edge">
|
||||||
|
<title>node0->node1</title>
|
||||||
|
<path fill="none" stroke="black" d="M334.11,-291.58C375.49,-338.86 488.04,-467.44 529.2,-514.47"/>
|
||||||
|
</g>
|
||||||
|
<!-- node1->node1 -->
|
||||||
|
<g id="edge3" class="edge">
|
||||||
|
<title>node1->node1</title>
|
||||||
|
<path fill="none" stroke="black" d="M599.67,-538.59C612.36,-538.03 621.68,-535.82 621.68,-531.99 621.68,-528.16 612.36,-525.96 599.67,-525.39"/>
|
||||||
|
</g>
|
||||||
|
<!-- node2 -->
|
||||||
|
<g id="node3" class="node">
|
||||||
|
<title>node2</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="259.79" cy="-530.51" rx="59.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="259.79" y="-526.81" font-family="Times-Roman" font-size="14.00">a:0 c:1 b:1</text>
|
||||||
|
</g>
|
||||||
|
<!-- node1->node2 -->
|
||||||
|
<g id="edge12" class="edge">
|
||||||
|
<title>node1->node2</title>
|
||||||
|
<path fill="none" stroke="black" d="M485.19,-531.68C439.79,-531.45 377.07,-531.12 329.32,-530.87"/>
|
||||||
|
<polygon fill="black" stroke="black" points="329.08,-527.37 319.06,-530.82 329.04,-534.37 329.08,-527.37"/>
|
||||||
|
</g>
|
||||||
|
<!-- node2->node2 -->
|
||||||
|
<g id="edge4" class="edge">
|
||||||
|
<title>node2->node2</title>
|
||||||
|
<path fill="none" stroke="black" d="M314.92,-537.11C327.61,-536.54 336.94,-534.34 336.94,-530.51 336.94,-526.68 327.61,-524.47 314.92,-523.91"/>
|
||||||
|
</g>
|
||||||
|
<!-- node4 -->
|
||||||
|
<g id="node5" class="node">
|
||||||
|
<title>node4</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="489.78" cy="-276.18" rx="59.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="489.78" y="-272.48" font-family="Times-Roman" font-size="14.00">a:1 c:1 b:1</text>
|
||||||
|
</g>
|
||||||
|
<!-- node2->node4 -->
|
||||||
|
<g id="edge13" class="edge">
|
||||||
|
<title>node2->node4</title>
|
||||||
|
<path fill="none" stroke="black" d="M275.6,-513.03C315.48,-468.92 420.31,-353 466.9,-301.48"/>
|
||||||
|
<polygon fill="black" stroke="black" points="469.75,-303.55 473.86,-293.78 464.55,-298.85 469.75,-303.55"/>
|
||||||
|
</g>
|
||||||
|
<!-- node6 -->
|
||||||
|
<g id="node7" class="node">
|
||||||
|
<title>node6</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="59.14" cy="-272.72" rx="59.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="59.14" y="-269.02" font-family="Times-Roman" font-size="14.00">a:0 c:0 b:1</text>
|
||||||
|
</g>
|
||||||
|
<!-- node2->node6 -->
|
||||||
|
<g id="edge5" class="edge">
|
||||||
|
<title>node2->node6</title>
|
||||||
|
<path fill="none" stroke="black" d="M246,-512.79C209.35,-465.69 109.8,-337.8 73.03,-290.56"/>
|
||||||
|
</g>
|
||||||
|
<!-- node3 -->
|
||||||
|
<g id="node4" class="node">
|
||||||
|
<title>node3</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="548.13" cy="-19.23" rx="59.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="548.13" y="-15.53" font-family="Times-Roman" font-size="14.00">a:1 c:0 b:0</text>
|
||||||
|
</g>
|
||||||
|
<!-- node3->node0 -->
|
||||||
|
<g id="edge14" class="edge">
|
||||||
|
<title>node3->node0</title>
|
||||||
|
<path fill="none" stroke="black" d="M532.35,-36.73C492.54,-80.88 387.91,-196.94 341.41,-248.51"/>
|
||||||
|
<polygon fill="black" stroke="black" points="338.57,-246.45 334.47,-256.22 343.77,-251.13 338.57,-246.45"/>
|
||||||
|
</g>
|
||||||
|
<!-- node3->node3 -->
|
||||||
|
<g id="edge6" class="edge">
|
||||||
|
<title>node3->node3</title>
|
||||||
|
<path fill="none" stroke="black" d="M603.25,-25.83C615.95,-25.26 625.27,-23.06 625.27,-19.23 625.27,-15.4 615.95,-13.2 603.25,-12.63"/>
|
||||||
|
</g>
|
||||||
|
<!-- node7 -->
|
||||||
|
<g id="node8" class="node">
|
||||||
|
<title>node7</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="749.46" cy="-276.71" rx="59.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="749.46" y="-273.01" font-family="Times-Roman" font-size="14.00">a:1 c:1 b:0</text>
|
||||||
|
</g>
|
||||||
|
<!-- node3->node7 -->
|
||||||
|
<g id="edge7" class="edge">
|
||||||
|
<title>node3->node7</title>
|
||||||
|
<path fill="none" stroke="black" d="M561.96,-36.93C598.74,-83.97 698.63,-211.71 735.52,-258.89"/>
|
||||||
|
</g>
|
||||||
|
<!-- node4->node4 -->
|
||||||
|
<g id="edge8" class="edge">
|
||||||
|
<title>node4->node4</title>
|
||||||
|
<path fill="none" stroke="black" d="M544.9,-282.78C557.6,-282.21 566.92,-280.01 566.92,-276.18 566.92,-272.35 557.6,-270.15 544.9,-269.58"/>
|
||||||
|
</g>
|
||||||
|
<!-- node5 -->
|
||||||
|
<g id="node6" class="node">
|
||||||
|
<title>node5</title>
|
||||||
|
<ellipse fill="none" stroke="black" cx="263.87" cy="-18" rx="59.29" ry="18"/>
|
||||||
|
<text text-anchor="middle" x="263.87" y="-14.3" font-family="Times-Roman" font-size="14.00">a:1 c:0 b:1</text>
|
||||||
|
</g>
|
||||||
|
<!-- node4->node5 -->
|
||||||
|
<g id="edge9" class="edge">
|
||||||
|
<title>node4->node5</title>
|
||||||
|
<path fill="none" stroke="black" d="M474.25,-258.44C432.88,-211.16 320.36,-82.56 279.21,-35.53"/>
|
||||||
|
</g>
|
||||||
|
<!-- node4->node7 -->
|
||||||
|
<g id="edge15" class="edge">
|
||||||
|
<title>node4->node7</title>
|
||||||
|
<path fill="none" stroke="black" d="M549.03,-276.3C587.94,-276.38 639.01,-276.49 679.86,-276.57"/>
|
||||||
|
<polygon fill="black" stroke="black" points="680,-280.07 690.01,-276.59 680.02,-273.07 680,-280.07"/>
|
||||||
|
</g>
|
||||||
|
<!-- node5->node3 -->
|
||||||
|
<g id="edge16" class="edge">
|
||||||
|
<title>node5->node3</title>
|
||||||
|
<path fill="none" stroke="black" d="M323.11,-18.26C368.44,-18.45 431.05,-18.72 478.72,-18.93"/>
|
||||||
|
<polygon fill="black" stroke="black" points="478.94,-22.43 488.96,-18.98 478.97,-15.43 478.94,-22.43"/>
|
||||||
|
</g>
|
||||||
|
<!-- node5->node5 -->
|
||||||
|
<g id="edge10" class="edge">
|
||||||
|
<title>node5->node5</title>
|
||||||
|
<path fill="none" stroke="black" d="M319,-24.6C331.69,-24.03 341.01,-21.83 341.01,-18 341.01,-14.17 331.69,-11.97 319,-11.4"/>
|
||||||
|
</g>
|
||||||
|
<!-- node6->node0 -->
|
||||||
|
<g id="edge17" class="edge">
|
||||||
|
<title>node6->node0</title>
|
||||||
|
<path fill="none" stroke="black" d="M118.34,-272.97C157.22,-273.14 208.24,-273.36 249.05,-273.54"/>
|
||||||
|
<polygon fill="black" stroke="black" points="249.18,-277.04 259.19,-273.58 249.21,-270.04 249.18,-277.04"/>
|
||||||
|
</g>
|
||||||
|
<!-- node6->node5 -->
|
||||||
|
<g id="edge18" class="edge">
|
||||||
|
<title>node6->node5</title>
|
||||||
|
<path fill="none" stroke="black" d="M73.22,-255.21C108.64,-211.13 201.65,-95.41 243.25,-43.66"/>
|
||||||
|
<polygon fill="black" stroke="black" points="246.16,-45.62 249.7,-35.63 240.71,-41.23 246.16,-45.62"/>
|
||||||
|
</g>
|
||||||
|
<!-- node7->node1 -->
|
||||||
|
<g id="edge19" class="edge">
|
||||||
|
<title>node7->node1</title>
|
||||||
|
<path fill="none" stroke="black" d="M735.37,-294.26C699.91,-338.43 606.81,-454.41 565.18,-506.28"/>
|
||||||
|
<polygon fill="black" stroke="black" points="562.25,-504.33 558.72,-514.32 567.71,-508.72 562.25,-504.33"/>
|
||||||
|
</g>
|
||||||
|
<!-- node7->node7 -->
|
||||||
|
<g id="edge11" class="edge">
|
||||||
|
<title>node7->node7</title>
|
||||||
|
<path fill="none" stroke="black" d="M804.58,-283.31C817.28,-282.74 826.6,-280.54 826.6,-276.71 826.6,-272.88 817.28,-270.68 804.58,-270.11"/>
|
||||||
|
</g>
|
||||||
|
</g>
|
||||||
|
</svg>
|
||||||
|
After Width: | Height: | Size: 7.4 KiB |
|
|
@ -361,6 +361,72 @@ tab
|
||||||
b becomes (not a) (negative interaction). Therefore, the influence
|
b becomes (not a) (negative interaction). Therefore, the influence
|
||||||
of a on b is neither activating nor inhibiting.
|
of a on b is neither activating nor inhibiting.
|
||||||
|
|
||||||
|
Here is the full state graph of this network under the asynchronous
|
||||||
|
dynamics:
|
||||||
|
#+NAME: simple-bn-sg
|
||||||
|
#+BEGIN_SRC racket :results silent :var simple-bn=munch-table(simple-bn)
|
||||||
|
(let* ([bn (nn (unorg simple-bn))]
|
||||||
|
[bn-asyn (make-asyn-dynamics bn)])
|
||||||
|
(dotit (ppsg (build-full-boolean-state-graph bn-asyn))))
|
||||||
|
#+END_SRC
|
||||||
|
|
||||||
|
#+BEGIN_SRC dot :file dots/examplem7LpTs.svg :results raw drawer :cmd sfdp :noweb yes
|
||||||
|
<<simple-bn-sg()>>
|
||||||
|
#+END_SRC
|
||||||
|
|
||||||
|
#+RESULTS:
|
||||||
|
:RESULTS:
|
||||||
|
[[file:dots/examplem7LpTs.svg]]
|
||||||
|
:END:
|
||||||
|
|
||||||
|
Alternatively, you may prefer a slighty more compact representation
|
||||||
|
of Boolean values as 0 and 1:
|
||||||
|
#+NAME: simple-bn-sg-bool
|
||||||
|
#+BEGIN_SRC racket :results silent :var simple-bn=munch-table(simple-bn)
|
||||||
|
(let* ([bn (nn (unorg simple-bn))]
|
||||||
|
[bn-asyn (make-asyn-dynamics bn)])
|
||||||
|
(dotit (ppsgb (build-full-boolean-state-graph bn-asyn))))
|
||||||
|
#+END_SRC
|
||||||
|
|
||||||
|
#+BEGIN_SRC dot :file dots/examplex1Irnk.svg :results raw drawer :cmd sfdp :noweb yes
|
||||||
|
<<simple-bn-sg-bool()>>
|
||||||
|
#+END_SRC
|
||||||
|
|
||||||
|
#+RESULTS:
|
||||||
|
:RESULTS:
|
||||||
|
[[file:dots/examplex1Irnk.svg]]
|
||||||
|
:END:
|
||||||
|
|
||||||
|
Consider the following state (appearing in the upper left corner of
|
||||||
|
the state graph):
|
||||||
|
|
||||||
|
#+NAME: some-state
|
||||||
|
| a | 0 |
|
||||||
|
| c | 1 |
|
||||||
|
| b | 1 |
|
||||||
|
|
||||||
|
These are the states which can be reached from it in at most 2
|
||||||
|
steps:
|
||||||
|
#+NAME: simple-bn-some-state
|
||||||
|
#+HEADER: :var simple-bn=munch-table(simple-bn)
|
||||||
|
#+HEADER: :var some-state=munch-table(some-state)
|
||||||
|
#+BEGIN_SRC racket :results silent
|
||||||
|
(let* ([bn (nn (unorg simple-bn))]
|
||||||
|
[bn-asyn (make-asyn-dynamics bn)]
|
||||||
|
[s0 (stb (unorg some-state))])
|
||||||
|
(dotit (ppsgb (dds-build-n-step-state-graph bn-asyn (set s0) 2))))
|
||||||
|
#+END_SRC
|
||||||
|
|
||||||
|
#+BEGIN_SRC dot :file dots/examplecHA6gL.svg :results raw drawer :cmd sfdp :noweb yes
|
||||||
|
<<simple-bn-some-state()>>
|
||||||
|
#+END_SRC
|
||||||
|
|
||||||
|
#+RESULTS:
|
||||||
|
:RESULTS:
|
||||||
|
[[file:dots/examplecHA6gL.svg]]
|
||||||
|
:END:
|
||||||
|
|
||||||
|
|
||||||
* Local Variables :noexport:
|
* Local Variables :noexport:
|
||||||
# Local Variables:
|
# Local Variables:
|
||||||
# eval: (auto-fill-mode)
|
# eval: (auto-fill-mode)
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue