SCCD/examples/digitalwatch/model_digitalwatch_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="2272pt" height="1456pt"
 viewBox="0.00 0.00 2271.79 1456.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 1452)">
<title>priorities</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1452 2267.788,-1452 2267.788,4 -4,4"/>
<!-- 1. NotBlinking&#45;&gt;Blinking -->
<g id="node1" class="node">
<title>1. NotBlinking&#45;&gt;Blinking</title>
<ellipse fill="none" stroke="#000000" cx="858.95" cy="-1142" rx="102.8821" ry="18"/>
<text text-anchor="middle" x="858.95" y="-1138.3" font-family="Times,serif" font-size="14.00" fill="#000000">1. NotBlinking&#45;&gt;Blinking</text>
</g>
<!-- 2. NotBlinking&#45;&gt;Off -->
<g id="node2" class="node">
<title>2. NotBlinking&#45;&gt;Off</title>
<ellipse fill="none" stroke="#000000" cx="923.95" cy="-1070" rx="84.485" ry="18"/>
<text text-anchor="middle" x="923.95" y="-1066.3" font-family="Times,serif" font-size="14.00" fill="#000000">2. NotBlinking&#45;&gt;Off</text>
</g>
<!-- 1. NotBlinking&#45;&gt;Blinking&#45;&gt;2. NotBlinking&#45;&gt;Off -->
<g id="edge1" class="edge">
<title>1. NotBlinking&#45;&gt;Blinking&#45;&gt;2. NotBlinking&#45;&gt;Off</title>
<path fill="none" stroke="#00ff00" d="M875.0174,-1124.2022C882.83,-1115.5483 892.3619,-1104.99 900.9302,-1095.4988"/>
<polygon fill="#00ff00" stroke="#00ff00" points="903.7391,-1097.6106 907.8422,-1087.8425 898.5432,-1092.9199 903.7391,-1097.6106"/>
</g>
<!-- pseudo0 -->
<g id="node35" class="node">
<title>pseudo0</title>
<ellipse fill="#c0c0c0" stroke="#000000" cx="1183.95" cy="-1001.5" rx="14.5" ry="14.5"/>
</g>
<!-- 1. NotBlinking&#45;&gt;Blinking&#45;&gt;pseudo0 -->
<g id="edge33" class="edge">
<title>1. NotBlinking&#45;&gt;Blinking&#45;&gt;pseudo0</title>
<path fill="none" stroke="#0000ff" d="M844.4028,-1124.0599C830.2106,-1104.2725 813.1543,-1072.5227 830.95,-1052 852.5496,-1027.0905 1082.6294,-1008.6689 1159.271,-1003.1858"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1159.6927,-1006.6649 1169.4223,-1002.4714 1159.2013,-999.6821 1159.6927,-1006.6649"/>
</g>
<!-- 2. NotBlinking&#45;&gt;Off&#45;&gt;pseudo0 -->
<g id="edge34" class="edge">
<title>2. NotBlinking&#45;&gt;Off&#45;&gt;pseudo0</title>
<path fill="none" stroke="#0000ff" d="M977.1923,-1055.9727C1033.2271,-1041.2097 1118.9048,-1018.6369 1160.1441,-1007.7719"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1161.0763,-1011.1459 1169.8546,-1005.2136 1159.2928,-1004.3769 1161.0763,-1011.1459"/>
</g>
<!-- 3. Blinking&#45;&gt;Off -->
<g id="node3" class="node">
<title>3. Blinking&#45;&gt;Off</title>
<ellipse fill="none" stroke="#000000" cx="1122.95" cy="-1430" rx="71.4873" ry="18"/>
<text text-anchor="middle" x="1122.95" y="-1426.3" font-family="Times,serif" font-size="14.00" fill="#000000">3. Blinking&#45;&gt;Off</text>
</g>
<!-- 4. Blinking&#45;&gt;Off -->
<g id="node4" class="node">
<title>4. Blinking&#45;&gt;Off</title>
<ellipse fill="none" stroke="#000000" cx="1172.95" cy="-1358" rx="71.4873" ry="18"/>
<text text-anchor="middle" x="1172.95" y="-1354.3" font-family="Times,serif" font-size="14.00" fill="#000000">4. Blinking&#45;&gt;Off</text>
</g>
<!-- 3. Blinking&#45;&gt;Off&#45;&gt;4. Blinking&#45;&gt;Off -->
<g id="edge2" class="edge">
<title>3. Blinking&#45;&gt;Off&#45;&gt;4. Blinking&#45;&gt;Off</title>
<path fill="none" stroke="#00ff00" d="M1135.3096,-1412.2022C1141.1991,-1403.7214 1148.3587,-1393.4115 1154.8462,-1384.0696"/>
<polygon fill="#00ff00" stroke="#00ff00" points="1157.7302,-1386.0527 1160.5594,-1375.8425 1151.9806,-1382.0599 1157.7302,-1386.0527"/>
</g>
<!-- 8. On&#45;&gt;Off -->
<g id="node31" class="node">
<title>8. On&#45;&gt;Off</title>
<ellipse fill="none" stroke="#000000" cx="1223.95" cy="-1070" rx="51.1914" ry="18"/>
<text text-anchor="middle" x="1223.95" y="-1066.3" font-family="Times,serif" font-size="14.00" fill="#000000">8. On&#45;&gt;Off</text>
</g>
<!-- 3. Blinking&#45;&gt;Off&#45;&gt;8. On&#45;&gt;Off -->
<g id="edge19" class="edge">
<title>3. Blinking&#45;&gt;Off&#45;&gt;8. On&#45;&gt;Off</title>
<path fill="none" stroke="#ff0000" d="M1109.9078,-1412.0027C1103.4287,-1401.9451 1096.2858,-1388.8733 1092.95,-1376 1088.9366,-1360.5115 1089.5984,-1355.645 1092.95,-1340 1113.5673,-1243.7617 1175.0889,-1142.5347 1205.9205,-1096.0851"/>
<polygon fill="#ff0000" stroke="#ff0000" points="1208.9873,-1097.7964 1211.6564,-1087.5432 1203.1759,-1093.894 1208.9873,-1097.7964"/>
</g>
<!-- 9. Off&#45;&gt;On -->
<g id="node32" class="node">
<title>9. Off&#45;&gt;On</title>
<ellipse fill="none" stroke="#000000" cx="1563.95" cy="-1070" rx="51.1914" ry="18"/>
<text text-anchor="middle" x="1563.95" y="-1066.3" font-family="Times,serif" font-size="14.00" fill="#000000">9. Off&#45;&gt;On</text>
</g>
<!-- 3. Blinking&#45;&gt;Off&#45;&gt;9. Off&#45;&gt;On -->
<g id="edge24" class="edge">
<title>3. Blinking&#45;&gt;Off&#45;&gt;9. Off&#45;&gt;On</title>
<path fill="none" stroke="#ff0000" d="M1193.2412,-1426.4933C1342.5839,-1417.1207 1677.95,-1385.0469 1677.95,-1286 1677.95,-1286 1677.95,-1286 1677.95,-1214 1677.95,-1161.5303 1630.8474,-1117.0167 1597.1965,-1091.9104"/>
<polygon fill="#ff0000" stroke="#ff0000" points="1599.1203,-1088.9823 1588.9678,-1085.9526 1595.015,-1094.6521 1599.1203,-1088.9823"/>
</g>
<!-- 3. Blinking&#45;&gt;Off&#45;&gt;pseudo0 -->
<g id="edge35" class="edge">
<title>3. Blinking&#45;&gt;Off&#45;&gt;pseudo0</title>
<path fill="none" stroke="#0000ff" d="M1103.6419,-1412.5214C1078.011,-1387.3002 1035.95,-1337.9911 1035.95,-1286 1035.95,-1286 1035.95,-1286 1035.95,-1142 1035.95,-1073.9216 1119.3356,-1028.884 1160.9266,-1010.6543"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1162.4447,-1013.8124 1170.2918,-1006.6939 1159.7183,-1007.3652 1162.4447,-1013.8124"/>
</g>
<!-- 5. Blinking&#45;&gt;Off -->
<g id="node5" class="node">
<title>5. Blinking&#45;&gt;Off</title>
<ellipse fill="none" stroke="#000000" cx="1248.95" cy="-1286" rx="71.4873" ry="18"/>
<text text-anchor="middle" x="1248.95" y="-1282.3" font-family="Times,serif" font-size="14.00" fill="#000000">5. Blinking&#45;&gt;Off</text>
</g>
<!-- 4. Blinking&#45;&gt;Off&#45;&gt;5. Blinking&#45;&gt;Off -->
<g id="edge3" class="edge">
<title>4. Blinking&#45;&gt;Off&#45;&gt;5. Blinking&#45;&gt;Off</title>
<path fill="none" stroke="#00ff00" d="M1191.3475,-1340.5708C1200.8921,-1331.5286 1212.7088,-1320.3338 1223.1505,-1310.4417"/>
<polygon fill="#00ff00" stroke="#00ff00" points="1225.6061,-1312.9366 1230.4586,-1303.5182 1220.7919,-1307.8549 1225.6061,-1312.9366"/>
</g>
<!-- 4. Blinking&#45;&gt;Off&#45;&gt;8. On&#45;&gt;Off -->
<g id="edge20" class="edge">
<title>4. Blinking&#45;&gt;Off&#45;&gt;8. On&#45;&gt;Off</title>
<path fill="none" stroke="#ff0000" d="M1170.2585,-1339.984C1167.9777,-1321.7528 1165.5702,-1292.7954 1168.95,-1268 1177.4284,-1205.7998 1200.2353,-1135.5637 1213.6684,-1097.7234"/>
<polygon fill="#ff0000" stroke="#ff0000" points="1217.0951,-1098.5376 1217.1889,-1087.9431 1210.5088,-1096.1667 1217.0951,-1098.5376"/>
</g>
<!-- 4. Blinking&#45;&gt;Off&#45;&gt;9. Off&#45;&gt;On -->
<g id="edge25" class="edge">
<title>4. Blinking&#45;&gt;Off&#45;&gt;9. Off&#45;&gt;On</title>
<path fill="none" stroke="#ff0000" d="M1220.3781,-1344.4122C1284.4814,-1324.9111 1401.0877,-1285.3702 1490.95,-1232 1536.1966,-1205.1276 1561.6543,-1207.1878 1584.95,-1160 1594.8088,-1140.0302 1587.8028,-1115.257 1579.3222,-1096.7602"/>
<polygon fill="#ff0000" stroke="#ff0000" points="1582.4154,-1095.1196 1574.8344,-1087.7183 1576.1452,-1098.2318 1582.4154,-1095.1196"/>
</g>
<!-- 4. Blinking&#45;&gt;Off&#45;&gt;pseudo0 -->
<g id="edge36" class="edge">
<title>4. Blinking&#45;&gt;Off&#45;&gt;pseudo0</title>
<path fill="none" stroke="#0000ff" d="M1169.2368,-1339.5886C1167.3016,-1329.1874 1165.1034,-1315.9198 1163.95,-1304 1154.7007,-1208.4094 1159.2835,-1184.0278 1157.95,-1088 1157.7279,-1072.0015 1154.1821,-1067.55 1157.95,-1052 1160.4399,-1041.7244 1165.4049,-1031.1978 1170.335,-1022.4328"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1173.4235,-1024.0875 1175.5521,-1013.7087 1167.4158,-1020.4948 1173.4235,-1024.0875"/>
</g>
<!-- 6. Blinking&#45;&gt;Off -->
<g id="node6" class="node">
<title>6. Blinking&#45;&gt;Off</title>
<ellipse fill="none" stroke="#000000" cx="1324.95" cy="-1214" rx="71.4873" ry="18"/>
<text text-anchor="middle" x="1324.95" y="-1210.3" font-family="Times,serif" font-size="14.00" fill="#000000">6. Blinking&#45;&gt;Off</text>
</g>
<!-- 5. Blinking&#45;&gt;Off&#45;&gt;6. Blinking&#45;&gt;Off -->
<g id="edge4" class="edge">
<title>5. Blinking&#45;&gt;Off&#45;&gt;6. Blinking&#45;&gt;Off</title>
<path fill="none" stroke="#00ff00" d="M1267.3475,-1268.5708C1276.8921,-1259.5286 1288.7088,-1248.3338 1299.1505,-1238.4417"/>
<polygon fill="#00ff00" stroke="#00ff00" points="1301.6061,-1240.9366 1306.4586,-1231.5182 1296.7919,-1235.8549 1301.6061,-1240.9366"/>
</g>
<!-- 5. Blinking&#45;&gt;Off&#45;&gt;8. On&#45;&gt;Off -->
<g id="edge21" class="edge">
<title>5. Blinking&#45;&gt;Off&#45;&gt;8. On&#45;&gt;Off</title>
<path fill="none" stroke="#ff0000" d="M1246.8615,-1267.9555C1242.5049,-1230.3144 1232.4207,-1143.1867 1227.2052,-1098.1246"/>
<polygon fill="#ff0000" stroke="#ff0000" points="1230.6768,-1097.6763 1226.0502,-1088.1451 1223.7232,-1098.4812 1230.6768,-1097.6763"/>
</g>
<!-- 5. Blinking&#45;&gt;Off&#45;&gt;9. Off&#45;&gt;On -->
<g id="edge26" class="edge">
<title>5. Blinking&#45;&gt;Off&#45;&gt;9. Off&#45;&gt;On</title>
<path fill="none" stroke="#ff0000" d="M1300.1953,-1273.363C1382.2075,-1251.9614 1536.8155,-1206.3699 1566.95,-1160 1578.7382,-1141.8608 1576.9062,-1117.0358 1572.734,-1098.0524"/>
<polygon fill="#ff0000" stroke="#ff0000" points="1576.0853,-1097.0278 1570.247,-1088.1866 1569.2977,-1098.7389 1576.0853,-1097.0278"/>
</g>
<!-- 5. Blinking&#45;&gt;Off&#45;&gt;pseudo0 -->
<g id="edge37" class="edge">
<title>5. Blinking&#45;&gt;Off&#45;&gt;pseudo0</title>
<path fill="none" stroke="#0000ff" d="M1238.2287,-1267.9896C1218.7828,-1234.1549 1178.3753,-1158.1702 1163.95,-1088 1160.7282,-1072.3277 1160.9512,-1067.7165 1163.95,-1052 1165.7793,-1042.413 1169.3986,-1032.3235 1173.0614,-1023.7048"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1176.3463,-1024.935 1177.2767,-1014.3811 1169.9679,-1022.0513 1176.3463,-1024.935"/>
</g>
<!-- 7. Blinking&#45;&gt;NotBlinking -->
<g id="node7" class="node">
<title>7. Blinking&#45;&gt;NotBlinking</title>
<ellipse fill="none" stroke="#000000" cx="1432.95" cy="-1142" rx="102.8821" ry="18"/>
<text text-anchor="middle" x="1432.95" y="-1138.3" font-family="Times,serif" font-size="14.00" fill="#000000">7. Blinking&#45;&gt;NotBlinking</text>
</g>
<!-- 6. Blinking&#45;&gt;Off&#45;&gt;7. Blinking&#45;&gt;NotBlinking -->
<g id="edge5" class="edge">
<title>6. Blinking&#45;&gt;Off&#45;&gt;7. Blinking&#45;&gt;NotBlinking</title>
<path fill="none" stroke="#00ff00" d="M1350.2712,-1197.1192C1364.5798,-1187.5801 1382.6729,-1175.5181 1398.2828,-1165.1115"/>
<polygon fill="#00ff00" stroke="#00ff00" points="1400.2807,-1167.9861 1406.6597,-1159.5269 1396.3977,-1162.1617 1400.2807,-1167.9861"/>
</g>
<!-- 6. Blinking&#45;&gt;Off&#45;&gt;8. On&#45;&gt;Off -->
<g id="edge22" class="edge">
<title>6. Blinking&#45;&gt;Off&#45;&gt;8. On&#45;&gt;Off</title>
<path fill="none" stroke="#ff0000" d="M1312.3625,-1196.0535C1294.7269,-1170.9096 1262.5542,-1125.0396 1242.2648,-1096.1122"/>
<polygon fill="#ff0000" stroke="#ff0000" points="1244.9866,-1093.8975 1236.3789,-1087.7204 1239.2557,-1097.9172 1244.9866,-1093.8975"/>
</g>
<!-- 6. Blinking&#45;&gt;Off&#45;&gt;9. Off&#45;&gt;On -->
<g id="edge27" class="edge">
<title>6. Blinking&#45;&gt;Off&#45;&gt;9. Off&#45;&gt;On</title>
<path fill="none" stroke="#ff0000" d="M1389.1192,-1205.8901C1446.0939,-1197.3703 1523.5473,-1182.1129 1544.95,-1160 1560.6719,-1143.7564 1564.8162,-1117.9579 1565.3795,-1098.1382"/>
<polygon fill="#ff0000" stroke="#ff0000" points="1568.8794,-1098.1228 1565.3827,-1088.1216 1561.8794,-1098.1205 1568.8794,-1098.1228"/>
</g>
<!-- 6. Blinking&#45;&gt;Off&#45;&gt;pseudo0 -->
<g id="edge38" class="edge">
<title>6. Blinking&#45;&gt;Off&#45;&gt;pseudo0</title>
<path fill="none" stroke="#0000ff" d="M1322.312,-1195.9901C1316.5402,-1158.6384 1301.8644,-1074.3573 1283.95,-1052 1264.65,-1027.9134 1230.8502,-1014.2834 1207.9442,-1007.4018"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1208.8506,-1004.0211 1198.2777,-1004.7016 1206.9673,-1010.763 1208.8506,-1004.0211"/>
</g>
<!-- 7. Blinking&#45;&gt;NotBlinking&#45;&gt;8. On&#45;&gt;Off -->
<g id="edge23" class="edge">
<title>7. Blinking&#45;&gt;NotBlinking&#45;&gt;8. On&#45;&gt;Off</title>
<path fill="none" stroke="#ff0000" d="M1386.3065,-1125.9314C1351.8146,-1114.0491 1305.0433,-1097.9364 1270.5595,-1086.0568"/>
<polygon fill="#ff0000" stroke="#ff0000" points="1271.3251,-1082.6188 1260.7304,-1082.6707 1269.0451,-1089.2371 1271.3251,-1082.6188"/>
</g>
<!-- 7. Blinking&#45;&gt;NotBlinking&#45;&gt;9. Off&#45;&gt;On -->
<g id="edge28" class="edge">
<title>7. Blinking&#45;&gt;NotBlinking&#45;&gt;9. Off&#45;&gt;On</title>
<path fill="none" stroke="#ff0000" d="M1464.3278,-1124.7542C1483.1471,-1114.4107 1507.1805,-1101.2015 1526.9265,-1090.3488"/>
<polygon fill="#ff0000" stroke="#ff0000" points="1528.87,-1093.2745 1535.9477,-1085.3906 1525.4983,-1087.14 1528.87,-1093.2745"/>
</g>
<!-- 7. Blinking&#45;&gt;NotBlinking&#45;&gt;pseudo0 -->
<g id="edge39" class="edge">
<title>7. Blinking&#45;&gt;NotBlinking&#45;&gt;pseudo0</title>
<path fill="none" stroke="#0000ff" d="M1413.7014,-1124.1281C1391.6699,-1104.4017 1353.8499,-1072.7065 1316.95,-1052 1281.0116,-1031.833 1235.422,-1016.502 1208.0283,-1008.2701"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1208.7272,-1004.8277 1198.1464,-1005.3724 1206.7575,-1011.5449 1208.7272,-1004.8277"/>
</g>
<!-- 12. Released&#45;&gt;Pushed -->
<g id="node8" class="node">
<title>12. Released&#45;&gt;Pushed</title>
<ellipse fill="none" stroke="#000000" cx="1046.95" cy="-933" rx="89.8845" ry="18"/>
<text text-anchor="middle" x="1046.95" y="-929.3" font-family="Times,serif" font-size="14.00" fill="#000000">12. Released&#45;&gt;Pushed</text>
</g>
<!-- 13. Released&#45;&gt;Off -->
<g id="node9" class="node">
<title>13. Released&#45;&gt;Off</title>
<ellipse fill="none" stroke="#000000" cx="1057.95" cy="-861" rx="76.8869" ry="18"/>
<text text-anchor="middle" x="1057.95" y="-857.3" font-family="Times,serif" font-size="14.00" fill="#000000">13. Released&#45;&gt;Off</text>
</g>
<!-- 12. Released&#45;&gt;Pushed&#45;&gt;13. Released&#45;&gt;Off -->
<g id="edge6" class="edge">
<title>12. Released&#45;&gt;Pushed&#45;&gt;13. Released&#45;&gt;Off</title>
<path fill="none" stroke="#00ff00" d="M1049.7258,-914.8314C1050.9022,-907.131 1052.3012,-897.9743 1053.6086,-889.4166"/>
<polygon fill="#00ff00" stroke="#00ff00" points="1057.0864,-889.8272 1055.1369,-879.4133 1050.1667,-888.7699 1057.0864,-889.8272"/>
</g>
<!-- pseudo1 -->
<g id="node39" class="node">
<title>pseudo1</title>
<ellipse fill="#c0c0c0" stroke="#000000" cx="1139.95" cy="-792.5" rx="14.5" ry="14.5"/>
</g>
<!-- 12. Released&#45;&gt;Pushed&#45;&gt;pseudo1 -->
<g id="edge48" class="edge">
<title>12. Released&#45;&gt;Pushed&#45;&gt;pseudo1</title>
<path fill="none" stroke="#0000ff" d="M1010.6258,-916.3809C995.7974,-907.549 980.2158,-895.1367 971.95,-879 964.6556,-864.7595 962.4026,-855.8393 971.95,-843 989.1697,-819.8431 1072.9545,-803.2975 1115.319,-796.2645"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1116.0532,-799.6914 1125.3695,-794.646 1114.9402,-792.7805 1116.0532,-799.6914"/>
</g>
<!-- 13. Released&#45;&gt;Off&#45;&gt;pseudo1 -->
<g id="edge49" class="edge">
<title>13. Released&#45;&gt;Off&#45;&gt;pseudo1</title>
<path fill="none" stroke="#0000ff" d="M1079.0671,-843.3595C1091.8676,-832.6665 1108.0797,-819.1234 1120.5555,-808.7015"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1123.0772,-811.1556 1128.5078,-802.0584 1118.5894,-805.7834 1123.0772,-811.1556"/>
</g>
<!-- 16. Running&#45;&gt;Running -->
<g id="node10" class="node">
<title>16. Running&#45;&gt;Running</title>
<ellipse fill="none" stroke="#000000" cx="960.95" cy="-652" rx="92.8835" ry="18"/>
<text text-anchor="middle" x="960.95" y="-648.3" font-family="Times,serif" font-size="14.00" fill="#000000">16. Running&#45;&gt;Running</text>
</g>
<!-- 17. Running&#45;&gt;Stopped -->
<g id="node11" class="node">
<title>17. Running&#45;&gt;Stopped</title>
<ellipse fill="none" stroke="#000000" cx="1077.95" cy="-580" rx="91.784" ry="18"/>
<text text-anchor="middle" x="1077.95" y="-576.3" font-family="Times,serif" font-size="14.00" fill="#000000">17. Running&#45;&gt;Stopped</text>
</g>
<!-- 16. Running&#45;&gt;Running&#45;&gt;17. Running&#45;&gt;Stopped -->
<g id="edge7" class="edge">
<title>16. Running&#45;&gt;Running&#45;&gt;17. Running&#45;&gt;Stopped</title>
<path fill="none" stroke="#00ff00" d="M988.9744,-634.7542C1004.6333,-625.118 1024.3339,-612.9945 1041.2146,-602.6064"/>
<polygon fill="#00ff00" stroke="#00ff00" points="1043.0665,-605.5764 1049.7488,-597.3546 1039.3978,-599.6148 1043.0665,-605.5764"/>
</g>
<!-- pseudo2 -->
<g id="node40" class="node">
<title>pseudo2</title>
<ellipse fill="#c0c0c0" stroke="#000000" cx="1137.95" cy="-511.5" rx="14.5" ry="14.5"/>
</g>
<!-- 16. Running&#45;&gt;Running&#45;&gt;pseudo2 -->
<g id="edge56" class="edge">
<title>16. Running&#45;&gt;Running&#45;&gt;pseudo2</title>
<path fill="none" stroke="#0000ff" d="M959.041,-633.7851C957.9891,-613.7512 959.5515,-581.7815 976.95,-562 995.1094,-541.3535 1073.2104,-523.8319 1113.578,-515.9544"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1114.2579,-519.3879 1123.4263,-514.0782 1112.9479,-512.5116 1114.2579,-519.3879"/>
</g>
<!-- 17. Running&#45;&gt;Stopped&#45;&gt;pseudo2 -->
<g id="edge57" class="edge">
<title>17. Running&#45;&gt;Stopped&#45;&gt;pseudo2</title>
<path fill="none" stroke="#0000ff" d="M1093.7143,-562.0024C1102.286,-552.2165 1112.8761,-540.1261 1121.5453,-530.2287"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1124.333,-532.358 1128.2892,-522.5295 1119.0674,-527.7457 1124.333,-532.358"/>
</g>
<!-- 18. TimeUpdate&#45;&gt;TimeUpdate -->
<g id="node12" class="node">
<title>18. TimeUpdate&#45;&gt;TimeUpdate</title>
<ellipse fill="none" stroke="#000000" cx="127.95" cy="-443" rx="121.5784" ry="18"/>
<text text-anchor="middle" x="127.95" y="-439.3" font-family="Times,serif" font-size="14.00" fill="#000000">18. TimeUpdate&#45;&gt;TimeUpdate</text>
</g>
<!-- 19. TimeUpdate&#45;&gt;ChronoUpdate -->
<g id="node13" class="node">
<title>19. TimeUpdate&#45;&gt;ChronoUpdate</title>
<ellipse fill="none" stroke="#000000" cx="157.95" cy="-371" rx="128.8774" ry="18"/>
<text text-anchor="middle" x="157.95" y="-367.3" font-family="Times,serif" font-size="14.00" fill="#000000">19. TimeUpdate&#45;&gt;ChronoUpdate</text>
</g>
<!-- 18. TimeUpdate&#45;&gt;TimeUpdate&#45;&gt;19. TimeUpdate&#45;&gt;ChronoUpdate -->
<g id="edge8" class="edge">
<title>18. TimeUpdate&#45;&gt;TimeUpdate&#45;&gt;19. TimeUpdate&#45;&gt;ChronoUpdate</title>
<path fill="none" stroke="#00ff00" d="M135.5203,-424.8314C138.7993,-416.9617 142.712,-407.5712 146.3445,-398.8533"/>
<polygon fill="#00ff00" stroke="#00ff00" points="149.6624,-399.9902 150.2778,-389.4133 143.2008,-397.2979 149.6624,-399.9902"/>
</g>
<!-- pseudo3 -->
<g id="node41" class="node">
<title>pseudo3</title>
<ellipse fill="#c0c0c0" stroke="#000000" cx="1089.95" cy="-158.5" rx="14.5" ry="14.5"/>
</g>
<!-- 18. TimeUpdate&#45;&gt;TimeUpdate&#45;&gt;pseudo3 -->
<g id="edge75" class="edge">
<title>18. TimeUpdate&#45;&gt;TimeUpdate&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M68.7914,-427.1474C49.8613,-418.9729 30.971,-406.8323 19.95,-389 -24.458,-317.1464 11.0218,-256.382 80.95,-209 122.9596,-180.5351 913.8164,-162.2608 1065.0661,-159.0186"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1065.2744,-162.515 1075.1978,-158.8035 1065.1257,-155.5166 1065.2744,-162.515"/>
</g>
<!-- 20. TimeUpdate&#45;&gt;WaitingToEdit -->
<g id="node14" class="node">
<title>20. TimeUpdate&#45;&gt;WaitingToEdit</title>
<ellipse fill="none" stroke="#000000" cx="195.95" cy="-299" rx="129.9769" ry="18"/>
<text text-anchor="middle" x="195.95" y="-295.3" font-family="Times,serif" font-size="14.00" fill="#000000">20. TimeUpdate&#45;&gt;WaitingToEdit</text>
</g>
<!-- 19. TimeUpdate&#45;&gt;ChronoUpdate&#45;&gt;20. TimeUpdate&#45;&gt;WaitingToEdit -->
<g id="edge9" class="edge">
<title>19. TimeUpdate&#45;&gt;ChronoUpdate&#45;&gt;20. TimeUpdate&#45;&gt;WaitingToEdit</title>
<path fill="none" stroke="#00ff00" d="M167.539,-352.8314C171.7818,-344.7925 176.8621,-335.1666 181.546,-326.2918"/>
<polygon fill="#00ff00" stroke="#00ff00" points="184.6596,-327.8908 186.2319,-317.4133 178.4689,-324.6235 184.6596,-327.8908"/>
</g>
<!-- 19. TimeUpdate&#45;&gt;ChronoUpdate&#45;&gt;pseudo3 -->
<g id="edge76" class="edge">
<title>19. TimeUpdate&#45;&gt;ChronoUpdate&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M103.3277,-354.6508C85.3497,-346.3839 67.3246,-334.3111 56.95,-317 48.7251,-303.2759 49.283,-295.0434 56.95,-281 85.3066,-229.0603 112.65,-227.2244 168.95,-209 256.3754,-180.7003 927.4387,-162.5505 1065.2575,-159.1002"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1065.3488,-162.5991 1075.259,-158.8523 1065.1753,-155.6013 1065.3488,-162.5991"/>
</g>
<!-- 21. TimeUpdate&#45;&gt;WaitingForAlarm -->
<g id="node15" class="node">
<title>21. TimeUpdate&#45;&gt;WaitingForAlarm</title>
<ellipse fill="none" stroke="#000000" cx="331.95" cy="-227" rx="141.075" ry="18"/>
<text text-anchor="middle" x="331.95" y="-223.3" font-family="Times,serif" font-size="14.00" fill="#000000">21. TimeUpdate&#45;&gt;WaitingForAlarm</text>
</g>
<!-- 20. TimeUpdate&#45;&gt;WaitingToEdit&#45;&gt;21. TimeUpdate&#45;&gt;WaitingForAlarm -->
<g id="edge10" class="edge">
<title>20. TimeUpdate&#45;&gt;WaitingToEdit&#45;&gt;21. TimeUpdate&#45;&gt;WaitingForAlarm</title>
<path fill="none" stroke="#00ff00" d="M228.8718,-281.5708C247.1953,-271.8702 270.1982,-259.6921 289.8225,-249.3028"/>
<polygon fill="#00ff00" stroke="#00ff00" points="291.6598,-252.2904 298.86,-244.5182 288.3845,-246.1039 291.6598,-252.2904"/>
</g>
<!-- 20. TimeUpdate&#45;&gt;WaitingToEdit&#45;&gt;pseudo3 -->
<g id="edge77" class="edge">
<title>20. TimeUpdate&#45;&gt;WaitingToEdit&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M185.4702,-280.8862C175.2899,-260.6389 163.8029,-228.1844 181.95,-209 213.1454,-176.0215 921.3423,-161.5361 1064.7587,-158.9358"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1065.2071,-162.4284 1075.1431,-158.7505 1065.0822,-155.4295 1065.2071,-162.4284"/>
</g>
<!-- 21. TimeUpdate&#45;&gt;WaitingForAlarm&#45;&gt;pseudo3 -->
<g id="edge78" class="edge">
<title>21. TimeUpdate&#45;&gt;WaitingForAlarm&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M434.4516,-214.627C451.9565,-212.6485 469.9675,-210.6968 486.95,-209 711.3148,-186.5831 983.3307,-166.2571 1065.3799,-160.2736"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1065.747,-163.7563 1075.467,-159.5406 1065.2396,-156.7747 1065.747,-163.7563"/>
</g>
<!-- 22. WaitingToEdit&#45;&gt;EditingTime -->
<g id="node16" class="node">
<title>22. WaitingToEdit&#45;&gt;EditingTime</title>
<ellipse fill="none" stroke="#000000" cx="512.95" cy="-443" rx="130.777" ry="18"/>
<text text-anchor="middle" x="512.95" y="-439.3" font-family="Times,serif" font-size="14.00" fill="#000000">22. WaitingToEdit&#45;&gt;EditingTime</text>
</g>
<!-- 23. WaitingToEdit&#45;&gt;TimeUpdate -->
<g id="node17" class="node">
<title>23. WaitingToEdit&#45;&gt;TimeUpdate</title>
<ellipse fill="none" stroke="#000000" cx="593.95" cy="-371" rx="129.9769" ry="18"/>
<text text-anchor="middle" x="593.95" y="-367.3" font-family="Times,serif" font-size="14.00" fill="#000000">23. WaitingToEdit&#45;&gt;TimeUpdate</text>
</g>
<!-- 22. WaitingToEdit&#45;&gt;EditingTime&#45;&gt;23. WaitingToEdit&#45;&gt;TimeUpdate -->
<g id="edge11" class="edge">
<title>22. WaitingToEdit&#45;&gt;EditingTime&#45;&gt;23. WaitingToEdit&#45;&gt;TimeUpdate</title>
<path fill="none" stroke="#00ff00" d="M532.9725,-425.2022C543.0003,-416.2887 555.3009,-405.3548 566.2215,-395.6476"/>
<polygon fill="#00ff00" stroke="#00ff00" points="568.7283,-398.1022 573.8772,-388.8425 564.0778,-392.8703 568.7283,-398.1022"/>
</g>
<!-- 22. WaitingToEdit&#45;&gt;EditingTime&#45;&gt;pseudo3 -->
<g id="edge79" class="edge">
<title>22. WaitingToEdit&#45;&gt;EditingTime&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M485.5987,-425.3434C473.8254,-416.0924 461.3196,-403.6332 454.95,-389 448.5642,-374.3296 447.172,-366.9822 454.95,-353 513.9456,-246.9461 572.5418,-249.4803 686.95,-209 757.5944,-184.0044 988.7337,-165.7032 1065.1649,-160.2105"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1065.554,-163.6918 1075.2816,-159.4938 1065.0592,-156.7093 1065.554,-163.6918"/>
</g>
<!-- 23. WaitingToEdit&#45;&gt;TimeUpdate&#45;&gt;pseudo3 -->
<g id="edge80" class="edge">
<title>23. WaitingToEdit&#45;&gt;TimeUpdate&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M604.0406,-352.9127C624.365,-318.3911 673.8181,-243.4815 737.95,-209 794.9838,-178.3349 994.909,-164.0163 1065.2455,-159.8454"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1065.5973,-163.331 1075.3797,-159.2622 1065.1951,-156.3426 1065.5973,-163.331"/>
</g>
<!-- 24. WaitingForAlarm&#45;&gt;EditingTime -->
<g id="node18" class="node">
<title>24. WaitingForAlarm&#45;&gt;EditingTime</title>
<ellipse fill="none" stroke="#000000" cx="841.95" cy="-443" rx="141.8751" ry="18"/>
<text text-anchor="middle" x="841.95" y="-439.3" font-family="Times,serif" font-size="14.00" fill="#000000">24. WaitingForAlarm&#45;&gt;EditingTime</text>
</g>
<!-- 25. WaitingForAlarm&#45;&gt;TimeUpdate -->
<g id="node19" class="node">
<title>25. WaitingForAlarm&#45;&gt;TimeUpdate</title>
<ellipse fill="none" stroke="#000000" cx="920.95" cy="-371" rx="141.075" ry="18"/>
<text text-anchor="middle" x="920.95" y="-367.3" font-family="Times,serif" font-size="14.00" fill="#000000">25. WaitingForAlarm&#45;&gt;TimeUpdate</text>
</g>
<!-- 24. WaitingForAlarm&#45;&gt;EditingTime&#45;&gt;25. WaitingForAlarm&#45;&gt;TimeUpdate -->
<g id="edge12" class="edge">
<title>24. WaitingForAlarm&#45;&gt;EditingTime&#45;&gt;25. WaitingForAlarm&#45;&gt;TimeUpdate</title>
<path fill="none" stroke="#00ff00" d="M861.8851,-424.8314C871.5011,-416.0673 883.1868,-405.4171 893.6179,-395.9103"/>
<polygon fill="#00ff00" stroke="#00ff00" points="896.2617,-398.2363 901.295,-388.9134 891.5465,-393.0626 896.2617,-398.2363"/>
</g>
<!-- 24. WaitingForAlarm&#45;&gt;EditingTime&#45;&gt;pseudo3 -->
<g id="edge81" class="edge">
<title>24. WaitingForAlarm&#45;&gt;EditingTime&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M806.7684,-425.4753C792.9483,-416.5986 778.5859,-404.4009 770.95,-389 763.8428,-374.6652 763.1164,-366.9512 770.95,-353 836.3956,-236.4456 1003.191,-181.5035 1065.7549,-164.5076"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1066.7477,-167.8655 1075.5267,-161.9343 1064.9651,-161.0963 1066.7477,-167.8655"/>
</g>
<!-- 25. WaitingForAlarm&#45;&gt;TimeUpdate&#45;&gt;pseudo3 -->
<g id="edge82" class="edge">
<title>25. WaitingForAlarm&#45;&gt;TimeUpdate&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M935.3589,-352.8824C966.956,-313.1523 1042.0999,-218.6666 1074.5691,-177.8399"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1077.3338,-179.9866 1080.8189,-169.9814 1071.8551,-175.6295 1077.3338,-179.9866"/>
</g>
<!-- 26. Waiting&#45;&gt;Increasing -->
<g id="node20" class="node">
<title>26. Waiting&#45;&gt;Increasing</title>
<ellipse fill="none" stroke="#000000" cx="1137.95" cy="-443" rx="98.2828" ry="18"/>
<text text-anchor="middle" x="1137.95" y="-439.3" font-family="Times,serif" font-size="14.00" fill="#000000">26. Waiting&#45;&gt;Increasing</text>
</g>
<!-- 27. Waiting&#45;&gt;GoingToNext -->
<g id="node21" class="node">
<title>27. Waiting&#45;&gt;GoingToNext</title>
<ellipse fill="none" stroke="#000000" cx="1227.95" cy="-371" rx="110.4804" ry="18"/>
<text text-anchor="middle" x="1227.95" y="-367.3" font-family="Times,serif" font-size="14.00" fill="#000000">27. Waiting&#45;&gt;GoingToNext</text>
</g>
<!-- 26. Waiting&#45;&gt;Increasing&#45;&gt;27. Waiting&#45;&gt;GoingToNext -->
<g id="edge13" class="edge">
<title>26. Waiting&#45;&gt;Increasing&#45;&gt;27. Waiting&#45;&gt;GoingToNext</title>
<path fill="none" stroke="#00ff00" d="M1160.1972,-425.2022C1171.4474,-416.2021 1185.2722,-405.1423 1197.4935,-395.3652"/>
<polygon fill="#00ff00" stroke="#00ff00" points="1200.0246,-397.8226 1205.6468,-388.8425 1195.6517,-392.3565 1200.0246,-397.8226"/>
</g>
<!-- 26. Waiting&#45;&gt;Increasing&#45;&gt;pseudo3 -->
<g id="edge83" class="edge">
<title>26. Waiting&#45;&gt;Increasing&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M1125.7553,-424.8274C1119.613,-414.7184 1112.6921,-401.6536 1108.95,-389 1087.528,-316.5636 1087.33,-226.1141 1088.7309,-183.2427"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1092.2313,-183.2996 1089.1202,-173.1718 1085.2365,-183.0291 1092.2313,-183.2996"/>
</g>
<!-- 28. Waiting&#45;&gt;TimeUpdate -->
<g id="node22" class="node">
<title>28. Waiting&#45;&gt;TimeUpdate</title>
<ellipse fill="none" stroke="#000000" cx="1261.95" cy="-299" rx="105.8812" ry="18"/>
<text text-anchor="middle" x="1261.95" y="-295.3" font-family="Times,serif" font-size="14.00" fill="#000000">28. Waiting&#45;&gt;TimeUpdate</text>
</g>
<!-- 27. Waiting&#45;&gt;GoingToNext&#45;&gt;28. Waiting&#45;&gt;TimeUpdate -->
<g id="edge14" class="edge">
<title>27. Waiting&#45;&gt;GoingToNext&#45;&gt;28. Waiting&#45;&gt;TimeUpdate</title>
<path fill="none" stroke="#00ff00" d="M1236.5297,-352.8314C1240.2858,-344.8771 1244.7758,-335.369 1248.9298,-326.5723"/>
<polygon fill="#00ff00" stroke="#00ff00" points="1252.1496,-327.9503 1253.2549,-317.4133 1245.8199,-324.9612 1252.1496,-327.9503"/>
</g>
<!-- 27. Waiting&#45;&gt;GoingToNext&#45;&gt;pseudo3 -->
<g id="edge84" class="edge">
<title>27. Waiting&#45;&gt;GoingToNext&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M1192.2023,-353.831C1176.4902,-344.7582 1158.9281,-332.3066 1146.95,-317 1130.1477,-295.5286 1107.581,-221.2432 1096.562,-182.4743"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1099.8494,-181.235 1093.7747,-172.5547 1093.1104,-183.1287 1099.8494,-181.235"/>
</g>
<!-- 28. Waiting&#45;&gt;TimeUpdate&#45;&gt;pseudo3 -->
<g id="edge85" class="edge">
<title>28. Waiting&#45;&gt;TimeUpdate&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M1240.1661,-281.2056C1206.31,-253.5498 1141.6049,-200.6948 1109.2998,-174.3061"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1111.4194,-171.5182 1101.4606,-167.9025 1106.991,-176.9394 1111.4194,-171.5182"/>
</g>
<!-- 29. GoingToNext&#45;&gt;Waiting -->
<g id="node23" class="node">
<title>29. GoingToNext&#45;&gt;Waiting</title>
<ellipse fill="none" stroke="#000000" cx="1439.95" cy="-443" rx="110.4804" ry="18"/>
<text text-anchor="middle" x="1439.95" y="-439.3" font-family="Times,serif" font-size="14.00" fill="#000000">29. GoingToNext&#45;&gt;Waiting</text>
</g>
<!-- 30. GoingToNext&#45;&gt;TimeUpdate -->
<g id="node24" class="node">
<title>30. GoingToNext&#45;&gt;TimeUpdate</title>
<ellipse fill="none" stroke="#000000" cx="1557.95" cy="-371" rx="126.1777" ry="18"/>
<text text-anchor="middle" x="1557.95" y="-367.3" font-family="Times,serif" font-size="14.00" fill="#000000">30. GoingToNext&#45;&gt;TimeUpdate</text>
</g>
<!-- 29. GoingToNext&#45;&gt;Waiting&#45;&gt;30. GoingToNext&#45;&gt;TimeUpdate -->
<g id="edge15" class="edge">
<title>29. GoingToNext&#45;&gt;Waiting&#45;&gt;30. GoingToNext&#45;&gt;TimeUpdate</title>
<path fill="none" stroke="#00ff00" d="M1468.5145,-425.5708C1483.938,-416.1599 1503.1828,-404.4173 1519.8651,-394.2383"/>
<polygon fill="#00ff00" stroke="#00ff00" points="1522.1154,-396.9653 1528.8288,-388.7689 1518.4694,-390.9898 1522.1154,-396.9653"/>
</g>
<!-- 29. GoingToNext&#45;&gt;Waiting&#45;&gt;pseudo3 -->
<g id="edge86" class="edge">
<title>29. GoingToNext&#45;&gt;Waiting&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M1433.8342,-424.9915C1420.1563,-385.0844 1387.4705,-291.8683 1376.95,-281 1301.6889,-203.2501 1169.1555,-172.2528 1114.5372,-162.3835"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1114.8515,-158.8862 1104.4023,-160.6362 1113.6622,-165.7844 1114.8515,-158.8862"/>
</g>
<!-- 30. GoingToNext&#45;&gt;TimeUpdate&#45;&gt;pseudo3 -->
<g id="edge87" class="edge">
<title>30. GoingToNext&#45;&gt;TimeUpdate&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M1548.2442,-352.9745C1528.665,-318.5598 1480.8845,-243.8272 1417.95,-209 1365.5413,-179.9976 1181.8912,-164.7933 1114.7629,-160.1055"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1114.8923,-156.6063 1104.6778,-159.4198 1114.4173,-163.5902 1114.8923,-156.6063"/>
</g>
<!-- 31. Increasing&#45;&gt;Increasing -->
<g id="node25" class="node">
<title>31. Increasing&#45;&gt;Increasing</title>
<ellipse fill="none" stroke="#000000" cx="1711.95" cy="-443" rx="105.8812" ry="18"/>
<text text-anchor="middle" x="1711.95" y="-439.3" font-family="Times,serif" font-size="14.00" fill="#000000">31. Increasing&#45;&gt;Increasing</text>
</g>
<!-- 32. Increasing&#45;&gt;Waiting -->
<g id="node26" class="node">
<title>32. Increasing&#45;&gt;Waiting</title>
<ellipse fill="none" stroke="#000000" cx="1837.95" cy="-371" rx="98.2828" ry="18"/>
<text text-anchor="middle" x="1837.95" y="-367.3" font-family="Times,serif" font-size="14.00" fill="#000000">32. Increasing&#45;&gt;Waiting</text>
</g>
<!-- 31. Increasing&#45;&gt;Increasing&#45;&gt;32. Increasing&#45;&gt;Waiting -->
<g id="edge16" class="edge">
<title>31. Increasing&#45;&gt;Increasing&#45;&gt;32. Increasing&#45;&gt;Waiting</title>
<path fill="none" stroke="#00ff00" d="M1742.4511,-425.5708C1759.3209,-415.931 1780.4718,-403.8447 1798.5779,-393.4984"/>
<polygon fill="#00ff00" stroke="#00ff00" points="1800.7839,-396.269 1807.7298,-388.2687 1797.3109,-390.1913 1800.7839,-396.269"/>
</g>
<!-- 31. Increasing&#45;&gt;Increasing&#45;&gt;pseudo3 -->
<g id="edge88" class="edge">
<title>31. Increasing&#45;&gt;Increasing&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M1712.2263,-424.758C1711.6446,-405.2852 1708.111,-374.3553 1692.95,-353 1621.3805,-252.1896 1571.4719,-250.3231 1454.95,-209 1391.5669,-186.5219 1186.0937,-166.9025 1114.6803,-160.6082"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1114.6782,-157.0949 1104.4122,-159.7141 1114.0709,-164.0685 1114.6782,-157.0949"/>
</g>
<!-- 32. Increasing&#45;&gt;Waiting&#45;&gt;pseudo3 -->
<g id="edge89" class="edge">
<title>32. Increasing&#45;&gt;Waiting&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M1831.5385,-352.922C1818.1113,-318.0695 1783.4301,-242.107 1725.95,-209 1672.187,-178.0339 1225.355,-162.5887 1114.6768,-159.2163"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1114.5929,-155.7123 1104.4926,-158.9114 1114.3833,-162.7091 1114.5929,-155.7123"/>
</g>
<!-- 33. ChronoUpdate&#45;&gt;TimeUpdate -->
<g id="node27" class="node">
<title>33. ChronoUpdate&#45;&gt;TimeUpdate</title>
<ellipse fill="none" stroke="#000000" cx="2002.95" cy="-443" rx="128.8774" ry="18"/>
<text text-anchor="middle" x="2002.95" y="-439.3" font-family="Times,serif" font-size="14.00" fill="#000000">33. ChronoUpdate&#45;&gt;TimeUpdate</text>
</g>
<!-- 34. ChronoUpdate&#45;&gt;ChronoUpdate -->
<g id="node28" class="node">
<title>34. ChronoUpdate&#45;&gt;ChronoUpdate</title>
<ellipse fill="none" stroke="#000000" cx="2127.95" cy="-371" rx="135.6761" ry="18"/>
<text text-anchor="middle" x="2127.95" y="-367.3" font-family="Times,serif" font-size="14.00" fill="#000000">34. ChronoUpdate&#45;&gt;ChronoUpdate</text>
</g>
<!-- 33. ChronoUpdate&#45;&gt;TimeUpdate&#45;&gt;34. ChronoUpdate&#45;&gt;ChronoUpdate -->
<g id="edge17" class="edge">
<title>33. ChronoUpdate&#45;&gt;TimeUpdate&#45;&gt;34. ChronoUpdate&#45;&gt;ChronoUpdate</title>
<path fill="none" stroke="#00ff00" d="M2033.5285,-425.3868C2050.0235,-415.8857 2070.5736,-404.0488 2088.2865,-393.8462"/>
<polygon fill="#00ff00" stroke="#00ff00" points="2090.3357,-396.705 2097.254,-388.6809 2086.8418,-390.6393 2090.3357,-396.705"/>
</g>
<!-- 33. ChronoUpdate&#45;&gt;TimeUpdate&#45;&gt;pseudo3 -->
<g id="edge90" class="edge">
<title>33. ChronoUpdate&#45;&gt;TimeUpdate&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M1993.6451,-424.8483C1983.3228,-405.7302 1965.4011,-375.3563 1944.95,-353 1874.6222,-276.1203 1857.1564,-246.5155 1759.95,-209 1698.7993,-185.3997 1228.5477,-164.3123 1114.7071,-159.5179"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1114.6858,-156.014 1104.5484,-159.0936 1114.3936,-163.0079 1114.6858,-156.014"/>
</g>
<!-- 34. ChronoUpdate&#45;&gt;ChronoUpdate&#45;&gt;pseudo3 -->
<g id="edge91" class="edge">
<title>34. ChronoUpdate&#45;&gt;ChronoUpdate&#45;&gt;pseudo3</title>
<path fill="none" stroke="#0000ff" d="M2117.8152,-352.9455C2096.9396,-317.7811 2045.3905,-240.7764 1977.95,-209 1897.9583,-171.3098 1250.1735,-160.6368 1114.7236,-158.8079"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1114.584,-155.3058 1104.5389,-158.6742 1114.492,-162.3052 1114.584,-155.3058"/>
</g>
<!-- 35. Increasing&#45;&gt;Increasing -->
<g id="node29" class="node">
<title>35. Increasing&#45;&gt;Increasing</title>
<ellipse fill="none" stroke="#000000" cx="1089.95" cy="-90" rx="105.8812" ry="18"/>
<text text-anchor="middle" x="1089.95" y="-86.3" font-family="Times,serif" font-size="14.00" fill="#000000">35. Increasing&#45;&gt;Increasing</text>
</g>
<!-- 36. Increasing&#45;&gt;Editing -->
<g id="node30" class="node">
<title>36. Increasing&#45;&gt;Editing</title>
<ellipse fill="none" stroke="#000000" cx="1022.95" cy="-18" rx="94.7833" ry="18"/>
<text text-anchor="middle" x="1022.95" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">36. Increasing&#45;&gt;Editing</text>
</g>
<!-- 35. Increasing&#45;&gt;Increasing&#45;&gt;36. Increasing&#45;&gt;Editing -->
<g id="edge18" class="edge">
<title>35. Increasing&#45;&gt;Increasing&#45;&gt;36. Increasing&#45;&gt;Editing</title>
<path fill="none" stroke="#00ff00" d="M1073.3882,-72.2022C1065.2547,-63.4617 1055.3135,-52.7786 1046.4135,-43.2144"/>
<polygon fill="#00ff00" stroke="#00ff00" points="1048.9281,-40.7789 1039.5535,-35.8425 1043.8036,-45.5476 1048.9281,-40.7789"/>
</g>
<!-- 8. On&#45;&gt;Off&#45;&gt;pseudo0 -->
<g id="edge40" class="edge">
<title>8. On&#45;&gt;Off&#45;&gt;pseudo0</title>
<path fill="none" stroke="#0000ff" d="M1213.649,-1052.3595C1208.4408,-1043.4404 1202.0746,-1032.5384 1196.5741,-1023.1187"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1199.5022,-1021.1921 1191.4371,-1014.3215 1193.4573,-1024.722 1199.5022,-1021.1921"/>
</g>
<!-- 9. Off&#45;&gt;On&#45;&gt;pseudo0 -->
<g id="edge41" class="edge">
<title>9. Off&#45;&gt;On&#45;&gt;pseudo0</title>
<path fill="none" stroke="#0000ff" d="M1518.1132,-1061.7373C1437.1081,-1047.1351 1271.2919,-1017.2445 1208.6507,-1005.9526"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1208.9864,-1002.4568 1198.524,-1004.1272 1207.7445,-1009.3458 1208.9864,-1002.4568"/>
</g>
<!-- 14. Chrono&#45;&gt;Stopped -->
<g id="node33" class="node">
<title>14. Chrono&#45;&gt;Stopped</title>
<ellipse fill="none" stroke="#000000" cx="1197.95" cy="-724" rx="87.9851" ry="18"/>
<text text-anchor="middle" x="1197.95" y="-720.3" font-family="Times,serif" font-size="14.00" fill="#000000">14. Chrono&#45;&gt;Stopped</text>
</g>
<!-- 14. Chrono&#45;&gt;Stopped&#45;&gt;16. Running&#45;&gt;Running -->
<g id="edge30" class="edge">
<title>14. Chrono&#45;&gt;Stopped&#45;&gt;16. Running&#45;&gt;Running</title>
<path fill="none" stroke="#ff0000" d="M1148.8435,-709.0816C1111.7211,-697.8039 1060.5704,-682.2644 1021.0107,-670.2463"/>
<polygon fill="#ff0000" stroke="#ff0000" points="1021.804,-666.8294 1011.2184,-667.2714 1019.7692,-673.5272 1021.804,-666.8294"/>
</g>
<!-- 14. Chrono&#45;&gt;Stopped&#45;&gt;17. Running&#45;&gt;Stopped -->
<g id="edge31" class="edge">
<title>14. Chrono&#45;&gt;Stopped&#45;&gt;17. Running&#45;&gt;Stopped</title>
<path fill="none" stroke="#ff0000" d="M1182.9946,-706.0535C1162.0654,-680.9384 1123.9041,-635.1449 1099.7933,-606.2119"/>
<polygon fill="#ff0000" stroke="#ff0000" points="1102.1846,-603.6143 1093.094,-598.1727 1096.8071,-608.0956 1102.1846,-603.6143"/>
</g>
<!-- 15. Stopped&#45;&gt;Running -->
<g id="node34" class="node">
<title>15. Stopped&#45;&gt;Running</title>
<ellipse fill="none" stroke="#000000" cx="1317.95" cy="-652" rx="91.784" ry="18"/>
<text text-anchor="middle" x="1317.95" y="-648.3" font-family="Times,serif" font-size="14.00" fill="#000000">15. Stopped&#45;&gt;Running</text>
</g>
<!-- 14. Chrono&#45;&gt;Stopped&#45;&gt;15. Stopped&#45;&gt;Running -->
<g id="edge29" class="edge">
<title>14. Chrono&#45;&gt;Stopped&#45;&gt;15. Stopped&#45;&gt;Running</title>
<path fill="none" stroke="#ff0000" d="M1226.3884,-706.937C1242.5598,-697.2341 1263.0075,-684.9655 1280.4754,-674.4848"/>
<polygon fill="#ff0000" stroke="#ff0000" points="1282.5258,-677.3363 1289.3,-669.19 1278.9243,-671.3338 1282.5258,-677.3363"/>
</g>
<!-- 14. Chrono&#45;&gt;Stopped&#45;&gt;pseudo2 -->
<g id="edge54" class="edge">
<title>14. Chrono&#45;&gt;Stopped&#45;&gt;pseudo2</title>
<path fill="none" stroke="#0000ff" d="M1199.0405,-705.6705C1200.1872,-674.7402 1199.5395,-610.7875 1178.95,-562 1173.72,-549.6073 1164.4812,-537.8144 1156.0961,-528.746"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1158.5539,-526.2531 1149.0694,-521.5314 1153.5393,-531.1372 1158.5539,-526.2531"/>
</g>
<!-- 15. Stopped&#45;&gt;Running&#45;&gt;pseudo2 -->
<g id="edge55" class="edge">
<title>15. Stopped&#45;&gt;Running&#45;&gt;pseudo2</title>
<path fill="none" stroke="#0000ff" d="M1298.1503,-634.0988C1277.2377,-615.4538 1243.051,-585.7115 1211.95,-562 1194.5369,-548.7242 1173.8966,-534.7776 1158.8446,-524.9129"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1160.5654,-521.857 1150.2736,-519.3407 1156.7499,-527.7258 1160.5654,-521.857"/>
</g>
<!-- pseudo0&#45;&gt;12. Released&#45;&gt;Pushed -->
<g id="edge44" class="edge">
<title>pseudo0&#45;&gt;12. Released&#45;&gt;Pushed</title>
<path fill="none" stroke="#0000ff" d="M1170.8139,-994.9319C1152.2813,-985.6656 1117.6001,-968.325 1089.6393,-954.3446"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1090.9571,-951.0905 1080.4476,-949.7488 1087.8266,-957.3515 1090.9571,-951.0905"/>
</g>
<!-- pseudo0&#45;&gt;13. Released&#45;&gt;Off -->
<g id="edge45" class="edge">
<title>pseudo0&#45;&gt;13. Released&#45;&gt;Off</title>
<path fill="none" stroke="#0000ff" d="M1180.5251,-987.1816C1175.5221,-968.7408 1164.7083,-936.5101 1145.95,-915 1134.34,-901.6869 1118.6282,-890.6215 1103.693,-882.0461"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1104.9895,-878.7656 1094.5377,-877.0306 1101.6263,-884.9048 1104.9895,-878.7656"/>
</g>
<!-- 10. Off&#45;&gt;Pushed -->
<g id="node37" class="node">
<title>10. Off&#45;&gt;Pushed</title>
<ellipse fill="none" stroke="#000000" cx="1222.95" cy="-861" rx="70.3881" ry="18"/>
<text text-anchor="middle" x="1222.95" y="-857.3" font-family="Times,serif" font-size="14.00" fill="#000000">10. Off&#45;&gt;Pushed</text>
</g>
<!-- pseudo0&#45;&gt;10. Off&#45;&gt;Pushed -->
<g id="edge42" class="edge">
<title>pseudo0&#45;&gt;10. Off&#45;&gt;Pushed</title>
<path fill="none" stroke="#0000ff" d="M1187.8321,-987.5147C1194.1745,-964.6658 1206.8782,-918.8997 1215.1415,-889.1306"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1218.5592,-889.9037 1217.8615,-879.3319 1211.8142,-888.0314 1218.5592,-889.9037"/>
</g>
<!-- 11. Pushed&#45;&gt;Released -->
<g id="node38" class="node">
<title>11. Pushed&#45;&gt;Released</title>
<ellipse fill="none" stroke="#000000" cx="1320.95" cy="-933" rx="89.8845" ry="18"/>
<text text-anchor="middle" x="1320.95" y="-929.3" font-family="Times,serif" font-size="14.00" fill="#000000">11. Pushed&#45;&gt;Released</text>
</g>
<!-- pseudo0&#45;&gt;11. Pushed&#45;&gt;Released -->
<g id="edge43" class="edge">
<title>pseudo0&#45;&gt;11. Pushed&#45;&gt;Released</title>
<path fill="none" stroke="#0000ff" d="M1197.0862,-994.9319C1215.6188,-985.6656 1250.3,-968.325 1278.2608,-954.3446"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1280.0735,-957.3515 1287.4525,-949.7488 1276.9429,-951.0905 1280.0735,-957.3515"/>
</g>
<!-- 0. Off&#45;&gt;On -->
<g id="node36" class="node">
<title>0. Off&#45;&gt;On</title>
<ellipse fill="none" stroke="#000000" cx="1684.95" cy="-1070" rx="51.1914" ry="18"/>
<text text-anchor="middle" x="1684.95" y="-1066.3" font-family="Times,serif" font-size="14.00" fill="#000000">0. Off&#45;&gt;On</text>
</g>
<!-- 0. Off&#45;&gt;On&#45;&gt;pseudo0 -->
<g id="edge32" class="edge">
<title>0. Off&#45;&gt;On&#45;&gt;pseudo0</title>
<path fill="none" stroke="#0000ff" d="M1647.1335,-1057.7406C1639.5171,-1055.5838 1631.5242,-1053.5401 1623.95,-1052 1467.6389,-1020.2156 1275.7252,-1006.7824 1208.5564,-1002.8304"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1208.7095,-999.3336 1198.526,-1002.257 1208.3099,-1006.3222 1208.7095,-999.3336"/>
</g>
<!-- 10. Off&#45;&gt;Pushed&#45;&gt;pseudo1 -->
<g id="edge46" class="edge">
<title>10. Off&#45;&gt;Pushed&#45;&gt;pseudo1</title>
<path fill="none" stroke="#0000ff" d="M1202.0056,-843.7146C1188.7691,-832.7905 1171.8002,-818.786 1158.9533,-808.1834"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1161.1274,-805.4397 1151.1869,-801.7738 1156.6717,-810.8385 1161.1274,-805.4397"/>
</g>
<!-- 11. Pushed&#45;&gt;Released&#45;&gt;pseudo1 -->
<g id="edge47" class="edge">
<title>11. Pushed&#45;&gt;Released&#45;&gt;pseudo1</title>
<path fill="none" stroke="#0000ff" d="M1322.1719,-914.72C1322.4843,-894.6278 1319.7922,-862.6059 1301.95,-843 1283.2933,-822.4991 1204.527,-804.8501 1164.1047,-796.9381"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1164.7363,-793.4955 1154.2569,-795.0551 1163.4216,-800.3709 1164.7363,-793.4955"/>
</g>
<!-- pseudo1&#45;&gt;16. Running&#45;&gt;Running -->
<g id="edge52" class="edge">
<title>pseudo1&#45;&gt;16. Running&#45;&gt;Running</title>
<path fill="none" stroke="#0000ff" d="M1127.7428,-784.4165C1113.2314,-774.6985 1088.4055,-757.7282 1067.95,-742 1040.3075,-720.7457 1009.9965,-695.0064 988.7154,-676.5076"/>
<polygon fill="#0000ff" stroke="#0000ff" points="990.8614,-673.7351 981.0257,-669.7968 986.2587,-679.0091 990.8614,-673.7351"/>
</g>
<!-- pseudo1&#45;&gt;17. Running&#45;&gt;Stopped -->
<g id="edge53" class="edge">
<title>pseudo1&#45;&gt;17. Running&#45;&gt;Stopped</title>
<path fill="none" stroke="#0000ff" d="M1129.4685,-782.323C1120.3485,-772.7995 1107.5826,-757.7172 1100.95,-742 1082.3945,-698.0288 1078.2881,-641.9984 1077.6573,-608.6758"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1081.1537,-608.2629 1077.5608,-598.2959 1074.154,-608.328 1081.1537,-608.2629"/>
</g>
<!-- pseudo1&#45;&gt;14. Chrono&#45;&gt;Stopped -->
<g id="edge50" class="edge">
<title>pseudo1&#45;&gt;14. Chrono&#45;&gt;Stopped</title>
<path fill="none" stroke="#0000ff" d="M1149.5275,-781.1886C1156.8288,-772.5656 1167.1698,-760.3525 1176.422,-749.4254"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1179.1167,-751.6592 1182.9075,-741.7658 1173.7744,-747.1359 1179.1167,-751.6592"/>
</g>
<!-- pseudo1&#45;&gt;15. Stopped&#45;&gt;Running -->
<g id="edge51" class="edge">
<title>pseudo1&#45;&gt;15. Stopped&#45;&gt;Running</title>
<path fill="none" stroke="#0000ff" d="M1154.3481,-789.6505C1188.9283,-782.5289 1275.2572,-763.0113 1294.95,-742 1310.3968,-725.5191 1315.8259,-700.1317 1317.5752,-680.517"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1321.0827,-680.5047 1318.2088,-670.3071 1314.0961,-680.0711 1321.0827,-680.5047"/>
</g>
<!-- pseudo2&#45;&gt;18. TimeUpdate&#45;&gt;TimeUpdate -->
<g id="edge58" class="edge">
<title>pseudo2&#45;&gt;18. TimeUpdate&#45;&gt;TimeUpdate</title>
<path fill="none" stroke="#0000ff" d="M1123.2315,-511.057C1039.193,-508.4427 611.5821,-494.0027 263.95,-461 251.5085,-459.8189 238.4536,-458.3657 225.5593,-456.8016"/>
<polygon fill="#0000ff" stroke="#0000ff" points="225.622,-453.2827 215.2676,-455.5266 224.7613,-460.2296 225.622,-453.2827"/>
</g>
<!-- pseudo2&#45;&gt;19. TimeUpdate&#45;&gt;ChronoUpdate -->
<g id="edge59" class="edge">
<title>pseudo2&#45;&gt;19. TimeUpdate&#45;&gt;ChronoUpdate</title>
<path fill="none" stroke="#0000ff" d="M1123.2644,-511.166C1018.0843,-508.7015 381.2382,-492.5472 301.95,-461 278.7912,-451.7856 279.6052,-438.9499 258.95,-425 241.5506,-413.249 221.3212,-402.0046 203.5565,-392.8483"/>
<polygon fill="#0000ff" stroke="#0000ff" points="205.0204,-389.6663 194.5195,-388.2588 201.8507,-395.9075 205.0204,-389.6663"/>
</g>
<!-- pseudo2&#45;&gt;20. TimeUpdate&#45;&gt;WaitingToEdit -->
<g id="edge60" class="edge">
<title>pseudo2&#45;&gt;20. TimeUpdate&#45;&gt;WaitingToEdit</title>
<path fill="none" stroke="#0000ff" d="M1123.3898,-511.017C1017.8291,-507.4612 373.0538,-484.8115 339.95,-461 297.8736,-430.7346 330.5633,-391.579 295.95,-353 283.8339,-339.4957 267.5199,-328.7257 251.587,-320.4679"/>
<polygon fill="#0000ff" stroke="#0000ff" points="252.8028,-317.1656 242.2845,-315.8945 249.7144,-323.4475 252.8028,-317.1656"/>
</g>
<!-- pseudo2&#45;&gt;21. TimeUpdate&#45;&gt;WaitingForAlarm -->
<g id="edge61" class="edge">
<title>pseudo2&#45;&gt;21. TimeUpdate&#45;&gt;WaitingForAlarm</title>
<path fill="none" stroke="#0000ff" d="M1123.2832,-511.0428C1019.726,-507.752 401.9808,-487.0655 372.95,-461 357.7462,-447.3492 341.513,-314.6172 334.9543,-255.3419"/>
<polygon fill="#0000ff" stroke="#0000ff" points="338.4089,-254.7353 333.8446,-245.174 331.4502,-255.4948 338.4089,-254.7353"/>
</g>
<!-- pseudo2&#45;&gt;22. WaitingToEdit&#45;&gt;EditingTime -->
<g id="edge62" class="edge">
<title>pseudo2&#45;&gt;22. WaitingToEdit&#45;&gt;EditingTime</title>
<path fill="none" stroke="#0000ff" d="M1123.4086,-510.0702C1064.965,-504.3027 841.5114,-482.0477 657.95,-461 645.3984,-459.5608 632.2424,-458.0003 619.1923,-456.4202"/>
<polygon fill="#0000ff" stroke="#0000ff" points="619.5948,-452.9434 609.2452,-455.2097 618.7491,-459.8921 619.5948,-452.9434"/>
</g>
<!-- pseudo2&#45;&gt;23. WaitingToEdit&#45;&gt;TimeUpdate -->
<g id="edge63" class="edge">
<title>pseudo2&#45;&gt;23. WaitingToEdit&#45;&gt;TimeUpdate</title>
<path fill="none" stroke="#0000ff" d="M1123.3779,-511.0881C1055.5399,-508.9855 770.6115,-498.06 690.95,-461 669.8565,-451.1869 669.9759,-440.8542 652.95,-425 642.6863,-415.4426 631.3377,-405.0213 621.3578,-395.9053"/>
<polygon fill="#0000ff" stroke="#0000ff" points="623.4415,-393.0686 613.6945,-388.9158 618.7243,-398.2405 623.4415,-393.0686"/>
</g>
<!-- pseudo2&#45;&gt;24. WaitingForAlarm&#45;&gt;EditingTime -->
<g id="edge64" class="edge">
<title>pseudo2&#45;&gt;24. WaitingForAlarm&#45;&gt;EditingTime</title>
<path fill="none" stroke="#0000ff" d="M1123.6733,-508.1961C1087.5706,-499.8412 990.5221,-477.3824 920.4144,-461.1581"/>
<polygon fill="#0000ff" stroke="#0000ff" points="920.8082,-457.6568 910.2766,-458.8121 919.23,-464.4766 920.8082,-457.6568"/>
</g>
<!-- pseudo2&#45;&gt;25. WaitingForAlarm&#45;&gt;TimeUpdate -->
<g id="edge65" class="edge">
<title>pseudo2&#45;&gt;25. WaitingForAlarm&#45;&gt;TimeUpdate</title>
<path fill="none" stroke="#0000ff" d="M1124.0333,-506.5695C1102.8736,-498.7223 1061.8124,-482.0992 1030.95,-461 1011.7447,-447.8702 1010.7296,-440.0041 992.95,-425 980.7252,-414.6835 966.7635,-403.9825 954.4091,-394.8542"/>
<polygon fill="#0000ff" stroke="#0000ff" points="956.2901,-391.8936 946.1539,-388.81 952.1548,-397.5415 956.2901,-391.8936"/>
</g>
<!-- pseudo2&#45;&gt;26. Waiting&#45;&gt;Increasing -->
<g id="edge66" class="edge">
<title>pseudo2&#45;&gt;26. Waiting&#45;&gt;Increasing</title>
<path fill="none" stroke="#0000ff" d="M1137.95,-496.9729C1137.95,-489.4645 1137.95,-480.0377 1137.95,-471.1722"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1141.4501,-471.1713 1137.95,-461.1713 1134.4501,-471.1713 1141.4501,-471.1713"/>
</g>
<!-- pseudo2&#45;&gt;27. Waiting&#45;&gt;GoingToNext -->
<g id="edge67" class="edge">
<title>pseudo2&#45;&gt;27. Waiting&#45;&gt;GoingToNext</title>
<path fill="none" stroke="#0000ff" d="M1152.5978,-509.5426C1176.7713,-505.4356 1224.3862,-493.4444 1244.95,-461 1256.8385,-442.2431 1250.6966,-417.1667 1242.6585,-398.2479"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1245.7459,-396.5856 1238.3678,-388.982 1239.3938,-399.527 1245.7459,-396.5856"/>
</g>
<!-- pseudo2&#45;&gt;28. Waiting&#45;&gt;TimeUpdate -->
<g id="edge68" class="edge">
<title>pseudo2&#45;&gt;28. Waiting&#45;&gt;TimeUpdate</title>
<path fill="none" stroke="#0000ff" d="M1152.1469,-507.4273C1176.092,-500.2035 1225.5518,-483.7385 1262.95,-461 1283.9573,-448.2274 1336.6768,-411.3362 1346.95,-389 1353.6357,-374.4638 1354.6547,-367.0228 1346.95,-353 1339.4915,-339.4252 1327.0153,-328.7787 1313.8877,-320.6596"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1315.6289,-317.6235 1305.2131,-315.6838 1312.1459,-323.6955 1315.6289,-317.6235"/>
</g>
<!-- pseudo2&#45;&gt;29. GoingToNext&#45;&gt;Waiting -->
<g id="edge69" class="edge">
<title>pseudo2&#45;&gt;29. GoingToNext&#45;&gt;Waiting</title>
<path fill="none" stroke="#0000ff" d="M1152.1111,-508.288C1189.5333,-499.7998 1293.1201,-476.3041 1365.2306,-459.948"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1366.2086,-463.3151 1375.1866,-457.6897 1364.6601,-456.4885 1366.2086,-463.3151"/>
</g>
<!-- pseudo2&#45;&gt;30. GoingToNext&#45;&gt;TimeUpdate -->
<g id="edge70" class="edge">
<title>pseudo2&#45;&gt;30. GoingToNext&#45;&gt;TimeUpdate</title>
<path fill="none" stroke="#0000ff" d="M1152.8024,-510.8638C1224.3709,-507.6495 1531.3469,-492.1121 1558.95,-461 1573.6979,-444.3774 1571.7519,-418.4495 1567.1083,-398.6844"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1570.4798,-397.7437 1564.5082,-388.9921 1563.7188,-399.5575 1570.4798,-397.7437"/>
</g>
<!-- pseudo2&#45;&gt;31. Increasing&#45;&gt;Increasing -->
<g id="edge71" class="edge">
<title>pseudo2&#45;&gt;31. Increasing&#45;&gt;Increasing</title>
<path fill="none" stroke="#0000ff" d="M1152.479,-510.0874C1208.9608,-504.5529 1419.3395,-483.5375 1591.95,-461 1602.1604,-459.6668 1612.8464,-458.1866 1623.4542,-456.664"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1624.1887,-460.0942 1633.5826,-455.1946 1623.1837,-453.1667 1624.1887,-460.0942"/>
</g>
<!-- pseudo2&#45;&gt;32. Increasing&#45;&gt;Waiting -->
<g id="edge72" class="edge">
<title>pseudo2&#45;&gt;32. Increasing&#45;&gt;Waiting</title>
<path fill="none" stroke="#0000ff" d="M1152.7069,-510.9459C1250.4677,-507.2104 1801.631,-485.121 1826.95,-461 1843.1803,-445.5377 1844.7574,-419.4283 1842.9615,-399.3018"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1846.4064,-398.6343 1841.7318,-389.1265 1839.4569,-399.4743 1846.4064,-398.6343"/>
</g>
<!-- pseudo2&#45;&gt;33. ChronoUpdate&#45;&gt;TimeUpdate -->
<g id="edge73" class="edge">
<title>pseudo2&#45;&gt;33. ChronoUpdate&#45;&gt;TimeUpdate</title>
<path fill="none" stroke="#0000ff" d="M1152.7177,-510.7719C1227.9469,-506.9989 1576.072,-488.7728 1859.95,-461 1872.8492,-459.738 1886.3827,-458.2498 1899.7658,-456.6786"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1900.4424,-460.1229 1909.9576,-455.4633 1899.6135,-453.1721 1900.4424,-460.1229"/>
</g>
<!-- pseudo2&#45;&gt;34. ChronoUpdate&#45;&gt;ChronoUpdate -->
<g id="edge74" class="edge">
<title>pseudo2&#45;&gt;34. ChronoUpdate&#45;&gt;ChronoUpdate</title>
<path fill="none" stroke="#0000ff" d="M1152.73,-511.33C1274.274,-509.8622 2105.3192,-498.4699 2140.95,-461 2156.563,-444.5812 2150.5848,-418.2861 2142.3169,-398.3483"/>
<polygon fill="#0000ff" stroke="#0000ff" points="2145.465,-396.8152 2138.1588,-389.1425 2139.0855,-399.6967 2145.465,-396.8152"/>
</g>
<!-- pseudo3&#45;&gt;35. Increasing&#45;&gt;Increasing -->
<g id="edge92" class="edge">
<title>pseudo3&#45;&gt;35. Increasing&#45;&gt;Increasing</title>
<path fill="none" stroke="#0000ff" d="M1089.95,-143.9729C1089.95,-136.4645 1089.95,-127.0377 1089.95,-118.1722"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1093.4501,-118.1713 1089.95,-108.1713 1086.4501,-118.1713 1093.4501,-118.1713"/>
</g>
<!-- pseudo3&#45;&gt;36. Increasing&#45;&gt;Editing -->
<g id="edge93" class="edge">
<title>pseudo3&#45;&gt;36. Increasing&#45;&gt;Editing</title>
<path fill="none" stroke="#0000ff" d="M1075.4772,-157.078C1049.9774,-153.7039 997.6032,-142.6888 974.95,-108 961.2251,-86.983 977.416,-61.6471 994.6014,-43.2188"/>
<polygon fill="#0000ff" stroke="#0000ff" points="997.4119,-45.3536 1001.9431,-35.7766 992.4286,-40.4376 997.4119,-45.3536"/>
</g>
<!-- 37. Editing&#45;&gt;Increasing -->
<g id="node42" class="node">
<title>37. Editing&#45;&gt;Increasing</title>
<ellipse fill="none" stroke="#000000" cx="1308.95" cy="-90" rx="94.7833" ry="18"/>
<text text-anchor="middle" x="1308.95" y="-86.3" font-family="Times,serif" font-size="14.00" fill="#000000">37. Editing&#45;&gt;Increasing</text>
</g>
<!-- pseudo3&#45;&gt;37. Editing&#45;&gt;Increasing -->
<g id="edge94" class="edge">
<title>pseudo3&#45;&gt;37. Editing&#45;&gt;Increasing</title>
<path fill="none" stroke="#0000ff" d="M1103.9826,-154.1108C1132.8353,-145.0861 1200.2759,-123.9917 1249.9555,-108.4526"/>
<polygon fill="#0000ff" stroke="#0000ff" points="1251.1388,-111.7498 1259.6379,-105.4241 1249.0491,-105.069 1251.1388,-111.7498"/>
</g>
</g>
</svg>