SCCD/examples/stove/statechart_stove_priorities.svg

<?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: priorities Pages: 1 -->
<svg width="642pt" height="188pt"
 viewBox="0.00 0.00 641.73 188.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 184)">
<title>priorities</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-184 637.7341,-184 637.7341,4 -4,4"/>
<!-- 1. Pushed&#45;&gt;Released -->
<g id="node1" class="node">
<title>1. Pushed&#45;&gt;Released</title>
<ellipse fill="none" stroke="#000000" cx="306.5917" cy="-162" rx="85.2851" ry="18"/>
<text text-anchor="middle" x="306.5917" y="-158.3" font-family="Times,serif" font-size="14.00" fill="#000000">1. Pushed&#45;&gt;Released</text>
</g>
<!-- 2. Waiting&#45;&gt;Increasing -->
<g id="node2" class="node">
<title>2. Waiting&#45;&gt;Increasing</title>
<ellipse fill="none" stroke="#000000" cx="93.5917" cy="-90" rx="93.6835" ry="18"/>
<text text-anchor="middle" x="93.5917" y="-86.3" font-family="Times,serif" font-size="14.00" fill="#000000">2. Waiting&#45;&gt;Increasing</text>
</g>
<!-- 1. Pushed&#45;&gt;Released&#45;&gt;2. Waiting&#45;&gt;Increasing -->
<g id="edge1" class="edge">
<title>1. Pushed&#45;&gt;Released&#45;&gt;2. Waiting&#45;&gt;Increasing</title>
<path fill="none" stroke="#000000" d="M261.4199,-146.7307C228.8259,-135.713 184.6064,-120.7655 149.7396,-108.9796"/>
<polygon fill="#000000" stroke="#000000" points="150.7651,-105.6317 140.1709,-105.7451 148.5235,-112.2631 150.7651,-105.6317"/>
</g>
<!-- 3. Increasing&#45;&gt;Increasing -->
<g id="node3" class="node">
<title>3. Increasing&#45;&gt;Increasing</title>
<ellipse fill="none" stroke="#000000" cx="306.5917" cy="-90" rx="101.2821" ry="18"/>
<text text-anchor="middle" x="306.5917" y="-86.3" font-family="Times,serif" font-size="14.00" fill="#000000">3. Increasing&#45;&gt;Increasing</text>
</g>
<!-- 1. Pushed&#45;&gt;Released&#45;&gt;3. Increasing&#45;&gt;Increasing -->
<g id="edge2" class="edge">
<title>1. Pushed&#45;&gt;Released&#45;&gt;3. Increasing&#45;&gt;Increasing</title>
<path fill="none" stroke="#000000" d="M306.5917,-143.8314C306.5917,-136.131 306.5917,-126.9743 306.5917,-118.4166"/>
<polygon fill="#000000" stroke="#000000" points="310.0918,-118.4132 306.5917,-108.4133 303.0918,-118.4133 310.0918,-118.4132"/>
</g>
<!-- 4. BurnerSelect&#45;&gt;BurnerSelect -->
<g id="node5" class="node">
<title>4. BurnerSelect&#45;&gt;BurnerSelect</title>
<ellipse fill="none" stroke="#000000" cx="370.5917" cy="-18" rx="120.4791" ry="18"/>
<text text-anchor="middle" x="370.5917" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">4. BurnerSelect&#45;&gt;BurnerSelect</text>
</g>
<!-- 1. Pushed&#45;&gt;Released&#45;&gt;4. BurnerSelect&#45;&gt;BurnerSelect -->
<g id="edge4" class="edge">
<title>1. Pushed&#45;&gt;Released&#45;&gt;4. BurnerSelect&#45;&gt;BurnerSelect</title>
<path fill="none" stroke="#000000" d="M362.1942,-148.2763C382.965,-140.1583 404.4411,-127.5005 416.5917,-108 429.6645,-87.0193 414.4198,-61.8757 398.0646,-43.5042"/>
<polygon fill="#000000" stroke="#000000" points="400.4717,-40.9551 391.0666,-36.0772 395.377,-45.7556 400.4717,-40.9551"/>
</g>
<!-- 2. Waiting&#45;&gt;Increasing&#45;&gt;4. BurnerSelect&#45;&gt;BurnerSelect -->
<g id="edge5" class="edge">
<title>2. Waiting&#45;&gt;Increasing&#45;&gt;4. BurnerSelect&#45;&gt;BurnerSelect</title>
<path fill="none" stroke="#000000" d="M149.3136,-75.5163C192.8244,-64.2067 253.5516,-48.422 300.3838,-36.249"/>
<polygon fill="#000000" stroke="#000000" points="301.3573,-39.6123 310.1552,-33.7091 299.5963,-32.8374 301.3573,-39.6123"/>
</g>
<!-- 3. Increasing&#45;&gt;Increasing&#45;&gt;4. BurnerSelect&#45;&gt;BurnerSelect -->
<g id="edge6" class="edge">
<title>3. Increasing&#45;&gt;Increasing&#45;&gt;4. BurnerSelect&#45;&gt;BurnerSelect</title>
<path fill="none" stroke="#000000" d="M322.4119,-72.2022C330.0465,-63.6134 339.3485,-53.1486 347.7356,-43.7131"/>
<polygon fill="#000000" stroke="#000000" points="350.4812,-45.8925 354.5089,-36.0931 345.2493,-41.242 350.4812,-45.8925"/>
</g>
<!-- 0. Released&#45;&gt;Pushed -->
<g id="node4" class="node">
<title>0. Released&#45;&gt;Pushed</title>
<ellipse fill="none" stroke="#000000" cx="548.5917" cy="-90" rx="85.2851" ry="18"/>
<text text-anchor="middle" x="548.5917" y="-86.3" font-family="Times,serif" font-size="14.00" fill="#000000">0. Released&#45;&gt;Pushed</text>
</g>
<!-- 0. Released&#45;&gt;Pushed&#45;&gt;4. BurnerSelect&#45;&gt;BurnerSelect -->
<g id="edge3" class="edge">
<title>0. Released&#45;&gt;Pushed&#45;&gt;4. BurnerSelect&#45;&gt;BurnerSelect</title>
<path fill="none" stroke="#000000" d="M509.0877,-74.0209C483.4341,-63.6441 449.7359,-50.0134 422.0031,-38.7956"/>
<polygon fill="#000000" stroke="#000000" points="423.0482,-35.4429 412.4654,-34.9377 420.4233,-41.9321 423.0482,-35.4429"/>
</g>
</g>
</svg>