|
@@ -4,25 +4,25 @@
|
|
|
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
|
|
|
-->
|
|
|
<!-- Title: state transitions Pages: 1 -->
|
|
|
-<svg width="638pt" height="404pt"
|
|
|
- viewBox="0.00 0.00 638.00 404.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
|
|
|
+<svg width="479pt" height="404pt"
|
|
|
+ viewBox="0.00 0.00 479.00 404.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 400)">
|
|
|
<title>state transitions</title>
|
|
|
-<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-400 634,-400 634,4 -4,4"/>
|
|
|
+<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-400 475,-400 475,4 -4,4"/>
|
|
|
<g id="clust1" class="cluster">
|
|
|
<title>cluster__p</title>
|
|
|
-<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 610,-8 610,-8 616,-8 622,-14 622,-20 622,-20 622,-345 622,-345 622,-351 616,-357 610,-357 610,-357 20,-357 20,-357 14,-357 8,-351 8,-345 8,-345 8,-20 8,-20 8,-14 14,-8 20,-8"/>
|
|
|
-<text text-anchor="start" x="311.6646" y="-338.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">p</text>
|
|
|
+<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 451,-8 451,-8 457,-8 463,-14 463,-20 463,-20 463,-345 463,-345 463,-351 457,-357 451,-357 451,-357 20,-357 20,-357 14,-357 8,-351 8,-345 8,-345 8,-20 8,-20 8,-14 14,-8 20,-8"/>
|
|
|
+<text text-anchor="start" x="232.1646" y="-338.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">p</text>
|
|
|
</g>
|
|
|
<g id="clust2" class="cluster">
|
|
|
<title>cluster__p_o0</title>
|
|
|
-<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="175,-16 175,-319 614,-319 614,-16 175,-16"/>
|
|
|
-<text text-anchor="start" x="388.3292" y="-300.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">o0</text>
|
|
|
+<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="122,-16 122,-319 455,-319 455,-16 122,-16"/>
|
|
|
+<text text-anchor="start" x="282.3292" y="-300.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">o0</text>
|
|
|
</g>
|
|
|
<g id="clust3" class="cluster">
|
|
|
<title>cluster__p_o1</title>
|
|
|
-<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="24,-21 24,-319 167,-319 167,-21 24,-21"/>
|
|
|
-<text text-anchor="start" x="89.3292" y="-300.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">o1</text>
|
|
|
+<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="24,-21 24,-319 114,-319 114,-21 24,-21"/>
|
|
|
+<text text-anchor="start" x="62.8292" y="-300.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">o1</text>
|
|
|
</g>
|
|
|
<!-- __initial -->
|
|
|
<g id="node1" class="node">
|
|
@@ -41,60 +41,60 @@
|
|
|
<!-- _p_o0_initial -->
|
|
|
<g id="node4" class="node">
|
|
|
<title>_p_o0_initial</title>
|
|
|
-<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="454" cy="-275.5" rx="5.5" ry="5.5"/>
|
|
|
+<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="348" cy="-275.5" rx="5.5" ry="5.5"/>
|
|
|
</g>
|
|
|
<!-- _p_o0_a -->
|
|
|
<g id="node5" class="node">
|
|
|
<title>_p_o0_a</title>
|
|
|
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="482,-188 426,-188 426,-152 482,-152 482,-188"/>
|
|
|
-<text text-anchor="start" x="450.6646" y="-166.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">a</text>
|
|
|
-<path fill="none" stroke="#000000" stroke-width="2" d="M438.3333,-153C438.3333,-153 469.6667,-153 469.6667,-153 475.3333,-153 481,-158.6667 481,-164.3333 481,-164.3333 481,-175.6667 481,-175.6667 481,-181.3333 475.3333,-187 469.6667,-187 469.6667,-187 438.3333,-187 438.3333,-187 432.6667,-187 427,-181.3333 427,-175.6667 427,-175.6667 427,-164.3333 427,-164.3333 427,-158.6667 432.6667,-153 438.3333,-153"/>
|
|
|
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="376,-188 320,-188 320,-152 376,-152 376,-188"/>
|
|
|
+<text text-anchor="start" x="344.6646" y="-166.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">a</text>
|
|
|
+<path fill="none" stroke="#000000" stroke-width="2" d="M332.3333,-153C332.3333,-153 363.6667,-153 363.6667,-153 369.3333,-153 375,-158.6667 375,-164.3333 375,-164.3333 375,-175.6667 375,-175.6667 375,-181.3333 369.3333,-187 363.6667,-187 363.6667,-187 332.3333,-187 332.3333,-187 326.6667,-187 321,-181.3333 321,-175.6667 321,-175.6667 321,-164.3333 321,-164.3333 321,-158.6667 326.6667,-153 332.3333,-153"/>
|
|
|
</g>
|
|
|
<!-- _p_o0_initial->_p_o0_a -->
|
|
|
<g id="edge2" class="edge">
|
|
|
<title>_p_o0_initial->_p_o0_a</title>
|
|
|
-<path fill="none" stroke="#000000" d="M454,-269.8288C454,-265.1736 454,-258.4097 454,-252.5 454,-252.5 454,-252.5 454,-205.5 454,-203.1079 454,-200.6252 454,-198.1342"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="457.5001,-198.0597 454,-188.0598 450.5001,-198.0598 457.5001,-198.0597"/>
|
|
|
-<text text-anchor="middle" x="455.3895" y="-226" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
+<path fill="none" stroke="#000000" d="M348,-269.8288C348,-265.1736 348,-258.4097 348,-252.5 348,-252.5 348,-252.5 348,-205.5 348,-203.1079 348,-200.6252 348,-198.1342"/>
|
|
|
+<polygon fill="#000000" stroke="#000000" points="351.5001,-198.0597 348,-188.0598 344.5001,-198.0598 351.5001,-198.0597"/>
|
|
|
+<text text-anchor="middle" x="349.3895" y="-226" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
</g>
|
|
|
<!-- _p_o0_b -->
|
|
|
<g id="node6" class="node">
|
|
|
<title>_p_o0_b</title>
|
|
|
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="358,-70 252,-70 252,-24 358,-24 358,-70"/>
|
|
|
-<text text-anchor="start" x="301.6646" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">b</text>
|
|
|
-<text text-anchor="start" x="257.5022" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^out.in_b</text>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="252,-47 252,-47 358,-47 358,-47 252,-47"/>
|
|
|
-<path fill="none" stroke="#000000" stroke-width="2" d="M265,-25C265,-25 345,-25 345,-25 351,-25 357,-31 357,-37 357,-37 357,-57 357,-57 357,-63 351,-69 345,-69 345,-69 265,-69 265,-69 259,-69 253,-63 253,-57 253,-57 253,-37 253,-37 253,-31 259,-25 265,-25"/>
|
|
|
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="278,-70 172,-70 172,-24 278,-24 278,-70"/>
|
|
|
+<text text-anchor="start" x="221.6646" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">b</text>
|
|
|
+<text text-anchor="start" x="177.5022" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^out.in_b</text>
|
|
|
+<polygon fill="#000000" stroke="#000000" points="172,-47 172,-47 278,-47 278,-47 172,-47"/>
|
|
|
+<path fill="none" stroke="#000000" stroke-width="2" d="M185,-25C185,-25 265,-25 265,-25 271,-25 277,-31 277,-37 277,-37 277,-57 277,-57 277,-63 271,-69 265,-69 265,-69 185,-69 185,-69 179,-69 173,-63 173,-57 173,-57 173,-37 173,-37 173,-31 179,-25 185,-25"/>
|
|
|
</g>
|
|
|
<!-- _p_o0_a->_p_o0_b -->
|
|
|
<g id="edge3" class="edge">
|
|
|
<title>_p_o0_a->_p_o0_b</title>
|
|
|
-<path fill="none" stroke="#000000" d="M425.9206,-168.8931C360.8007,-165.9522 205,-156.6061 205,-134.5 205,-134.5 205,-134.5 205,-87.5 205,-77.5959 222.0646,-68.9632 242.0953,-62.2417"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="243.2909,-65.5347 251.7793,-59.1945 241.1899,-58.8575 243.2909,-65.5347"/>
|
|
|
-<text text-anchor="start" x="205" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(IntLiteral(i=100)) [INSTATE(["/p/o1/x"])]   </text>
|
|
|
+<path fill="none" stroke="#000000" d="M319.918,-167.7853C265.7222,-163.1318 152,-151.3584 152,-134.5 152,-134.5 152,-134.5 152,-87.5 152,-78.3329 156.4562,-71.2234 163.1666,-65.7143"/>
|
|
|
+<polygon fill="#000000" stroke="#000000" points="165.5053,-68.3661 171.9476,-59.9549 161.6661,-62.5128 165.5053,-68.3661"/>
|
|
|
+<text text-anchor="start" x="152" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(100) [INSTATE(["/p/o1/x"])]   </text>
|
|
|
</g>
|
|
|
<!-- _p_o0_c -->
|
|
|
<g id="node7" class="node">
|
|
|
<title>_p_o0_c</title>
|
|
|
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="554,-70 448,-70 448,-24 554,-24 554,-70"/>
|
|
|
-<text text-anchor="start" x="498" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">c</text>
|
|
|
-<text text-anchor="start" x="453.8376" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^out.in_c</text>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="448,-47 448,-47 554,-47 554,-47 448,-47"/>
|
|
|
-<path fill="none" stroke="#000000" stroke-width="2" d="M461,-25C461,-25 541,-25 541,-25 547,-25 553,-31 553,-37 553,-37 553,-57 553,-57 553,-63 547,-69 541,-69 541,-69 461,-69 461,-69 455,-69 449,-63 449,-57 449,-57 449,-37 449,-37 449,-31 455,-25 461,-25"/>
|
|
|
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="447,-70 341,-70 341,-24 447,-24 447,-70"/>
|
|
|
+<text text-anchor="start" x="391" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">c</text>
|
|
|
+<text text-anchor="start" x="346.8376" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^out.in_c</text>
|
|
|
+<polygon fill="#000000" stroke="#000000" points="341,-47 341,-47 447,-47 447,-47 341,-47"/>
|
|
|
+<path fill="none" stroke="#000000" stroke-width="2" d="M354,-25C354,-25 434,-25 434,-25 440,-25 446,-31 446,-37 446,-37 446,-57 446,-57 446,-63 440,-69 434,-69 434,-69 354,-69 354,-69 348,-69 342,-63 342,-57 342,-57 342,-37 342,-37 342,-31 348,-25 354,-25"/>
|
|
|
</g>
|
|
|
<!-- _p_o0_a->_p_o0_c -->
|
|
|
<g id="edge4" class="edge">
|
|
|
<title>_p_o0_a->_p_o0_c</title>
|
|
|
-<path fill="none" stroke="#000000" d="M482.1541,-159.659C492.1638,-154.0322 501,-145.8506 501,-134.5 501,-134.5 501,-134.5 501,-87.5 501,-85.127 501,-82.6757 501,-80.2081"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="504.5001,-80.1306 501,-70.1306 497.5001,-80.1306 504.5001,-80.1306"/>
|
|
|
-<text text-anchor="start" x="501" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(IntLiteral(i=150))   </text>
|
|
|
+<path fill="none" stroke="#000000" d="M376.1541,-159.659C386.1638,-154.0322 395,-145.8506 395,-134.5 395,-134.5 395,-134.5 395,-87.5 395,-85.1262 394.9826,-82.6744 394.9524,-80.2065"/>
|
|
|
+<polygon fill="#000000" stroke="#000000" points="398.4505,-80.0625 394.7681,-70.1282 391.4517,-80.1906 398.4505,-80.0625"/>
|
|
|
+<text text-anchor="start" x="395" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(150)   </text>
|
|
|
</g>
|
|
|
<!-- _p_o0_b->_p_o0_a -->
|
|
|
<g id="edge5" class="edge">
|
|
|
<title>_p_o0_b->_p_o0_a</title>
|
|
|
-<path fill="none" stroke="#000000" d="M358.3716,-56.4955C401.1255,-64.8642 454,-77.28 454,-87.5 454,-134.5 454,-134.5 454,-134.5 454,-136.8921 454,-139.3748 454,-141.8658"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="450.5001,-141.9402 454,-151.9402 457.5001,-141.9403 450.5001,-141.9402"/>
|
|
|
-<text text-anchor="middle" x="455.3895" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
+<path fill="none" stroke="#000000" d="M278.2342,-59.6571C311.4764,-68.3378 348,-79.6594 348,-87.5 348,-134.5 348,-134.5 348,-134.5 348,-136.8921 348,-139.3748 348,-141.8658"/>
|
|
|
+<polygon fill="#000000" stroke="#000000" points="344.5001,-141.9402 348,-151.9402 351.5001,-141.9403 344.5001,-141.9402"/>
|
|
|
+<text text-anchor="middle" x="349.3895" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
</g>
|
|
|
<!-- _p_o1 -->
|
|
|
<!-- _p_o1_initial -->
|
|
@@ -128,7 +128,7 @@
|
|
|
<title>_p_o1_x->_p_o1_y</title>
|
|
|
<path fill="none" stroke="#000000" d="M55.7033,-151.6741C54.7416,-146.1833 54,-140.1255 54,-134.5 54,-134.5 54,-134.5 54,-87.5 54,-83.4573 54.2962,-79.2119 54.7569,-75.0534"/>
|
|
|
<polygon fill="#000000" stroke="#000000" points="58.2353,-75.4511 56.1661,-65.0603 51.3039,-74.4736 58.2353,-75.4511"/>
|
|
|
-<text text-anchor="start" x="54" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(IntLiteral(i=250))   </text>
|
|
|
+<text text-anchor="start" x="54" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(250)   </text>
|
|
|
</g>
|
|
|
</g>
|
|
|
</svg>
|