SCCD/examples/digitalwatch/common/digitalwatch.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: state transitions Pages: 1 -->
<svg width="3592pt" height="1617pt"
 viewBox="0.00 0.00 3592.00 1617.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 1613)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1613 3588,-1613 3588,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__P</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 3564,-8 3564,-8 3570,-8 3576,-14 3576,-20 3576,-20 3576,-1558 3576,-1558 3576,-1564 3570,-1570 3564,-1570 3564,-1570 20,-1570 20,-1570 14,-1570 8,-1564 8,-1558 8,-1558 8,-20 8,-20 8,-14 14,-8 20,-8"/>
<text text-anchor="start" x="1787.9986" y="-1551.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">P</text>
</g>
<g id="clust2" class="cluster">
<title>cluster__P_Time</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="3145,-1095.5 3145,-1414 3568,-1414 3568,-1095.5 3145,-1095.5"/>
<text text-anchor="start" x="3343.1704" y="-1395.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Time</text>
</g>
<g id="clust3" class="cluster">
<title>cluster__P_Display</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="1654,-800 1654,-1532 3137,-1532 3137,-800 1654,-800"/>
<text text-anchor="start" x="2376.335" y="-1513.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Display</text>
</g>
<g id="clust4" class="cluster">
<title>cluster__P_Display_EditingTime</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M2493,-808C2493,-808 3101,-808 3101,-808 3107,-808 3113,-814 3113,-820 3113,-820 3113,-1482 3113,-1482 3113,-1488 3107,-1494 3101,-1494 3101,-1494 2493,-1494 2493,-1494 2487,-1494 2481,-1488 2481,-1482 2481,-1482 2481,-820 2481,-820 2481,-814 2487,-808 2493,-808"/>
<text text-anchor="start" x="2765.3326" y="-1475.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">EditingTime</text>
<text text-anchor="start" x="2732.5018" y="-1455.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.startSelection</text>
<text text-anchor="start" x="2733" y="-1435.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^time_edit</text>
<text text-anchor="start" x="2733" y="-1415.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">exit ^out.stopSelection</text>
<text text-anchor="start" x="2733" y="-1395.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">exit ^edit_done</text>
<polygon fill="#000000" stroke="#000000" points="2729,-1469 2729,-1469 2865,-1469 2865,-1469 2729,-1469"/>
</g>
<g id="clust5" class="cluster">
<title>cluster__P_ChronoWrapper</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="984,-666 984,-1414 1646,-1414 1646,-666 984,-666"/>
<text text-anchor="start" x="1272.8298" y="-1395.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">ChronoWrapper</text>
</g>
<g id="clust6" class="cluster">
<title>cluster__P_ChronoWrapper_Chrono</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M1004,-674C1004,-674 1626,-674 1626,-674 1632,-674 1638,-680 1638,-686 1638,-686 1638,-1271 1638,-1271 1638,-1277 1632,-1283 1626,-1283 1626,-1283 1004,-1283 1004,-1283 998,-1283 992,-1277 992,-1271 992,-1271 992,-686 992,-686 992,-680 998,-674 1004,-674"/>
<text text-anchor="start" x="1295.8296" y="-1264.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Chrono</text>
</g>
<g id="clust7" class="cluster">
<title>cluster__P_Indiglo</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="700,-964.5 700,-1414 976,-1414 976,-964.5 700,-964.5"/>
<text text-anchor="start" x="820.8282" y="-1395.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Indiglo</text>
</g>
<g id="clust8" class="cluster">
<title>cluster__P_Alarm</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="30,-16 30,-1492 692,-1492 692,-16 30,-16"/>
<text text-anchor="start" x="345.837" y="-1473.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Alarm</text>
</g>
<g id="clust9" class="cluster">
<title>cluster__P_Alarm_On</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M58,-24C58,-24 268,-24 268,-24 274,-24 280,-30 280,-36 280,-36 280,-1442 280,-1442 280,-1448 274,-1454 268,-1454 268,-1454 58,-1454 58,-1454 52,-1454 46,-1448 46,-1442 46,-1442 46,-36 46,-36 46,-30 52,-24 58,-24"/>
<text text-anchor="start" x="155.4972" y="-1435.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">On</text>
<text text-anchor="start" x="111.6768" y="-1415.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.setAlarm</text>
<text text-anchor="start" x="112" y="-1395.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">exit ^out.setAlarm</text>
<polygon fill="#000000" stroke="#000000" points="108,-1429 108,-1429 219,-1429 219,-1429 108,-1429"/>
</g>
<g id="clust10" class="cluster">
<title>cluster__P_Alarm_On_Blinking</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M66,-32C66,-32 260,-32 260,-32 266,-32 272,-38 272,-44 272,-44 272,-870.5 272,-870.5 272,-876.5 266,-882.5 260,-882.5 260,-882.5 66,-882.5 66,-882.5 60,-882.5 54,-876.5 54,-870.5 54,-870.5 54,-44 54,-44 54,-38 60,-32 66,-32"/>
<text text-anchor="start" x="141.9982" y="-863.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Blinking</text>
</g>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="16" cy="-1603.5" rx="5.5" ry="5.5"/>
</g>
<!-- _P -->
<!-- __initial&#45;&gt;_P -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_P</title>
<path fill="none" stroke="#000000" d="M16,-1597.7404C16,-1593.7036 16,-1587.6988 16,-1580.2198"/>
<polygon fill="#000000" stroke="#000000" points="19.5001,-1579.9952 16,-1569.9953 12.5001,-1579.9953 19.5001,-1579.9952"/>
<text text-anchor="middle" x="17.3895" y="-1581" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Time -->
<!-- _P_Time_initial -->
<g id="node4" class="node">
<title>_P_Time_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="3192" cy="-1370.5" rx="5.5" ry="5.5"/>
</g>
<!-- _P_Time_Increasing -->
<g id="node6" class="node">
<title>_P_Time_Increasing</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="3230.5,-1257.5 3153.5,-1257.5 3153.5,-1221.5 3230.5,-1221.5 3230.5,-1257.5"/>
<text text-anchor="start" x="3164.8268" y="-1235.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Increasing</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M3165.8333,-1222.5C3165.8333,-1222.5 3218.1667,-1222.5 3218.1667,-1222.5 3223.8333,-1222.5 3229.5,-1228.1667 3229.5,-1233.8333 3229.5,-1233.8333 3229.5,-1245.1667 3229.5,-1245.1667 3229.5,-1250.8333 3223.8333,-1256.5 3218.1667,-1256.5 3218.1667,-1256.5 3165.8333,-1256.5 3165.8333,-1256.5 3160.1667,-1256.5 3154.5,-1250.8333 3154.5,-1245.1667 3154.5,-1245.1667 3154.5,-1233.8333 3154.5,-1233.8333 3154.5,-1228.1667 3160.1667,-1222.5 3165.8333,-1222.5"/>
</g>
<!-- _P_Time_initial&#45;&gt;_P_Time_Increasing -->
<g id="edge2" class="edge">
<title>_P_Time_initial&#45;&gt;_P_Time_Increasing</title>
<path fill="none" stroke="#000000" d="M3192,-1364.8288C3192,-1360.1736 3192,-1353.4097 3192,-1347.5 3192,-1347.5 3192,-1347.5 3192,-1300.5 3192,-1289.8104 3192,-1278.0672 3192,-1267.763"/>
<polygon fill="#000000" stroke="#000000" points="3195.5001,-1267.6503 3192,-1257.6503 3188.5001,-1267.6504 3195.5001,-1267.6503"/>
<text text-anchor="middle" x="3193.3895" y="-1321" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Time_Editing -->
<g id="node5" class="node">
<title>_P_Time_Editing</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="3260,-1139.5 3202,-1139.5 3202,-1103.5 3260,-1103.5 3260,-1139.5"/>
<text text-anchor="start" x="3212.6622" y="-1117.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Editing</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M3214.3333,-1104.5C3214.3333,-1104.5 3247.6667,-1104.5 3247.6667,-1104.5 3253.3333,-1104.5 3259,-1110.1667 3259,-1115.8333 3259,-1115.8333 3259,-1127.1667 3259,-1127.1667 3259,-1132.8333 3253.3333,-1138.5 3247.6667,-1138.5 3247.6667,-1138.5 3214.3333,-1138.5 3214.3333,-1138.5 3208.6667,-1138.5 3203,-1132.8333 3203,-1127.1667 3203,-1127.1667 3203,-1115.8333 3203,-1115.8333 3203,-1110.1667 3208.6667,-1104.5 3214.3333,-1104.5"/>
</g>
<!-- _P_Time_Editing&#45;&gt;_P_Time_Increasing -->
<g id="edge3" class="edge">
<title>_P_Time_Editing&#45;&gt;_P_Time_Increasing</title>
<path fill="none" stroke="#000000" d="M3201.9709,-1131.8444C3191.8623,-1137.441 3183,-1145.5987 3183,-1157 3183,-1204 3183,-1204 3183,-1204 3183,-1206.4141 3183.198,-1208.893 3183.5352,-1211.3645"/>
<polygon fill="#000000" stroke="#000000" points="3180.1322,-1212.1943 3185.555,-1221.2962 3186.9918,-1210.7992 3180.1322,-1212.1943"/>
<text text-anchor="start" x="3183" y="-1177.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">edit_done &#160;&#160;</text>
</g>
<!-- _P_Time_Increasing&#45;&gt;_P_Time_Editing -->
<g id="edge5" class="edge">
<title>_P_Time_Increasing&#45;&gt;_P_Time_Editing</title>
<path fill="none" stroke="#000000" d="M3230.6661,-1230.9317C3253.9017,-1224.6242 3279,-1215.2153 3279,-1204 3279,-1204 3279,-1204 3279,-1157 3279,-1148.9835 3274.6186,-1142.5705 3268.5033,-1137.5239"/>
<polygon fill="#000000" stroke="#000000" points="3270.2846,-1134.5044 3260.0291,-1131.8444 3266.3874,-1140.3193 3270.2846,-1134.5044"/>
<text text-anchor="start" x="3279" y="-1177.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">time_edit &#160;&#160;</text>
</g>
<!-- _P_Time_Increasing&#45;&gt;_P_Time_Increasing -->
<g id="edge4" class="edge">
<title>_P_Time_Increasing&#45;&gt;_P_Time_Increasing</title>
<path fill="none" stroke="#000000" d="M3230.6945,-1244.3723C3242.8838,-1244.2979 3252.5,-1242.6738 3252.5,-1239.5 3252.5,-1237.2684 3247.7459,-1235.803 3240.686,-1235.1037"/>
<polygon fill="#000000" stroke="#000000" points="3240.8497,-1231.6076 3230.6945,-1234.6277 3240.5166,-1238.5997 3240.8497,-1231.6076"/>
<text text-anchor="start" x="3252.5" y="-1236.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(1 s)^out.increaseTimeByOne ^out.checkTime ^int_refresh_time &#160;&#160;</text>
</g>
<!-- _P_Display -->
<!-- _P_Display_initial -->
<g id="node8" class="node">
<title>_P_Display_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="2155" cy="-1121.5" rx="5.5" ry="5.5"/>
</g>
<!-- _P_Display_TimeUpdate -->
<g id="node12" class="node">
<title>_P_Display_TimeUpdate</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2240.5,-1013.5 2069.5,-1013.5 2069.5,-967.5 2240.5,-967.5 2240.5,-1013.5"/>
<text text-anchor="start" x="2122.83" y="-996.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">TimeUpdate</text>
<text text-anchor="start" x="2075.6796" y="-976.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.refreshTimeDisplay</text>
<polygon fill="#000000" stroke="#000000" points="2070,-990.5 2070,-990.5 2241,-990.5 2241,-990.5 2070,-990.5"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M2082.5,-968.5C2082.5,-968.5 2227.5,-968.5 2227.5,-968.5 2233.5,-968.5 2239.5,-974.5 2239.5,-980.5 2239.5,-980.5 2239.5,-1000.5 2239.5,-1000.5 2239.5,-1006.5 2233.5,-1012.5 2227.5,-1012.5 2227.5,-1012.5 2082.5,-1012.5 2082.5,-1012.5 2076.5,-1012.5 2070.5,-1006.5 2070.5,-1000.5 2070.5,-1000.5 2070.5,-980.5 2070.5,-980.5 2070.5,-974.5 2076.5,-968.5 2082.5,-968.5"/>
</g>
<!-- _P_Display_initial&#45;&gt;_P_Display_TimeUpdate -->
<g id="edge6" class="edge">
<title>_P_Display_initial&#45;&gt;_P_Display_TimeUpdate</title>
<path fill="none" stroke="#000000" d="M2155,-1115.869C2155,-1107.577 2155,-1091.5938 2155,-1078 2155,-1078 2155,-1078 2155,-1031 2155,-1028.627 2155,-1026.1757 2155,-1023.7081"/>
<polygon fill="#000000" stroke="#000000" points="2158.5001,-1023.6306 2155,-1013.6306 2151.5001,-1023.6306 2158.5001,-1023.6306"/>
<text text-anchor="middle" x="2156.3895" y="-1051.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Display_ChronoUpdate -->
<g id="node9" class="node">
<title>_P_Display_ChronoUpdate</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1846,-862 1662,-862 1662,-816 1846,-816 1846,-862"/>
<text text-anchor="start" x="1714.9892" y="-845.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">ChronoUpdate</text>
<text text-anchor="start" x="1667.8388" y="-825.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.refreshChronoDisplay</text>
<polygon fill="#000000" stroke="#000000" points="1662,-839 1662,-839 1846,-839 1846,-839 1662,-839"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M1675,-817C1675,-817 1833,-817 1833,-817 1839,-817 1845,-823 1845,-829 1845,-829 1845,-849 1845,-849 1845,-855 1839,-861 1833,-861 1833,-861 1675,-861 1675,-861 1669,-861 1663,-855 1663,-849 1663,-849 1663,-829 1663,-829 1663,-823 1669,-817 1675,-817"/>
</g>
<!-- _P_Display_ChronoUpdate&#45;&gt;_P_Display_ChronoUpdate -->
<g id="edge8" class="edge">
<title>_P_Display_ChronoUpdate&#45;&gt;_P_Display_ChronoUpdate</title>
<path fill="none" stroke="#000000" d="M1846.1419,-846.7401C1859.2225,-845.4882 1868,-842.9082 1868,-839 1868,-836.191 1863.4655,-834.0681 1856.058,-832.6314"/>
<polygon fill="#000000" stroke="#000000" points="1856.5271,-829.163 1846.1419,-831.2599 1855.5681,-836.097 1856.5271,-829.163"/>
<text text-anchor="start" x="1868" y="-836" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">int_refresh_chrono &#160;&#160;</text>
</g>
<!-- _P_Display_ChronoUpdate&#45;&gt;_P_Display_TimeUpdate -->
<g id="edge7" class="edge">
<title>_P_Display_ChronoUpdate&#45;&gt;_P_Display_TimeUpdate</title>
<path fill="none" stroke="#000000" d="M1771.3862,-862.1943C1788.1218,-882.8887 1815.2765,-912.4738 1845.415,-929.5 1881.3617,-949.8074 1982.3057,-967.3486 2059.2443,-978.3408"/>
<polygon fill="#000000" stroke="#000000" points="2059.0633,-981.8498 2069.4542,-979.7814 2060.0414,-974.9185 2059.0633,-981.8498"/>
<text text-anchor="start" x="1845" y="-920.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">topLeftPressed &#160;&#160;</text>
</g>
<!-- _P_Display_WaitingForAlarm -->
<g id="node10" class="node">
<title>_P_Display_WaitingForAlarm</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2153,-862 1977,-862 1977,-816 2153,-816 2153,-862"/>
<text text-anchor="start" x="2020.339" y="-845.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">WaitingForAlarm</text>
<text text-anchor="start" x="1982.8462" y="-825.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.refreshAlarmDisplay</text>
<polygon fill="#000000" stroke="#000000" points="1977,-839 1977,-839 2153,-839 2153,-839 1977,-839"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M1990,-817C1990,-817 2140,-817 2140,-817 2146,-817 2152,-823 2152,-829 2152,-829 2152,-849 2152,-849 2152,-855 2146,-861 2140,-861 2140,-861 1990,-861 1990,-861 1984,-861 1978,-855 1978,-849 1978,-849 1978,-829 1978,-829 1978,-823 1984,-817 1990,-817"/>
</g>
<!-- _P_Display_WaitingForAlarm&#45;&gt;_P_Display_TimeUpdate -->
<g id="edge18" class="edge">
<title>_P_Display_WaitingForAlarm&#45;&gt;_P_Display_TimeUpdate</title>
<path fill="none" stroke="#000000" d="M2075.832,-862.2321C2080.0989,-873.4022 2084,-887.1332 2084,-900 2084,-947 2084,-947 2084,-947 2084,-951.5062 2085.0527,-955.5599 2086.9017,-959.2046"/>
<polygon fill="#000000" stroke="#000000" points="2084.2342,-961.4842 2092.9922,-967.4465 2089.8639,-957.324 2084.2342,-961.4842"/>
<text text-anchor="start" x="2084" y="-920.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomLeftReleased &#160;&#160;</text>
</g>
<!-- _P_Display_EditingTime -->
<!-- _P_Display_WaitingForAlarm&#45;&gt;_P_Display_EditingTime -->
<g id="edge17" class="edge">
<title>_P_Display_WaitingForAlarm&#45;&gt;_P_Display_EditingTime</title>
<path fill="none" stroke="#000000" d="M2020.1784,-862.0058C2003.5505,-869.6467 1984.2839,-877.4772 1966,-882.5 1904.4703,-899.4028 1723.6694,-870.056 1681,-917.5 1644.588,-957.9864 1679,-985.5483 1679,-1040 1679,-1078 1679,-1078 1679,-1078 1679,-1109.1904 1684,-1116.8096 1684,-1148 1684,-1347.5 1684,-1347.5 1684,-1347.5 1684,-1357.2224 2221.5519,-1365.5797 2470.8053,-1368.9322"/>
<polygon fill="#000000" stroke="#000000" points="2470.9559,-1372.4344 2481.0019,-1369.0687 2471.0497,-1365.4351 2470.9559,-1372.4344"/>
<text text-anchor="start" x="1683" y="-1118.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(1500 ms)^alarm_edit &#160;&#160;</text>
</g>
<!-- _P_Display_WaitingToEdit -->
<g id="node11" class="node">
<title>_P_Display_WaitingToEdit</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2417,-857 2321,-857 2321,-821 2417,-821 2417,-857"/>
<text text-anchor="start" x="2331.6638" y="-835.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">WaitingToEdit</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2333.3333,-822C2333.3333,-822 2404.6667,-822 2404.6667,-822 2410.3333,-822 2416,-827.6667 2416,-833.3333 2416,-833.3333 2416,-844.6667 2416,-844.6667 2416,-850.3333 2410.3333,-856 2404.6667,-856 2404.6667,-856 2333.3333,-856 2333.3333,-856 2327.6667,-856 2322,-850.3333 2322,-844.6667 2322,-844.6667 2322,-833.3333 2322,-833.3333 2322,-827.6667 2327.6667,-822 2333.3333,-822"/>
</g>
<!-- _P_Display_WaitingToEdit&#45;&gt;_P_Display_TimeUpdate -->
<g id="edge20" class="edge">
<title>_P_Display_WaitingToEdit&#45;&gt;_P_Display_TimeUpdate</title>
<path fill="none" stroke="#000000" d="M2369,-857.1503C2369,-869.2816 2369,-885.5972 2369,-900 2369,-947 2369,-947 2369,-947 2369,-959.9872 2307.6915,-971.534 2250.7048,-979.4616"/>
<polygon fill="#000000" stroke="#000000" points="2249.9379,-976.0336 2240.5011,-980.8499 2250.8817,-982.9697 2249.9379,-976.0336"/>
<text text-anchor="start" x="2369" y="-920.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomRightReleased &#160;&#160;</text>
</g>
<!-- _P_Display_WaitingToEdit&#45;&gt;_P_Display_EditingTime -->
<g id="edge19" class="edge">
<title>_P_Display_WaitingToEdit&#45;&gt;_P_Display_EditingTime</title>
<path fill="none" stroke="#000000" d="M2404.1391,-857.0275C2422.2338,-865.4555 2445.1421,-874.8599 2470.9666,-880.8078"/>
<polygon fill="#000000" stroke="#000000" points="2470.4979,-884.2855 2481.003,-882.9089 2471.9323,-877.434 2470.4979,-884.2855"/>
<text text-anchor="start" x="3065" y="-1118.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(1500 ms) &#160;&#160;</text>
</g>
<!-- _P_Display_TimeUpdate&#45;&gt;_P_Display_ChronoUpdate -->
<g id="edge22" class="edge">
<title>_P_Display_TimeUpdate&#45;&gt;_P_Display_ChronoUpdate</title>
<path fill="none" stroke="#000000" d="M2069.3428,-986.3961C1939.5488,-979.5994 1708,-964.9576 1708,-947 1708,-947 1708,-947 1708,-900 1708,-889.1443 1712.7016,-878.995 1719.0987,-870.21"/>
<polygon fill="#000000" stroke="#000000" points="1722.0127,-872.1765 1725.6532,-862.2267 1716.6025,-867.7345 1722.0127,-872.1765"/>
<text text-anchor="start" x="1708" y="-920.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">topLeftPressed &#160;&#160;</text>
</g>
<!-- _P_Display_TimeUpdate&#45;&gt;_P_Display_WaitingForAlarm -->
<g id="edge24" class="edge">
<title>_P_Display_TimeUpdate&#45;&gt;_P_Display_WaitingForAlarm</title>
<path fill="none" stroke="#000000" d="M2069.3109,-980.1871C2012.3639,-972.1209 1948,-960.1053 1948,-947 1948,-947 1948,-947 1948,-900 1948,-893.1054 1973.8757,-879.2048 2001.2896,-866.4125"/>
<polygon fill="#000000" stroke="#000000" points="2002.9858,-869.485 2010.6103,-862.1285 2000.0624,-863.1246 2002.9858,-869.485"/>
<text text-anchor="start" x="1948" y="-920.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomLeftPressed &#160;&#160;</text>
</g>
<!-- _P_Display_TimeUpdate&#45;&gt;_P_Display_WaitingToEdit -->
<g id="edge23" class="edge">
<title>_P_Display_TimeUpdate&#45;&gt;_P_Display_WaitingToEdit</title>
<path fill="none" stroke="#000000" d="M2217.0078,-967.4465C2222.4801,-961.967 2226,-955.2399 2226,-947 2226,-947 2226,-947 2226,-900 2226,-880.4885 2271.6107,-863.5594 2311.3138,-852.5191"/>
<polygon fill="#000000" stroke="#000000" points="2312.242,-855.8939 2320.9853,-849.9101 2310.4188,-849.1355 2312.242,-855.8939"/>
<text text-anchor="start" x="2226" y="-920.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomRightPressed &#160;&#160;</text>
</g>
<!-- _P_Display_TimeUpdate&#45;&gt;_P_Display_TimeUpdate -->
<g id="edge21" class="edge">
<title>_P_Display_TimeUpdate&#45;&gt;_P_Display_TimeUpdate</title>
<path fill="none" stroke="#000000" d="M2240.5979,-995.6292C2253.6423,-994.8465 2262.5,-993.1367 2262.5,-990.5 2262.5,-988.6461 2258.1209,-987.2504 2250.9864,-986.313"/>
<polygon fill="#000000" stroke="#000000" points="2250.8732,-982.7885 2240.5979,-985.3708 2250.2408,-989.7598 2250.8732,-982.7885"/>
<text text-anchor="start" x="2262.5" y="-987.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">int_refresh_time &#160;&#160;</text>
</g>
<!-- _P_Display_EditingTime_initial -->
<g id="node14" class="node">
<title>_P_Display_EditingTime_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="2728" cy="-1370.5" rx="5.5" ry="5.5"/>
</g>
<!-- _P_Display_EditingTime_Waiting -->
<g id="node17" class="node">
<title>_P_Display_EditingTime_Waiting</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2758.5,-1139.5 2697.5,-1139.5 2697.5,-1103.5 2758.5,-1103.5 2758.5,-1139.5"/>
<text text-anchor="start" x="2708.5002" y="-1117.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Waiting</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2709.8333,-1104.5C2709.8333,-1104.5 2746.1667,-1104.5 2746.1667,-1104.5 2751.8333,-1104.5 2757.5,-1110.1667 2757.5,-1115.8333 2757.5,-1115.8333 2757.5,-1127.1667 2757.5,-1127.1667 2757.5,-1132.8333 2751.8333,-1138.5 2746.1667,-1138.5 2746.1667,-1138.5 2709.8333,-1138.5 2709.8333,-1138.5 2704.1667,-1138.5 2698.5,-1132.8333 2698.5,-1127.1667 2698.5,-1127.1667 2698.5,-1115.8333 2698.5,-1115.8333 2698.5,-1110.1667 2704.1667,-1104.5 2709.8333,-1104.5"/>
</g>
<!-- _P_Display_EditingTime_initial&#45;&gt;_P_Display_EditingTime_Waiting -->
<g id="edge9" class="edge">
<title>_P_Display_EditingTime_initial&#45;&gt;_P_Display_EditingTime_Waiting</title>
<path fill="none" stroke="#000000" d="M2728,-1364.8288C2728,-1360.1736 2728,-1353.4097 2728,-1347.5 2728,-1347.5 2728,-1347.5 2728,-1157 2728,-1154.6079 2728,-1152.1252 2728,-1149.6342"/>
<polygon fill="#000000" stroke="#000000" points="2731.5001,-1149.5597 2728,-1139.5598 2724.5001,-1149.5598 2731.5001,-1149.5597"/>
<text text-anchor="middle" x="2729.3895" y="-1236.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Display_EditingTime_Increasing -->
<g id="node15" class="node">
<title>_P_Display_EditingTime_Increasing</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2985.5,-862 2822.5,-862 2822.5,-816 2985.5,-816 2985.5,-862"/>
<text text-anchor="start" x="2876.8268" y="-845.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Increasing</text>
<text text-anchor="start" x="2828.999" y="-825.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.increaseSelection</text>
<polygon fill="#000000" stroke="#000000" points="2823,-839 2823,-839 2986,-839 2986,-839 2823,-839"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M2835.5,-817C2835.5,-817 2972.5,-817 2972.5,-817 2978.5,-817 2984.5,-823 2984.5,-829 2984.5,-829 2984.5,-849 2984.5,-849 2984.5,-855 2978.5,-861 2972.5,-861 2972.5,-861 2835.5,-861 2835.5,-861 2829.5,-861 2823.5,-855 2823.5,-849 2823.5,-849 2823.5,-829 2823.5,-829 2823.5,-823 2829.5,-817 2835.5,-817"/>
</g>
<!-- _P_Display_EditingTime_Increasing&#45;&gt;_P_Display_EditingTime_Increasing -->
<g id="edge10" class="edge">
<title>_P_Display_EditingTime_Increasing&#45;&gt;_P_Display_EditingTime_Increasing</title>
<path fill="none" stroke="#000000" d="M2985.5697,-846.9427C2998.5886,-845.7804 3007.5,-843.1328 3007.5,-839 3007.5,-836.0941 3003.0944,-833.9225 2995.9529,-832.4852"/>
<polygon fill="#000000" stroke="#000000" points="2995.9533,-828.9524 2985.5697,-831.0573 2994.9996,-835.8871 2995.9533,-828.9524"/>
<text text-anchor="start" x="3007.5" y="-836" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(100 ms) &#160;&#160;</text>
</g>
<!-- _P_Display_EditingTime_Increasing&#45;&gt;_P_Display_EditingTime_Waiting -->
<g id="edge11" class="edge">
<title>_P_Display_EditingTime_Increasing&#45;&gt;_P_Display_EditingTime_Waiting</title>
<path fill="none" stroke="#000000" d="M2982.8511,-862.1102C2996.8153,-871.0298 3007,-883.27 3007,-900 3007,-1078 3007,-1078 3007,-1078 3007,-1105.1808 2788.4908,-1086.0653 2763,-1095.5 2761.0833,-1096.2094 2759.1816,-1097.0584 2757.313,-1098.0096"/>
<polygon fill="#000000" stroke="#000000" points="2755.074,-1095.2735 2748.3303,-1103.4449 2758.6979,-1101.2625 2755.074,-1095.2735"/>
<text text-anchor="start" x="3007" y="-987.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomLeftReleased &#160;&#160;</text>
</g>
<!-- _P_Display_EditingTime_GoingToNext -->
<g id="node16" class="node">
<title>_P_Display_EditingTime_GoingToNext</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2634,-857 2542,-857 2542,-821 2634,-821 2634,-857"/>
<text text-anchor="start" x="2552.66" y="-835.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">GoingToNext</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M2554.3333,-822C2554.3333,-822 2621.6667,-822 2621.6667,-822 2627.3333,-822 2633,-827.6667 2633,-833.3333 2633,-833.3333 2633,-844.6667 2633,-844.6667 2633,-850.3333 2627.3333,-856 2621.6667,-856 2621.6667,-856 2554.3333,-856 2554.3333,-856 2548.6667,-856 2543,-850.3333 2543,-844.6667 2543,-844.6667 2543,-833.3333 2543,-833.3333 2543,-827.6667 2548.6667,-822 2554.3333,-822"/>
</g>
<!-- _P_Display_EditingTime_GoingToNext&#45;&gt;_P_Display_TimeUpdate -->
<g id="edge13" class="edge">
<title>_P_Display_EditingTime_GoingToNext&#45;&gt;_P_Display_TimeUpdate</title>
<path fill="none" stroke="#000000" d="M2567.1642,-857.3011C2558.223,-865.1093 2547.6363,-874.2946 2538,-882.5 2528.7498,-890.3765 2517,-887.8507 2517,-900 2517,-947 2517,-947 2517,-947 2517,-960.414 2358.2447,-975.1386 2250.9996,-983.5553"/>
<polygon fill="#000000" stroke="#000000" points="2250.4872,-980.0845 2240.7889,-984.3498 2251.0304,-987.0634 2250.4872,-980.0845"/>
<text text-anchor="start" x="2517" y="-920.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(2 s) &#160;&#160;</text>
</g>
<!-- _P_Display_EditingTime_GoingToNext&#45;&gt;_P_Display_EditingTime_Waiting -->
<g id="edge12" class="edge">
<title>_P_Display_EditingTime_GoingToNext&#45;&gt;_P_Display_EditingTime_Waiting</title>
<path fill="none" stroke="#000000" d="M2590.4015,-857.1116C2592.1355,-875.9508 2592.7134,-905.9312 2583,-929.5 2572.0301,-956.1177 2546.5703,-942.0935 2528.493,-964.5 2511.7202,-985.2896 2511,-995.288 2511,-1022 2511,-1078 2511,-1078 2511,-1078 2511,-1098.4261 2674.9866,-1088.0357 2694,-1095.5 2695.8157,-1096.2128 2697.6165,-1097.0528 2699.3864,-1097.9864"/>
<polygon fill="#000000" stroke="#000000" points="2697.563,-1100.974 2707.9041,-1103.2791 2701.2576,-1095.0284 2697.563,-1100.974"/>
<text text-anchor="start" x="2528" y="-987.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomRightReleased^out.selectNext &#160;&#160;</text>
</g>
<!-- _P_Display_EditingTime_Waiting&#45;&gt;_P_Display_TimeUpdate -->
<g id="edge16" class="edge">
<title>_P_Display_EditingTime_Waiting&#45;&gt;_P_Display_TimeUpdate</title>
<path fill="none" stroke="#000000" d="M2708.3515,-1103.3374C2703.9205,-1100.1763 2699.0303,-1097.3224 2694,-1095.5 2676.3215,-1089.0954 2356,-1096.8029 2356,-1078 2356,-1078 2356,-1078 2356,-1031 2356,-1019.2326 2302.3755,-1008.8164 2250.5223,-1001.4949"/>
<polygon fill="#000000" stroke="#000000" points="2250.9178,-998.0164 2240.5336,-1000.1184 2249.9621,-1004.9509 2250.9178,-998.0164"/>
<text text-anchor="start" x="2356" y="-1051.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(5 s) &#160;&#160;</text>
</g>
<!-- _P_Display_EditingTime_Waiting&#45;&gt;_P_Display_EditingTime_Increasing -->
<g id="edge14" class="edge">
<title>_P_Display_EditingTime_Waiting&#45;&gt;_P_Display_EditingTime_Increasing</title>
<path fill="none" stroke="#000000" d="M2749.2323,-1103.2702C2753.5666,-1100.2769 2758.2586,-1097.5034 2763,-1095.5 2785.3959,-1086.037 2871,-1102.313 2871,-1078 2871,-1078 2871,-1078 2871,-900 2871,-889.7955 2874.6167,-879.6621 2879.4555,-870.6711"/>
<polygon fill="#000000" stroke="#000000" points="2882.4557,-872.4734 2884.6129,-862.1005 2876.4579,-868.8642 2882.4557,-872.4734"/>
<text text-anchor="start" x="2871" y="-987.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomLeftPressed &#160;&#160;</text>
</g>
<!-- _P_Display_EditingTime_Waiting&#45;&gt;_P_Display_EditingTime_GoingToNext -->
<g id="edge15" class="edge">
<title>_P_Display_EditingTime_Waiting&#45;&gt;_P_Display_EditingTime_GoingToNext</title>
<path fill="none" stroke="#000000" d="M2728,-1103.2983C2728,-1095.507 2728,-1086.3073 2728,-1078 2728,-1078 2728,-1078 2728,-900 2728,-880.7525 2682.9647,-863.7157 2643.9793,-852.5734"/>
<polygon fill="#000000" stroke="#000000" points="2644.8009,-849.1692 2634.2292,-849.8698 2642.9304,-855.9147 2644.8009,-849.1692"/>
<text text-anchor="start" x="2728" y="-987.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomRightPressed &#160;&#160;</text>
</g>
<!-- _P_ChronoWrapper -->
<!-- _P_ChronoWrapper_initial -->
<g id="node19" class="node">
<title>_P_ChronoWrapper_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="1080" cy="-1370.5" rx="5.5" ry="5.5"/>
</g>
<!-- _P_ChronoWrapper_Chrono -->
<!-- _P_ChronoWrapper_initial&#45;&gt;_P_ChronoWrapper_Chrono -->
<g id="edge25" class="edge">
<title>_P_ChronoWrapper_initial&#45;&gt;_P_ChronoWrapper_Chrono</title>
<path fill="none" stroke="#000000" d="M1080,-1364.8288C1080,-1360.1736 1080,-1353.4097 1080,-1347.5 1080,-1347.5 1080,-1347.5 1080,-1300.5 1080,-1298.1116 1080,-1295.6707 1080,-1293.2049"/>
<polygon fill="#000000" stroke="#000000" points="1083.5001,-1292.9997 1080,-1282.9997 1076.5001,-1292.9997 1083.5001,-1292.9997"/>
<text text-anchor="middle" x="1081.3895" y="-1321" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_ChronoWrapper_Chrono_Stopped -->
<g id="node23" class="node">
<title>_P_ChronoWrapper_Chrono_Stopped</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1247,-1008.5 1181,-1008.5 1181,-972.5 1247,-972.5 1247,-1008.5"/>
<text text-anchor="start" x="1191.6542" y="-986.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Stopped</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M1193.3333,-973.5C1193.3333,-973.5 1234.6667,-973.5 1234.6667,-973.5 1240.3333,-973.5 1246,-979.1667 1246,-984.8333 1246,-984.8333 1246,-996.1667 1246,-996.1667 1246,-1001.8333 1240.3333,-1007.5 1234.6667,-1007.5 1234.6667,-1007.5 1193.3333,-1007.5 1193.3333,-1007.5 1187.6667,-1007.5 1182,-1001.8333 1182,-996.1667 1182,-996.1667 1182,-984.8333 1182,-984.8333 1182,-979.1667 1187.6667,-973.5 1193.3333,-973.5"/>
</g>
<!-- _P_ChronoWrapper_Chrono&#45;&gt;_P_ChronoWrapper_Chrono_Stopped -->
<g id="edge30" class="edge">
<title>_P_ChronoWrapper_Chrono&#45;&gt;_P_ChronoWrapper_Chrono_Stopped</title>
<path fill="none" stroke="#000000" d="M1080,-1239.4429C1080,-1238.2712 1080,-1219.2847 1080,-1204 1080,-1204 1080,-1204 1080,-1031 1080,-1011.7022 1131.5671,-1000.7614 1170.7224,-995.2356"/>
<polygon fill="#000000" stroke="#000000" points="1171.4267,-998.6727 1180.8764,-993.8818 1170.5015,-991.7341 1171.4267,-998.6727"/>
<text text-anchor="start" x="1080" y="-1118.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomLeftPressed [INSTATE([&quot;/P/Display/ChronoUpdate&quot;])]^out.resetChrono ^int_refresh_chrono &#160;&#160;</text>
</g>
<!-- _P_ChronoWrapper_Chrono_initial -->
<g id="node21" class="node">
<title>_P_ChronoWrapper_Chrono_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="1566" cy="-1239.5" rx="5.5" ry="5.5"/>
</g>
<!-- _P_ChronoWrapper_Chrono_initial&#45;&gt;_P_ChronoWrapper_Chrono_Stopped -->
<g id="edge26" class="edge">
<title>_P_ChronoWrapper_Chrono_initial&#45;&gt;_P_ChronoWrapper_Chrono_Stopped</title>
<path fill="none" stroke="#000000" d="M1566,-1233.9659C1566,-1226.982 1566,-1214.6007 1566,-1204 1566,-1204 1566,-1204 1566,-1031 1566,-1000.2425 1351.151,-992.8243 1257.1587,-991.0507"/>
<polygon fill="#000000" stroke="#000000" points="1257.1753,-987.5505 1247.1153,-990.8741 1257.0522,-994.5495 1257.1753,-987.5505"/>
<text text-anchor="middle" x="1567.3895" y="-1118.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_ChronoWrapper_Chrono_Running -->
<g id="node22" class="node">
<title>_P_ChronoWrapper_Chrono_Running</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1201,-718 1135,-718 1135,-682 1201,-682 1201,-718"/>
<text text-anchor="start" x="1145.6602" y="-696.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Running</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M1147.3333,-683C1147.3333,-683 1188.6667,-683 1188.6667,-683 1194.3333,-683 1200,-688.6667 1200,-694.3333 1200,-694.3333 1200,-705.6667 1200,-705.6667 1200,-711.3333 1194.3333,-717 1188.6667,-717 1188.6667,-717 1147.3333,-717 1147.3333,-717 1141.6667,-717 1136,-711.3333 1136,-705.6667 1136,-705.6667 1136,-694.3333 1136,-694.3333 1136,-688.6667 1141.6667,-683 1147.3333,-683"/>
</g>
<!-- _P_ChronoWrapper_Chrono_Running&#45;&gt;_P_ChronoWrapper_Chrono_Running -->
<g id="edge27" class="edge">
<title>_P_ChronoWrapper_Chrono_Running&#45;&gt;_P_ChronoWrapper_Chrono_Running</title>
<path fill="none" stroke="#000000" d="M1201.0221,-704.8676C1213.1032,-704.9995 1223,-703.377 1223,-700 1223,-697.6783 1218.3222,-696.1859 1211.4728,-695.5228"/>
<polygon fill="#000000" stroke="#000000" points="1211.1458,-692.0082 1201.0221,-695.1324 1210.8845,-699.0033 1211.1458,-692.0082"/>
<text text-anchor="start" x="1223" y="-697" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(10 ms)^out.increaseChronoByOne ^int_refresh_chrono &#160;&#160;</text>
</g>
<!-- _P_ChronoWrapper_Chrono_Running&#45;&gt;_P_ChronoWrapper_Chrono_Stopped -->
<g id="edge28" class="edge">
<title>_P_ChronoWrapper_Chrono_Running&#45;&gt;_P_ChronoWrapper_Chrono_Stopped</title>
<path fill="none" stroke="#000000" d="M1134.8703,-701.4601C1091.7942,-704.2812 1022,-712.4141 1022,-735.5 1022,-947 1022,-947 1022,-947 1022,-962.1627 1114.2568,-977.2062 1170.8685,-985.0101"/>
<polygon fill="#000000" stroke="#000000" points="1170.6147,-988.5076 1180.994,-986.3814 1171.5542,-981.5709 1170.6147,-988.5076"/>
<text text-anchor="start" x="1022" y="-836" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomRightPressed [INSTATE([&quot;/P/Display/ChronoUpdate&quot;])] &#160;&#160;</text>
</g>
<!-- _P_ChronoWrapper_Chrono_Stopped&#45;&gt;_P_ChronoWrapper_Chrono_Running -->
<g id="edge29" class="edge">
<title>_P_ChronoWrapper_Chrono_Stopped&#45;&gt;_P_ChronoWrapper_Chrono_Running</title>
<path fill="none" stroke="#000000" d="M1247.1236,-986.4191C1286.8048,-980.5846 1348,-968.157 1348,-947 1348,-947 1348,-947 1348,-735.5 1348,-721.6145 1264.4857,-710.1744 1211.229,-704.2908"/>
<polygon fill="#000000" stroke="#000000" points="1211.3325,-700.7817 1201.0148,-703.189 1210.5817,-707.7413 1211.3325,-700.7817"/>
<text text-anchor="start" x="1348" y="-836" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomRightPressed [INSTATE([&quot;/P/Display/ChronoUpdate&quot;])] &#160;&#160;</text>
</g>
<!-- _P_Indiglo -->
<!-- _P_Indiglo_initial -->
<g id="node25" class="node">
<title>_P_Indiglo_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="755" cy="-1370.5" rx="5.5" ry="5.5"/>
</g>
<!-- _P_Indiglo_Off -->
<g id="node28" class="node">
<title>_P_Indiglo_Off</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="783,-1257.5 727,-1257.5 727,-1221.5 783,-1221.5 783,-1257.5"/>
<text text-anchor="start" x="746.9978" y="-1235.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Off</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M739.3333,-1222.5C739.3333,-1222.5 770.6667,-1222.5 770.6667,-1222.5 776.3333,-1222.5 782,-1228.1667 782,-1233.8333 782,-1233.8333 782,-1245.1667 782,-1245.1667 782,-1250.8333 776.3333,-1256.5 770.6667,-1256.5 770.6667,-1256.5 739.3333,-1256.5 739.3333,-1256.5 733.6667,-1256.5 728,-1250.8333 728,-1245.1667 728,-1245.1667 728,-1233.8333 728,-1233.8333 728,-1228.1667 733.6667,-1222.5 739.3333,-1222.5"/>
</g>
<!-- _P_Indiglo_initial&#45;&gt;_P_Indiglo_Off -->
<g id="edge31" class="edge">
<title>_P_Indiglo_initial&#45;&gt;_P_Indiglo_Off</title>
<path fill="none" stroke="#000000" d="M755,-1364.8288C755,-1360.1736 755,-1353.4097 755,-1347.5 755,-1347.5 755,-1347.5 755,-1300.5 755,-1289.8104 755,-1278.0672 755,-1267.763"/>
<polygon fill="#000000" stroke="#000000" points="758.5001,-1267.6503 755,-1257.6503 751.5001,-1267.6504 758.5001,-1267.6503"/>
<text text-anchor="middle" x="756.3895" y="-1321" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Indiglo_Released -->
<g id="node26" class="node">
<title>_P_Indiglo_Released</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="790,-1008.5 718,-1008.5 718,-972.5 790,-972.5 790,-1008.5"/>
<text text-anchor="start" x="728.6602" y="-986.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Released</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M730.3333,-973.5C730.3333,-973.5 777.6667,-973.5 777.6667,-973.5 783.3333,-973.5 789,-979.1667 789,-984.8333 789,-984.8333 789,-996.1667 789,-996.1667 789,-1001.8333 783.3333,-1007.5 777.6667,-1007.5 777.6667,-1007.5 730.3333,-1007.5 730.3333,-1007.5 724.6667,-1007.5 719,-1001.8333 719,-996.1667 719,-996.1667 719,-984.8333 719,-984.8333 719,-979.1667 724.6667,-973.5 730.3333,-973.5"/>
</g>
<!-- _P_Indiglo_Pushed -->
<g id="node27" class="node">
<title>_P_Indiglo_Pushed</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="938,-1139.5 876,-1139.5 876,-1103.5 938,-1103.5 938,-1139.5"/>
<text text-anchor="start" x="886.657" y="-1117.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Pushed</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M888.3333,-1104.5C888.3333,-1104.5 925.6667,-1104.5 925.6667,-1104.5 931.3333,-1104.5 937,-1110.1667 937,-1115.8333 937,-1115.8333 937,-1127.1667 937,-1127.1667 937,-1132.8333 931.3333,-1138.5 925.6667,-1138.5 925.6667,-1138.5 888.3333,-1138.5 888.3333,-1138.5 882.6667,-1138.5 877,-1132.8333 877,-1127.1667 877,-1127.1667 877,-1115.8333 877,-1115.8333 877,-1110.1667 882.6667,-1104.5 888.3333,-1104.5"/>
</g>
<!-- _P_Indiglo_Released&#45;&gt;_P_Indiglo_Pushed -->
<g id="edge32" class="edge">
<title>_P_Indiglo_Released&#45;&gt;_P_Indiglo_Pushed</title>
<path fill="none" stroke="#000000" d="M790.0696,-994.4289C829.1523,-999.7148 886,-1010.8643 886,-1031 886,-1078 886,-1078 886,-1078 886,-1083.4169 887.337,-1088.8696 889.3362,-1093.9953"/>
<polygon fill="#000000" stroke="#000000" points="886.3425,-1095.8472 893.8196,-1103.3534 892.6554,-1092.8227 886.3425,-1095.8472"/>
<text text-anchor="start" x="886" y="-1051.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">topRightPressed &#160;&#160;</text>
</g>
<!-- _P_Indiglo_Released&#45;&gt;_P_Indiglo_Off -->
<g id="edge33" class="edge">
<title>_P_Indiglo_Released&#45;&gt;_P_Indiglo_Off</title>
<path fill="none" stroke="#000000" d="M743.0843,-1008.5748C737.0345,-1019.6657 730.1206,-1034.4021 727,-1048.5 717.4382,-1091.6967 730,-1103.7577 730,-1148 730,-1204 730,-1204 730,-1204 730,-1206.8009 730.5267,-1209.5366 731.4271,-1212.1669"/>
<polygon fill="#000000" stroke="#000000" points="728.366,-1213.8679 736.0518,-1221.1603 734.5912,-1210.6666 728.366,-1213.8679"/>
<text text-anchor="start" x="729" y="-1118.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(2 s)^out.unsetIndiglo &#160;&#160;</text>
</g>
<!-- _P_Indiglo_Pushed&#45;&gt;_P_Indiglo_Released -->
<g id="edge34" class="edge">
<title>_P_Indiglo_Pushed&#45;&gt;_P_Indiglo_Released</title>
<path fill="none" stroke="#000000" d="M877.2225,-1103.4153C871.339,-1100.4087 865.0952,-1097.5931 859,-1095.5 836.6272,-1087.8171 754,-1101.6552 754,-1078 754,-1078 754,-1078 754,-1031 754,-1027.1152 754,-1023.0209 754,-1018.9883"/>
<polygon fill="#000000" stroke="#000000" points="757.5001,-1018.6447 754,-1008.6447 750.5001,-1018.6448 757.5001,-1018.6447"/>
<text text-anchor="start" x="754" y="-1051.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">topRightReleased &#160;&#160;</text>
</g>
<!-- _P_Indiglo_Off&#45;&gt;_P_Indiglo_Pushed -->
<g id="edge35" class="edge">
<title>_P_Indiglo_Off&#45;&gt;_P_Indiglo_Pushed</title>
<path fill="none" stroke="#000000" d="M783.4422,-1226.8031C791.4387,-1221.2152 798,-1213.6807 798,-1204 798,-1204 798,-1204 798,-1157 798,-1128.7953 832.2189,-1148.3475 859,-1139.5 861.4032,-1138.7061 863.8648,-1137.8664 866.3421,-1137.001"/>
<polygon fill="#000000" stroke="#000000" points="867.6544,-1140.2487 875.8852,-1133.5775 865.2907,-1133.6598 867.6544,-1140.2487"/>
<text text-anchor="start" x="798" y="-1177.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">topRightPressed^out.setIndiglo &#160;&#160;</text>
</g>
<!-- _P_Alarm -->
<!-- _P_Alarm_initial -->
<g id="node30" class="node">
<title>_P_Alarm_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="678" cy="-839" rx="5.5" ry="5.5"/>
</g>
<!-- _P_Alarm_Off -->
<g id="node31" class="node">
<title>_P_Alarm_Off</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="518,-718 462,-718 462,-682 518,-682 518,-718"/>
<text text-anchor="start" x="481.9978" y="-696.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Off</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M474.3333,-683C474.3333,-683 505.6667,-683 505.6667,-683 511.3333,-683 517,-688.6667 517,-694.3333 517,-694.3333 517,-705.6667 517,-705.6667 517,-711.3333 511.3333,-717 505.6667,-717 505.6667,-717 474.3333,-717 474.3333,-717 468.6667,-717 463,-711.3333 463,-705.6667 463,-705.6667 463,-694.3333 463,-694.3333 463,-688.6667 468.6667,-683 474.3333,-683"/>
</g>
<!-- _P_Alarm_initial&#45;&gt;_P_Alarm_Off -->
<g id="edge36" class="edge">
<title>_P_Alarm_initial&#45;&gt;_P_Alarm_Off</title>
<path fill="none" stroke="#000000" d="M678.4954,-833.3917C679.3475,-823.2459 681,-801.1634 681,-782.5 681,-782.5 681,-782.5 681,-735.5 681,-720.1325 584.1929,-708.6532 528.4184,-703.3148"/>
<polygon fill="#000000" stroke="#000000" points="528.4646,-699.804 518.1827,-702.3597 527.8143,-706.7737 528.4646,-699.804"/>
<text text-anchor="middle" x="682.3895" y="-756" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Alarm_On -->
<!-- _P_Alarm_Off&#45;&gt;_P_Alarm_On -->
<g id="edge48" class="edge">
<title>_P_Alarm_Off&#45;&gt;_P_Alarm_On</title>
<path fill="none" stroke="#000000" d="M518.1503,-701.1497C560.5762,-703.6613 636,-711.5011 636,-735.5 636,-909 636,-909 636,-909 636,-1028.4688 420,-949.5312 420,-1069 420,-1347.5 420,-1347.5 420,-1347.5 420,-1361.4501 316.0042,-1368.1742 282.3629,-1369.9844"/>
<polygon fill="#000000" stroke="#000000" points="289.0343,-1364.9606 280,-1370.4953 290.5139,-1371.8025 289.0343,-1364.9606"/>
<text text-anchor="start" x="422" y="-1051.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomLeftPressed [INSTATE([&quot;/P/Display/TimeUpdate&quot;])] &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_initial -->
<g id="node33" class="node">
<title>_P_Alarm_On_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="224" cy="-1370.5" rx="5.5" ry="5.5"/>
</g>
<!-- _P_Alarm_On_NotBlinking -->
<g id="node34" class="node">
<title>_P_Alarm_On_NotBlinking</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="265,-1139.5 183,-1139.5 183,-1103.5 265,-1103.5 265,-1139.5"/>
<text text-anchor="start" x="193.664" y="-1117.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">NotBlinking</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M195.3333,-1104.5C195.3333,-1104.5 252.6667,-1104.5 252.6667,-1104.5 258.3333,-1104.5 264,-1110.1667 264,-1115.8333 264,-1115.8333 264,-1127.1667 264,-1127.1667 264,-1132.8333 258.3333,-1138.5 252.6667,-1138.5 252.6667,-1138.5 195.3333,-1138.5 195.3333,-1138.5 189.6667,-1138.5 184,-1132.8333 184,-1127.1667 184,-1127.1667 184,-1115.8333 184,-1115.8333 184,-1110.1667 189.6667,-1104.5 195.3333,-1104.5"/>
</g>
<!-- _P_Alarm_On_initial&#45;&gt;_P_Alarm_On_NotBlinking -->
<g id="edge37" class="edge">
<title>_P_Alarm_On_initial&#45;&gt;_P_Alarm_On_NotBlinking</title>
<path fill="none" stroke="#000000" d="M224,-1364.8288C224,-1360.1736 224,-1353.4097 224,-1347.5 224,-1347.5 224,-1347.5 224,-1157 224,-1154.6079 224,-1152.1252 224,-1149.6342"/>
<polygon fill="#000000" stroke="#000000" points="227.5001,-1149.5597 224,-1139.5598 220.5001,-1149.5598 227.5001,-1149.5597"/>
<text text-anchor="middle" x="225.3895" y="-1236.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Alarm_On_NotBlinking&#45;&gt;_P_Alarm_Off -->
<g id="edge47" class="edge">
<title>_P_Alarm_On_NotBlinking&#45;&gt;_P_Alarm_Off</title>
<path fill="none" stroke="#000000" d="M252.393,-1103.3487C257.7665,-1100.4217 263.4472,-1097.6514 269,-1095.5 285.969,-1088.9254 349,-1096.1982 349,-1078 349,-1078 349,-1078 349,-938 349,-804.7007 531.1483,-882.5515 594,-765 610.3343,-734.4499 563.8965,-716.4768 527.8794,-707.4341"/>
<polygon fill="#000000" stroke="#000000" points="528.5943,-704.0068 518.0578,-705.1174 526.9872,-710.8198 528.5943,-704.0068"/>
<text text-anchor="start" x="350" y="-920.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomLeftPressed [INSTATE([&quot;/P/Display/TimeUpdate&quot;])] &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_Blinking -->
<!-- _P_Alarm_On_NotBlinking&#45;&gt;_P_Alarm_On_Blinking -->
<g id="edge46" class="edge">
<title>_P_Alarm_On_NotBlinking&#45;&gt;_P_Alarm_On_Blinking</title>
<path fill="none" stroke="#000000" d="M182.7232,-1111.0819C155.9405,-1103.0708 126,-1091.1699 126,-1078 126,-1078 126,-1078 126,-900 126,-897.2601 126.2668,-894.642 126.7738,-892.1401"/>
<polygon fill="#000000" stroke="#000000" points="130.1489,-893.0913 130.1436,-882.4964 123.5407,-890.7821 130.1489,-893.0913"/>
<text text-anchor="start" x="126" y="-987.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">alarmStart &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_Blinking&#45;&gt;_P_Alarm_Off -->
<g id="edge41" class="edge">
<title>_P_Alarm_On_Blinking&#45;&gt;_P_Alarm_Off</title>
<path fill="none" stroke="#000000" d="M271.9977,-720.6005C316.1201,-709.8716 401.9202,-704.1804 451.7102,-701.6558"/>
<polygon fill="#000000" stroke="#000000" points="451.9635,-705.1477 461.7807,-701.1635 451.6217,-698.1561 451.9635,-705.1477"/>
<text text-anchor="start" x="244" y="-756" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">topRightPressed &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_Blinking&#45;&gt;_P_Alarm_Off -->
<g id="edge42" class="edge">
<title>_P_Alarm_On_Blinking&#45;&gt;_P_Alarm_Off</title>
<path fill="none" stroke="#000000" d="M271.9973,-792.4179C312.0354,-792.4534 370,-803.8455 370,-782.5 370,-782.5 370,-782.5 370,-735.5 370,-718.1484 416.7183,-708.6292 451.8548,-703.9236"/>
<polygon fill="#000000" stroke="#000000" points="452.3787,-707.3853 461.8653,-702.6679 451.5074,-700.4398 452.3787,-707.3853"/>
<text text-anchor="start" x="370" y="-756" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">topLeftPressed &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_Blinking&#45;&gt;_P_Alarm_Off -->
<g id="edge43" class="edge">
<title>_P_Alarm_On_Blinking&#45;&gt;_P_Alarm_Off</title>
<path fill="none" stroke="#000000" d="M271.9974,-793.4133C341.6996,-790.2487 490,-804.9527 490,-782.5 490,-782.5 490,-782.5 490,-735.5 490,-733.1079 490,-730.6252 490,-728.1342"/>
<polygon fill="#000000" stroke="#000000" points="493.5001,-728.0597 490,-718.0598 486.5001,-728.0598 493.5001,-728.0597"/>
<text text-anchor="start" x="490" y="-756" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomRightPressed &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_Blinking&#45;&gt;_P_Alarm_Off -->
<g id="edge44" class="edge">
<title>_P_Alarm_On_Blinking&#45;&gt;_P_Alarm_Off</title>
<path fill="none" stroke="#000000" d="M271.9984,-719.1756C338.462,-713.1824 409.3772,-706.9862 451.6737,-703.3145"/>
<polygon fill="#000000" stroke="#000000" points="452.2505,-706.7777 461.9106,-702.4267 451.6456,-699.8039 452.2505,-706.7777"/>
<text text-anchor="start" x="108" y="-756" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">bottomLeftPressed &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_Blinking&#45;&gt;_P_Alarm_On_NotBlinking -->
<g id="edge45" class="edge">
<title>_P_Alarm_On_Blinking&#45;&gt;_P_Alarm_On_NotBlinking</title>
<path fill="none" stroke="#000000" d="M225.1099,-882.4965C224.4293,-888.3562 224,-894.308 224,-900 224,-1078 224,-1078 224,-1078 224,-1082.9325 224,-1088.1795 224,-1093.2596"/>
<polygon fill="#000000" stroke="#000000" points="220.5001,-1093.2983 224,-1103.2983 227.5001,-1093.2984 220.5001,-1093.2983"/>
<text text-anchor="start" x="224" y="-987.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(4 s) &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_Blinking_initial -->
<g id="node36" class="node">
<title>_P_Alarm_On_Blinking_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="68" cy="-839" rx="5.5" ry="5.5"/>
</g>
<!-- _P_Alarm_On_Blinking_On -->
<g id="node38" class="node">
<title>_P_Alarm_On_Blinking_On</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="186,-440 62,-440 62,-374 186,-374 186,-440"/>
<text text-anchor="start" x="115.9972" y="-423.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">On</text>
<text text-anchor="start" x="68" y="-403.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.setIndiglo</text>
<text text-anchor="start" x="67.834" y="-383.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">exit ^out.unsetIndiglo</text>
<polygon fill="#000000" stroke="#000000" points="62,-417 62,-417 186,-417 186,-417 62,-417"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M75,-375C75,-375 173,-375 173,-375 179,-375 185,-381 185,-387 185,-387 185,-427 185,-427 185,-433 179,-439 173,-439 173,-439 75,-439 75,-439 69,-439 63,-433 63,-427 63,-427 63,-387 63,-387 63,-381 69,-375 75,-375"/>
</g>
<!-- _P_Alarm_On_Blinking_initial&#45;&gt;_P_Alarm_On_Blinking_On -->
<g id="edge38" class="edge">
<title>_P_Alarm_On_Blinking_initial&#45;&gt;_P_Alarm_On_Blinking_On</title>
<path fill="none" stroke="#000000" d="M67.7388,-833.1521C67.1743,-819.2421 66.0428,-783.0962 68,-753 71.5631,-698.2089 84,-685.4069 84,-630.5 84,-630.5 84,-630.5 84,-457.5 84,-454.8087 84.3534,-452.1772 84.9938,-449.6181"/>
<polygon fill="#000000" stroke="#000000" points="88.3223,-450.7185 88.7456,-440.1321 81.8129,-448.1439 88.3223,-450.7185"/>
<text text-anchor="middle" x="85.3895" y="-586" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _P_Alarm_On_Blinking_Off -->
<g id="node37" class="node">
<title>_P_Alarm_On_Blinking_Off</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="171,-76 115,-76 115,-40 171,-40 171,-76"/>
<text text-anchor="start" x="134.9978" y="-54.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Off</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M127.3333,-41C127.3333,-41 158.6667,-41 158.6667,-41 164.3333,-41 170,-46.6667 170,-52.3333 170,-52.3333 170,-63.6667 170,-63.6667 170,-69.3333 164.3333,-75 158.6667,-75 158.6667,-75 127.3333,-75 127.3333,-75 121.6667,-75 116,-69.3333 116,-63.6667 116,-63.6667 116,-52.3333 116,-52.3333 116,-46.6667 121.6667,-41 127.3333,-41"/>
</g>
<!-- _P_Alarm_On_Blinking_Off&#45;&gt;_P_Alarm_On_Blinking_On -->
<g id="edge39" class="edge">
<title>_P_Alarm_On_Blinking_Off&#45;&gt;_P_Alarm_On_Blinking_On</title>
<path fill="none" stroke="#000000" d="M114.8824,-63.8116C99.6863,-68.7751 84,-77.7203 84,-93.5 84,-356.5 84,-356.5 84,-356.5 84,-359.1913 84.3534,-361.8228 84.9938,-364.3819"/>
<polygon fill="#000000" stroke="#000000" points="81.8129,-365.8561 88.7456,-373.8679 88.3223,-363.2815 81.8129,-365.8561"/>
<text text-anchor="start" x="84" y="-222" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(500 ms) &#160;&#160;</text>
</g>
<!-- _P_Alarm_On_Blinking_On&#45;&gt;_P_Alarm_On_Blinking_Off -->
<g id="edge40" class="edge">
<title>_P_Alarm_On_Blinking_On&#45;&gt;_P_Alarm_On_Blinking_Off</title>
<path fill="none" stroke="#000000" d="M186.2898,-379.3141C192.1757,-373.0466 196,-365.5082 196,-356.5 196,-356.5 196,-356.5 196,-93.5 196,-83.1771 188.9737,-75.6651 180.0376,-70.2856"/>
<polygon fill="#000000" stroke="#000000" points="181.5574,-67.1323 171.0519,-65.7593 178.4083,-73.3839 181.5574,-67.1323"/>
<text text-anchor="start" x="196" y="-222" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(500 ms) &#160;&#160;</text>
</g>
</g>
</svg>