125 lines
8.3 KiB
XML
125 lines
8.3 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 2.40.1 (20161225.0304)
|
||
|
|
--><!-- Title: Taskflow Pages: 1 --><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="1108pt" height="172pt" viewBox="0.00 0.00 1108.36 172.00">
|
||
|
|
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 168)">
|
||
|
|
<title>Taskflow</title>
|
||
|
|
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-168 1104.3587,-168 1104.3587,4 -4,4"/>
|
||
|
|
<!-- p0x7fa9a4803e30 -->
|
||
|
|
<g id="node1" class="node">
|
||
|
|
<title>p0x7fa9a4803e30</title>
|
||
|
|
<ellipse fill="none" stroke="#000000" cx="27" cy="-93" rx="27" ry="18"/>
|
||
|
|
<text text-anchor="middle" x="27" y="-88.8" font-family="Times,serif" font-size="14.00" fill="#000000">init</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a4803f50 -->
|
||
|
|
<g id="node2" class="node">
|
||
|
|
<title>p0x7fa9a4803f50</title>
|
||
|
|
<polygon fill="#7fffd4" stroke="#000000" points="165.0093,-111 90.9907,-93 165.0093,-75 239.028,-93 165.0093,-111"/>
|
||
|
|
<text text-anchor="middle" x="165.0093" y="-88.8" font-family="Times,serif" font-size="14.00" fill="#000000">flip-coin-1</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a4803e30->p0x7fa9a4803f50 -->
|
||
|
|
<g id="edge1" class="edge">
|
||
|
|
<title>p0x7fa9a4803e30->p0x7fa9a4803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" d="M54.2662,-93C62.1953,-93 71.3022,-93 80.8143,-93"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="80.8412,-96.5001 90.8412,-93 80.8412,-89.5001 80.8412,-96.5001"/>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a4803f50->p0x7fa9a4803f50 -->
|
||
|
|
<g id="edge3" class="edge">
|
||
|
|
<title>p0x7fa9a4803f50->p0x7fa9a4803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M149.7977,-107.4167C144.4857,-118.166 149.5562,-129 165.0093,-129 175.3919,-129 181.0876,-124.1094 182.0965,-117.6397"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="185.4681,-116.6209 180.221,-107.4167 178.583,-117.8841 185.4681,-116.6209"/>
|
||
|
|
<text text-anchor="middle" x="165.0093" y="-133.2" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a4804070 -->
|
||
|
|
<g id="node3" class="node">
|
||
|
|
<title>p0x7fa9a4804070</title>
|
||
|
|
<polygon fill="#7fffd4" stroke="#000000" points="356.028,-164 282.0093,-146 356.028,-128 430.0467,-146 356.028,-164"/>
|
||
|
|
<text text-anchor="middle" x="356.028" y="-141.8" font-family="Times,serif" font-size="14.00" fill="#000000">flip-coin-2</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a4803f50->p0x7fa9a4804070 -->
|
||
|
|
<g id="edge2" class="edge">
|
||
|
|
<title>p0x7fa9a4803f50->p0x7fa9a4804070</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M183.2254,-106.6357C200.9988,-119.049 229.332,-136.5408 257.0187,-144 266.1977,-146.473 276.0305,-147.9709 285.8064,-148.7998"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="285.7444,-152.3027 295.9435,-149.4341 286.1817,-145.3163 285.7444,-152.3027"/>
|
||
|
|
<text text-anchor="middle" x="260.5187" y="-149.2" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a4804070->p0x7fa9a4803f50 -->
|
||
|
|
<g id="edge5" class="edge">
|
||
|
|
<title>p0x7fa9a4804070->p0x7fa9a4803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M321.3711,-136.3841C289.9395,-127.6631 243.4399,-114.7613 209.3179,-105.2939"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="210.1731,-101.899 199.6014,-102.5979 208.3016,-108.6442 210.1731,-101.899"/>
|
||
|
|
<text text-anchor="middle" x="260.5187" y="-123.2" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a4804190 -->
|
||
|
|
<g id="node4" class="node">
|
||
|
|
<title>p0x7fa9a4804190</title>
|
||
|
|
<polygon fill="#7fffd4" stroke="#000000" points="547.0467,-111 473.028,-93 547.0467,-75 621.0653,-93 547.0467,-111"/>
|
||
|
|
<text text-anchor="middle" x="547.0467" y="-88.8" font-family="Times,serif" font-size="14.00" fill="#000000">flip-coin-3</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a4804070->p0x7fa9a4804190 -->
|
||
|
|
<g id="edge4" class="edge">
|
||
|
|
<title>p0x7fa9a4804070->p0x7fa9a4804190</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M390.62,-136.4021C422.0309,-127.6869 468.5286,-114.7856 502.6676,-105.3134"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="503.6896,-108.6622 512.3897,-102.6159 501.818,-101.917 503.6896,-108.6622"/>
|
||
|
|
<text text-anchor="middle" x="451.5373" y="-123.2" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a4804190->p0x7fa9a4803f50 -->
|
||
|
|
<g id="edge7" class="edge">
|
||
|
|
<title>p0x7fa9a4804190->p0x7fa9a4803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M472.8139,-93C408.6932,-93 316.0816,-93 249.2105,-93"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="249.123,-89.5001 239.123,-93 249.1229,-96.5001 249.123,-89.5001"/>
|
||
|
|
<text text-anchor="middle" x="356.028" y="-97.2" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a48042b0 -->
|
||
|
|
<g id="node5" class="node">
|
||
|
|
<title>p0x7fa9a48042b0</title>
|
||
|
|
<polygon fill="#7fffd4" stroke="#000000" points="738.0653,-66 664.0467,-48 738.0653,-30 812.084,-48 738.0653,-66"/>
|
||
|
|
<text text-anchor="middle" x="738.0653" y="-43.8" font-family="Times,serif" font-size="14.00" fill="#000000">flip-coin-4</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a4804190->p0x7fa9a48042b0 -->
|
||
|
|
<g id="edge6" class="edge">
|
||
|
|
<title>p0x7fa9a4804190->p0x7fa9a48042b0</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M584.7858,-84.1094C615.1345,-76.9599 657.9486,-66.8738 690.6169,-59.1779"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="691.4736,-62.5719 700.4046,-56.8721 689.8684,-55.7584 691.4736,-62.5719"/>
|
||
|
|
<text text-anchor="middle" x="642.556" y="-75.2" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a48042b0->p0x7fa9a4803f50 -->
|
||
|
|
<g id="edge9" class="edge">
|
||
|
|
<title>p0x7fa9a48042b0->p0x7fa9a4803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M679.094,-51.6726C625.3698,-55.0976 543.8449,-60.4927 473.0373,-66 388.4982,-72.5753 291.0138,-81.3156 228.7439,-87.046"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="228.3162,-83.5705 218.6799,-87.9742 228.9591,-90.5409 228.3162,-83.5705"/>
|
||
|
|
<text text-anchor="middle" x="451.5373" y="-72.2" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a48043d0 -->
|
||
|
|
<g id="node6" class="node">
|
||
|
|
<title>p0x7fa9a48043d0</title>
|
||
|
|
<polygon fill="#7fffd4" stroke="#000000" points="929.084,-36 855.0653,-18 929.084,0 1003.1026,-18 929.084,-36"/>
|
||
|
|
<text text-anchor="middle" x="929.084" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">flip-coin-5</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a48042b0->p0x7fa9a48043d0 -->
|
||
|
|
<g id="edge8" class="edge">
|
||
|
|
<title>p0x7fa9a48042b0->p0x7fa9a48043d0</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M783.3341,-40.8904C810.4738,-36.6281 845.1797,-31.1774 873.9162,-26.6642"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="874.4737,-30.1197 883.8096,-25.1105 873.3876,-23.2044 874.4737,-30.1197"/>
|
||
|
|
<text text-anchor="middle" x="833.5747" y="-37.2" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a48043d0->p0x7fa9a4803f50 -->
|
||
|
|
<g id="edge11" class="edge">
|
||
|
|
<title>p0x7fa9a48043d0->p0x7fa9a4803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M880.5007,-11.6764C841.9502,-7.2041 786.6528,-2 738.0653,-2 356.028,-2 356.028,-2 356.028,-2 291.009,-2 224.584,-45.5019 189.7791,-72.3507"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="187.3129,-69.8383 181.6318,-78.7813 191.6498,-75.333 187.3129,-69.8383"/>
|
||
|
|
<text text-anchor="middle" x="547.0467" y="-6.2" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a48044f0 -->
|
||
|
|
<g id="node7" class="node">
|
||
|
|
<title>p0x7fa9a48044f0</title>
|
||
|
|
<ellipse fill="none" stroke="#000000" cx="1073.226" cy="-18" rx="27.2661" ry="18"/>
|
||
|
|
<text text-anchor="middle" x="1073.226" y="-13.8" font-family="Times,serif" font-size="14.00" fill="#000000">stop</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fa9a48043d0->p0x7fa9a48044f0 -->
|
||
|
|
<g id="edge10" class="edge">
|
||
|
|
<title>p0x7fa9a48043d0->p0x7fa9a48044f0</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M1003.2662,-18C1014.6319,-18 1025.9275,-18 1036.0211,-18"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="1036.0572,-21.5001 1046.0571,-18 1036.0571,-14.5001 1036.0572,-21.5001"/>
|
||
|
|
<text text-anchor="middle" x="1024.5933" y="-22.2" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
|
||
|
|
</g>
|
||
|
|
</g>
|
||
|
|
</svg>
|