160 lines
11 KiB
XML
160 lines
11 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="333pt" viewBox="0.00 0.00 1108.36 332.80">
|
||
|
|
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 328.8)">
|
||
|
|
<title>Taskflow</title>
|
||
|
|
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-328.8 1104.3587,-328.8 1104.3587,4 -4,4"/>
|
||
|
|
<!-- p0x7fca00803e30 -->
|
||
|
|
<g id="node1" class="node">
|
||
|
|
<title>p0x7fca00803e30</title>
|
||
|
|
<ellipse fill="none" stroke="#000000" cx="27" cy="-182" rx="27" ry="18"/>
|
||
|
|
<text text-anchor="middle" x="27" y="-177.8" font-family="Times,serif" font-size="14.00" fill="#000000">init</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca00803f50 -->
|
||
|
|
<g id="node2" class="node">
|
||
|
|
<title>p0x7fca00803f50</title>
|
||
|
|
<polygon fill="#7fffd4" stroke="#000000" points="165.0093,-200 90.9907,-182 165.0093,-164 239.028,-182 165.0093,-200"/>
|
||
|
|
<text text-anchor="middle" x="165.0093" y="-177.8" font-family="Times,serif" font-size="14.00" fill="#000000">flip-coin-1</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca00803e30->p0x7fca00803f50 -->
|
||
|
|
<g id="edge1" class="edge">
|
||
|
|
<title>p0x7fca00803e30->p0x7fca00803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" d="M54.2662,-182C62.1953,-182 71.3022,-182 80.8143,-182"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="80.8412,-185.5001 90.8412,-182 80.8412,-178.5001 80.8412,-185.5001"/>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca00803f50->p0x7fca00803f50 -->
|
||
|
|
<g id="edge3" class="edge">
|
||
|
|
<title>p0x7fca00803f50->p0x7fca00803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M156.9929,-198.2903C155.0598,-208.3892 157.732,-218 165.0093,-218 169.6714,-218 172.4435,-214.0557 173.3256,-208.5656"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="176.816,-208.1839 173.0258,-198.2903 169.819,-208.3881 176.816,-208.1839"/>
|
||
|
|
<text text-anchor="middle" x="165.0093" y="-222.2" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca00803f50->p0x7fca00803f50 -->
|
||
|
|
<g id="edge4" class="edge">
|
||
|
|
<title>p0x7fca00803f50->p0x7fca00803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M152.4856,-197.2026C143.3152,-215.1122 147.4898,-236 165.0093,-236 179.5177,-236 184.8742,-221.6754 181.0789,-206.58"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="184.3437,-205.3184 177.5331,-197.2026 177.7962,-207.7942 184.3437,-205.3184"/>
|
||
|
|
<text text-anchor="middle" x="165.0093" y="-240.2" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca00804070 -->
|
||
|
|
<g id="node3" class="node">
|
||
|
|
<title>p0x7fca00804070</title>
|
||
|
|
<polygon fill="#7fffd4" stroke="#000000" points="356.028,-306 282.0093,-288 356.028,-270 430.0467,-288 356.028,-306"/>
|
||
|
|
<text text-anchor="middle" x="356.028" y="-283.8" font-family="Times,serif" font-size="14.00" fill="#000000">flip-coin-2</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca00803f50->p0x7fca00804070 -->
|
||
|
|
<g id="edge2" class="edge">
|
||
|
|
<title>p0x7fca00803f50->p0x7fca00804070</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M171.5071,-198.804C183.4814,-227.0911 212.0003,-283.3462 257.0187,-306 277.4044,-316.2584 302.7643,-311.3615 322.7146,-304.1046"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="324.0244,-307.3504 332.0283,-300.4086 321.4424,-300.844 324.0244,-307.3504"/>
|
||
|
|
<text text-anchor="middle" x="260.5187" y="-312.2" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca00804070->p0x7fca00803f50 -->
|
||
|
|
<g id="edge6" class="edge">
|
||
|
|
<title>p0x7fca00804070->p0x7fca00803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M305.9232,-282.096C289.691,-278.8378 272.018,-273.7952 257.0187,-266 227.9661,-250.9013 201.101,-224.2883 183.9944,-205.0572"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="186.4801,-202.5814 177.2826,-197.3224 181.193,-207.1692 186.4801,-202.5814"/>
|
||
|
|
<text text-anchor="middle" x="260.5187" y="-273.2" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca00804070->p0x7fca00803f50 -->
|
||
|
|
<g id="edge7" class="edge">
|
||
|
|
<title>p0x7fca00804070->p0x7fca00803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M327.4282,-276.8551C313.4894,-271.1173 296.6241,-263.7157 282.0187,-256 273.107,-251.2922 225.643,-220.9865 193.971,-200.6472"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="195.8066,-197.6665 185.5018,-195.2043 192.0221,-203.5552 195.8066,-197.6665"/>
|
||
|
|
<text text-anchor="middle" x="260.5187" y="-248.2" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca00804190 -->
|
||
|
|
<g id="node4" class="node">
|
||
|
|
<title>p0x7fca00804190</title>
|
||
|
|
<polygon fill="#7fffd4" stroke="#000000" points="547.0467,-237 473.028,-219 547.0467,-201 621.0653,-219 547.0467,-237"/>
|
||
|
|
<text text-anchor="middle" x="547.0467" y="-214.8" font-family="Times,serif" font-size="14.00" fill="#000000">flip-coin-3</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca00804070->p0x7fca00804190 -->
|
||
|
|
<g id="edge5" class="edge">
|
||
|
|
<title>p0x7fca00804070->p0x7fca00804190</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M385.8747,-277.2188C418.5808,-265.4046 471.1977,-246.3983 507.3615,-233.3351"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="508.8789,-236.5084 517.095,-229.8192 506.5007,-229.9248 508.8789,-236.5084"/>
|
||
|
|
<text text-anchor="middle" x="451.5373" y="-258.2" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca00804190->p0x7fca00803f50 -->
|
||
|
|
<g id="edge9" class="edge">
|
||
|
|
<title>p0x7fca00804190->p0x7fca00803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M480.4135,-217.1411C426.7002,-215.1226 349.3004,-211.0404 282.0187,-203 259.8287,-200.3482 235.4765,-196.1827 214.7612,-192.2583"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="215.3912,-188.8154 204.9094,-190.3589 214.066,-195.6888 215.3912,-188.8154"/>
|
||
|
|
<text text-anchor="middle" x="356.028" y="-219.2" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca00804190->p0x7fca00803f50 -->
|
||
|
|
<g id="edge10" class="edge">
|
||
|
|
<title>p0x7fca00804190->p0x7fca00803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M519.2462,-207.6175C495.8907,-198.7017 461.3977,-187.0273 430.0373,-182.2 362.3218,-171.7765 283.7157,-173.411 229.7977,-176.6029"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="229.4513,-173.1177 219.69,-177.2367 229.8894,-180.104 229.4513,-173.1177"/>
|
||
|
|
<text text-anchor="middle" x="356.028" y="-187.2" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca008042b0 -->
|
||
|
|
<g id="node5" class="node">
|
||
|
|
<title>p0x7fca008042b0</title>
|
||
|
|
<polygon fill="#7fffd4" stroke="#000000" points="738.0653,-142 664.0467,-124 738.0653,-106 812.084,-124 738.0653,-142"/>
|
||
|
|
<text text-anchor="middle" x="738.0653" y="-119.8" font-family="Times,serif" font-size="14.00" fill="#000000">flip-coin-4</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca00804190->p0x7fca008042b0 -->
|
||
|
|
<g id="edge8" class="edge">
|
||
|
|
<title>p0x7fca00804190->p0x7fca008042b0</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M571.628,-206.7749C605.4405,-189.9588 666.4239,-159.6297 704.4389,-140.7235"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="706.1831,-143.7651 713.5784,-136.1782 703.066,-137.4974 706.1831,-143.7651"/>
|
||
|
|
<text text-anchor="middle" x="642.556" y="-176.2" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca008042b0->p0x7fca00803f50 -->
|
||
|
|
<g id="edge12" class="edge">
|
||
|
|
<title>p0x7fca008042b0->p0x7fca00803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M685.0188,-129.1391C596.3657,-137.7622 412.4956,-155.7944 257.0187,-172 247.0703,-173.0369 236.5197,-174.1609 226.248,-175.2682"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="225.6673,-171.8105 216.1019,-176.3661 226.4204,-178.7699 225.6673,-171.8105"/>
|
||
|
|
<text text-anchor="middle" x="451.5373" y="-157.2" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca008042b0->p0x7fca00803f50 -->
|
||
|
|
<g id="edge13" class="edge">
|
||
|
|
<title>p0x7fca008042b0->p0x7fca00803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M669.4156,-122.6858C579.5877,-122.1882 417.6469,-125.496 282.0187,-151 257.0342,-155.6982 229.534,-162.8785 207.4748,-169.146"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="206.3901,-165.8161 197.7509,-171.9492 208.3291,-172.5422 206.3901,-165.8161"/>
|
||
|
|
<text text-anchor="middle" x="451.5373" y="-134.2" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca008043d0 -->
|
||
|
|
<g id="node6" class="node">
|
||
|
|
<title>p0x7fca008043d0</title>
|
||
|
|
<polygon fill="#7fffd4" stroke="#000000" points="929.084,-71 855.0653,-53 929.084,-35 1003.1026,-53 929.084,-71"/>
|
||
|
|
<text text-anchor="middle" x="929.084" y="-48.8" font-family="Times,serif" font-size="14.00" fill="#000000">flip-coin-5</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca008042b0->p0x7fca008043d0 -->
|
||
|
|
<g id="edge11" class="edge">
|
||
|
|
<title>p0x7fca008042b0->p0x7fca008043d0</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M767.4934,-113.0618C800.3045,-100.8662 853.5239,-81.085 889.8543,-67.5813"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="891.4685,-70.7154 899.6225,-63.9506 889.0296,-64.154 891.4685,-70.7154"/>
|
||
|
|
<text text-anchor="middle" x="833.5747" y="-93.2" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca008043d0->p0x7fca00803f50 -->
|
||
|
|
<g id="edge15" class="edge">
|
||
|
|
<title>p0x7fca008043d0->p0x7fca00803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M854.6981,-53C819.3612,-53 776.5344,-53 738.0653,-53 356.028,-53 356.028,-53 356.028,-53 281.2495,-53 213.8602,-121.7347 182.9167,-158.8583"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="180.135,-156.7314 176.5338,-166.6954 185.5626,-161.1519 180.135,-156.7314"/>
|
||
|
|
<text text-anchor="middle" x="547.0467" y="-57.2" font-family="Times,serif" font-size="14.00" fill="#000000">1</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca008043d0->p0x7fca00803f50 -->
|
||
|
|
<g id="edge16" class="edge">
|
||
|
|
<title>p0x7fca008043d0->p0x7fca00803f50</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M903.4477,-41.1058C867.3612,-25.4796 799.1534,0 738.0653,0 356.028,0 356.028,0 356.028,0 266.4921,0 202.321,-106.1075 176.9802,-156.2858"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="173.7075,-155.0097 172.4338,-165.5277 179.9886,-158.0996 173.7075,-155.0097"/>
|
||
|
|
<text text-anchor="middle" x="547.0467" y="-4.2" font-family="Times,serif" font-size="14.00" fill="#000000">2</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca008044f0 -->
|
||
|
|
<g id="node7" class="node">
|
||
|
|
<title>p0x7fca008044f0</title>
|
||
|
|
<ellipse fill="none" stroke="#000000" cx="1073.226" cy="-53" rx="27.2661" ry="18"/>
|
||
|
|
<text text-anchor="middle" x="1073.226" y="-48.8" font-family="Times,serif" font-size="14.00" fill="#000000">stop</text>
|
||
|
|
</g>
|
||
|
|
<!-- p0x7fca008043d0->p0x7fca008044f0 -->
|
||
|
|
<g id="edge14" class="edge">
|
||
|
|
<title>p0x7fca008043d0->p0x7fca008044f0</title>
|
||
|
|
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M1003.2662,-53C1014.6319,-53 1025.9275,-53 1036.0211,-53"/>
|
||
|
|
<polygon fill="#000000" stroke="#000000" points="1036.0572,-56.5001 1046.0571,-53 1036.0571,-49.5001 1036.0572,-56.5001"/>
|
||
|
|
<text text-anchor="middle" x="1024.5933" y="-57.2" font-family="Times,serif" font-size="14.00" fill="#000000">0</text>
|
||
|
|
</g>
|
||
|
|
</g>
|
||
|
|
</svg>
|