Updated chat client model to match design in thesis. Enabled decoration of Lark-parser errors in XML parser.

examples/chatclient/model_chatclient.svg

@@ -4,414 +4,421 @@
 <!-- Generated by graphviz version 2.40.1 (20161225.0304)
  -->
 <!-- Title: state transitions Pages: 1 -->
-<svg width="3132pt" height="1734pt"
- viewBox="0.00 0.00 3132.00 1734.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 1730)">
+<svg width="2972pt" height="3275pt"
+ viewBox="0.00 0.00 2972.00 3275.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 3271)">
 <title>state transitions</title>
-<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1730 3128,-1730 3128,4 -4,4"/>
+<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-3271 2968,-3271 2968,4 -4,4"/>
 <g id="clust1" class="cluster">
-<title>cluster__p</title>
-<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 3104,-8 3104,-8 3110,-8 3116,-14 3116,-20 3116,-20 3116,-1675 3116,-1675 3116,-1681 3110,-1687 3104,-1687 3104,-1687 20,-1687 20,-1687 14,-1687 8,-1681 8,-1675 8,-1675 8,-20 8,-20 8,-14 14,-8 20,-8"/>
-<text text-anchor="start" x="1558.6646" y="-1668.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">p</text>
+<title>cluster__P</title>
+<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 2944,-8 2944,-8 2950,-8 2956,-14 2956,-20 2956,-20 2956,-3216 2956,-3216 2956,-3222 2950,-3228 2944,-3228 2944,-3228 20,-3228 20,-3228 14,-3228 8,-3222 8,-3216 8,-3216 8,-20 8,-20 8,-14 14,-8 20,-8"/>
+<text text-anchor="start" x="1477.9986" y="-3209.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">P</text>
 </g>
 <g id="clust2" class="cluster">
-<title>cluster__p_listening</title>
-<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="2714,-1391 2714,-1636.5 3108,-1636.5 3108,-1391 2714,-1391"/>
-<text text-anchor="start" x="2888.9968" y="-1617.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">listening</text>
+<title>cluster__P_Receiving</title>
+<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="2536,-2969.5 2536,-3190 2948,-3190 2948,-2969.5 2536,-2969.5"/>
+<text text-anchor="start" x="2715.6642" y="-3171.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Receiving</text>
 </g>
 <g id="clust3" class="cluster">
-<title>cluster__p_polling</title>
-<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="2310,-1265 2310,-1649 2706,-1649 2706,-1265 2310,-1265"/>
-<text text-anchor="start" x="2490.6642" y="-1630.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">polling</text>
+<title>cluster__P_Pinging</title>
+<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="2158,-2725.5 2158,-3190 2528,-3190 2528,-2725.5 2158,-2725.5"/>
+<text text-anchor="start" x="2322.9942" y="-3171.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Pinging</text>
 </g>
 <g id="clust4" class="cluster">
-<title>cluster__p_main</title>
-<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="24,-16 24,-1636.5 2302,-1636.5 2302,-16 24,-16"/>
-<text text-anchor="start" x="1150.5004" y="-1617.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">main</text>
+<title>cluster__P_Main</title>
+<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="24,-16 24,-3190 2150,-3190 2150,-16 24,-16"/>
+<text text-anchor="start" x="1074.5004" y="-3171.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Main</text>
 </g>
 <g id="clust5" class="cluster">
-<title>cluster__p_main_connected</title>
-<path fill="none" stroke="#000000" stroke-width="2" d="M44,-24C44,-24 1312,-24 1312,-24 1318,-24 1324,-30 1324,-36 1324,-36 1324,-1056 1324,-1056 1324,-1062 1318,-1068 1312,-1068 1312,-1068 44,-1068 44,-1068 38,-1068 32,-1062 32,-1056 32,-1056 32,-36 32,-36 32,-30 38,-24 44,-24"/>
-<text text-anchor="start" x="650.8202" y="-1049.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">connected</text>
+<title>cluster__P_Main_Connected</title>
+<path fill="none" stroke="#000000" stroke-width="2" d="M44,-24C44,-24 2130,-24 2130,-24 2136,-24 2142,-30 2142,-36 2142,-36 2142,-2422.5 2142,-2422.5 2142,-2428.5 2136,-2434.5 2130,-2434.5 2130,-2434.5 44,-2434.5 44,-2434.5 38,-2434.5 32,-2428.5 32,-2422.5 32,-2422.5 32,-36 32,-36 32,-30 38,-24 44,-24"/>
+<text text-anchor="start" x="1057.9888" y="-2415.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Connected</text>
 </g>
 <g id="clust6" class="cluster">
-<title>cluster__p_main_connected_joined</title>
-<path fill="none" stroke="#000000" stroke-width="2" d="M52,-433C52,-433 857,-433 857,-433 863,-433 869,-439 869,-445 869,-445 869,-1018 869,-1018 869,-1024 863,-1030 857,-1030 857,-1030 52,-1030 52,-1030 46,-1030 40,-1024 40,-1018 40,-1018 40,-445 40,-445 40,-439 46,-433 52,-433"/>
-<text text-anchor="start" x="438.4956" y="-1011.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">joined</text>
+<title>cluster__P_Main_Connected_JoiningOrJoined</title>
+<path fill="none" stroke="#000000" stroke-width="2" d="M118,-219C118,-219 939,-219 939,-219 945,-219 951,-225 951,-231 951,-231 951,-2384.5 951,-2384.5 951,-2390.5 945,-2396.5 939,-2396.5 939,-2396.5 118,-2396.5 118,-2396.5 112,-2396.5 106,-2390.5 106,-2384.5 106,-2384.5 106,-231 106,-231 106,-225 112,-219 118,-219"/>
+<text text-anchor="start" x="485.1578" y="-2377.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">JoiningOrJoined</text>
 </g>
 <g id="clust7" class="cluster">
-<title>cluster__p_main_reconnecting</title>
-<path fill="none" stroke="#000000" stroke-width="2" d="M1344,-558C1344,-558 2282,-558 2282,-558 2288,-558 2294,-564 2294,-570 2294,-570 2294,-862 2294,-862 2294,-868 2288,-874 2282,-874 2282,-874 1344,-874 1344,-874 1338,-874 1332,-868 1332,-862 1332,-862 1332,-570 1332,-570 1332,-564 1338,-558 1344,-558"/>
-<text text-anchor="start" x="1779.156" y="-855.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">reconnecting</text>
-<text text-anchor="start" x="1749.8226" y="-835.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter /input_command()</text>
-<polygon fill="#000000" stroke="#000000" points="1746,-849 1746,-849 1881,-849 1881,-849 1746,-849"/>
+<title>cluster__P_Main_Connected_JoiningOrJoined_Joined</title>
+<path fill="none" stroke="#000000" stroke-width="2" d="M126,-227C126,-227 931,-227 931,-227 937,-227 943,-233 943,-239 943,-239 943,-1681 943,-1681 943,-1687 937,-1693 931,-1693 931,-1693 126,-1693 126,-1693 120,-1693 114,-1687 114,-1681 114,-1681 114,-239 114,-239 114,-233 120,-227 126,-227"/>
+<text text-anchor="start" x="511.327" y="-1674.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Joined</text>
 </g>
 <g id="clust8" class="cluster">
-<title>cluster__p_main_disconnected</title>
-<path fill="none" stroke="#000000" stroke-width="2" d="M846,-1150C846,-1150 2041,-1150 2041,-1150 2047,-1150 2053,-1156 2053,-1162 2053,-1162 2053,-1481 2053,-1481 2053,-1487 2047,-1493 2041,-1493 2041,-1493 846,-1493 846,-1493 840,-1493 834,-1487 834,-1481 834,-1481 834,-1162 834,-1162 834,-1156 840,-1150 846,-1150"/>
-<text text-anchor="start" x="1408.6534" y="-1474.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">disconnected</text>
-<text text-anchor="start" x="1380.3226" y="-1454.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter /input_command()</text>
-<polygon fill="#000000" stroke="#000000" points="1376.5,-1468 1376.5,-1468 1511.5,-1468 1511.5,-1468 1376.5,-1468"/>
+<title>cluster__P_Main_Connected_LeavingOrLeft</title>
+<path fill="none" stroke="#000000" stroke-width="2" d="M971,-32C971,-32 2122,-32 2122,-32 2128,-32 2134,-38 2134,-44 2134,-44 2134,-820 2134,-820 2134,-826 2128,-832 2122,-832 2122,-832 971,-832 971,-832 965,-832 959,-826 959,-820 959,-820 959,-44 959,-44 959,-38 965,-32 971,-32"/>
+<text text-anchor="start" x="1509.3212" y="-813.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">LeavingOrLeft</text>
+</g>
+<g id="clust9" class="cluster">
+<title>cluster__P_Main_Connecting</title>
+<path fill="none" stroke="#000000" stroke-width="2" d="M44,-2516.5C44,-2516.5 1352,-2516.5 1352,-2516.5 1358,-2516.5 1364,-2522.5 1364,-2528.5 1364,-2528.5 1364,-3047 1364,-3047 1364,-3053 1358,-3059 1352,-3059 1352,-3059 44,-3059 44,-3059 38,-3059 32,-3053 32,-3047 32,-3047 32,-2528.5 32,-2528.5 32,-2522.5 38,-2516.5 44,-2516.5"/>
+<text text-anchor="start" x="668.1574" y="-3040.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Connecting</text>
+<text text-anchor="start" x="634.8226" y="-3020.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter /input_command()</text>
+<polygon fill="#000000" stroke="#000000" points="631,-3034 631,-3034 766,-3034 766,-3034 631,-3034"/>
 </g>
 <!-- __initial -->
 <g id="node1" class="node">
 <title>__initial</title>
-<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="16" cy="-1720.5" rx="5.5" ry="5.5"/>
+<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="16" cy="-3261.5" rx="5.5" ry="5.5"/>
 </g>
-<!-- _p -->
-<!-- __initial&#45;&gt;_p -->
+<!-- _P -->
+<!-- __initial&#45;&gt;_P -->
 <g id="edge1" class="edge">
-<title>__initial&#45;&gt;_p</title>
-<path fill="none" stroke="#000000" d="M16,-1714.6903C16,-1710.6144 16,-1704.6212 16,-1697.446"/>
-<polygon fill="#000000" stroke="#000000" points="19.5001,-1696.9982 16,-1686.9982 12.5001,-1696.9982 19.5001,-1696.9982"/>
-<text text-anchor="middle" x="17.3895" y="-1698" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+<title>__initial&#45;&gt;_P</title>
+<path fill="none" stroke="#000000" d="M16,-3255.9533C16,-3251.7779 16,-3245.5043 16,-3238.0332"/>
+<polygon fill="#000000" stroke="#000000" points="19.5001,-3237.9971 16,-3227.9971 12.5001,-3237.9972 19.5001,-3237.9971"/>
+<text text-anchor="middle" x="17.3895" y="-3239" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
 </g>
-<!-- _p_listening -->
-<!-- _p_listening_initial -->
+<!-- _P_Receiving -->
+<!-- _P_Receiving_initial -->
 <g id="node4" class="node">
-<title>_p_listening_initial</title>
-<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="2750" cy="-1593" rx="5.5" ry="5.5"/>
+<title>_P_Receiving_initial</title>
+<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="2581" cy="-3146.5" rx="5.5" ry="5.5"/>
 </g>
-<!-- _p_listening_l -->
+<!-- _P_Receiving_Receiving -->
 <g id="node5" class="node">
-<title>_p_listening_l</title>
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2778,-1435 2722,-1435 2722,-1399 2778,-1399 2778,-1435"/>
-<text text-anchor="start" x="2748.6686" y="-1413.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">l</text>
-<path fill="none" stroke="#000000" stroke-width="2" d="M2734.3333,-1400C2734.3333,-1400 2765.6667,-1400 2765.6667,-1400 2771.3333,-1400 2777,-1405.6667 2777,-1411.3333 2777,-1411.3333 2777,-1422.6667 2777,-1422.6667 2777,-1428.3333 2771.3333,-1434 2765.6667,-1434 2765.6667,-1434 2734.3333,-1434 2734.3333,-1434 2728.6667,-1434 2723,-1428.3333 2723,-1422.6667 2723,-1422.6667 2723,-1411.3333 2723,-1411.3333 2723,-1405.6667 2728.6667,-1400 2734.3333,-1400"/>
+<title>_P_Receiving_Receiving</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2618,-3013.5 2544,-3013.5 2544,-2977.5 2618,-2977.5 2618,-3013.5"/>
+<text text-anchor="start" x="2554.6642" y="-2991.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Receiving</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M2556.3333,-2978.5C2556.3333,-2978.5 2605.6667,-2978.5 2605.6667,-2978.5 2611.3333,-2978.5 2617,-2984.1667 2617,-2989.8333 2617,-2989.8333 2617,-3001.1667 2617,-3001.1667 2617,-3006.8333 2611.3333,-3012.5 2605.6667,-3012.5 2605.6667,-3012.5 2556.3333,-3012.5 2556.3333,-3012.5 2550.6667,-3012.5 2545,-3006.8333 2545,-3001.1667 2545,-3001.1667 2545,-2989.8333 2545,-2989.8333 2545,-2984.1667 2550.6667,-2978.5 2556.3333,-2978.5"/>
 </g>
-<!-- _p_listening_initial&#45;&gt;_p_listening_l -->
+<!-- _P_Receiving_initial&#45;&gt;_P_Receiving_Receiving -->
 <g id="edge2" class="edge">
-<title>_p_listening_initial&#45;&gt;_p_listening_l</title>
-<path fill="none" stroke="#000000" d="M2750,-1587.4659C2750,-1580.482 2750,-1568.1007 2750,-1557.5 2750,-1557.5 2750,-1557.5 2750,-1510.5 2750,-1488.6532 2750,-1463.9349 2750,-1445.4027"/>
-<polygon fill="#000000" stroke="#000000" points="2753.5001,-1445.2744 2750,-1435.2744 2746.5001,-1445.2745 2753.5001,-1445.2744"/>
-<text text-anchor="middle" x="2751.3895" y="-1531" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+<title>_P_Receiving_initial&#45;&gt;_P_Receiving_Receiving</title>
+<path fill="none" stroke="#000000" d="M2581,-3140.8288C2581,-3136.1736 2581,-3129.4097 2581,-3123.5 2581,-3123.5 2581,-3123.5 2581,-3076.5 2581,-3058.9043 2581,-3039.1585 2581,-3023.568"/>
+<polygon fill="#000000" stroke="#000000" points="2584.5001,-3023.5159 2581,-3013.5159 2577.5001,-3023.516 2584.5001,-3023.5159"/>
+<text text-anchor="middle" x="2582.3895" y="-3097" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
 </g>
-<!-- _p_listening_l&#45;&gt;_p_listening_l -->
+<!-- _P_Receiving_Receiving&#45;&gt;_P_Receiving_Receiving -->
 <g id="edge3" class="edge">
-<title>_p_listening_l&#45;&gt;_p_listening_l</title>
-<path fill="none" stroke="#000000" d="M2778.0183,-1423.3092C2789.888,-1423.7847 2800,-1421.6816 2800,-1417 2800,-1413.7814 2795.2205,-1411.7815 2788.3762,-1411.0004"/>
-<polygon fill="#000000" stroke="#000000" points="2788.1184,-1407.4913 2778.0183,-1410.6908 2787.9092,-1414.4881 2788.1184,-1407.4913"/>
-<text text-anchor="start" x="2800" y="-1414" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">receive_message(msg:str)/add_message(msg,&quot;remote_message&quot;) &#160;&#160;</text>
+<title>_P_Receiving_Receiving&#45;&gt;_P_Receiving_Receiving</title>
+<path fill="none" stroke="#000000" d="M2618.1626,-3001.8746C2630.3197,-3001.8417 2640,-2999.7168 2640,-2995.5 2640,-2992.5351 2635.2142,-2990.6043 2628.1467,-2989.7078"/>
+<polygon fill="#000000" stroke="#000000" points="2628.3495,-2986.2138 2618.1626,-2989.1254 2627.9418,-2993.2019 2628.3495,-2986.2138"/>
+<text text-anchor="start" x="2640" y="-2992.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">receive_message(msg:str)/add_message(msg,&quot;remote_message&quot;) &#160;&#160;</text>
 </g>
-<!-- _p_polling -->
-<!-- _p_polling_initial -->
+<!-- _P_Pinging -->
+<!-- _P_Pinging_initial -->
 <g id="node7" class="node">
-<title>_p_polling_initial</title>
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2393,-1611 2337,-1611 2337,-1575 2393,-1575 2393,-1611"/>
-<text text-anchor="start" x="2351.3362" y="-1589.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">initial</text>
-<path fill="none" stroke="#000000" stroke-width="2" d="M2349.3333,-1576C2349.3333,-1576 2380.6667,-1576 2380.6667,-1576 2386.3333,-1576 2392,-1581.6667 2392,-1587.3333 2392,-1587.3333 2392,-1598.6667 2392,-1598.6667 2392,-1604.3333 2386.3333,-1610 2380.6667,-1610 2380.6667,-1610 2349.3333,-1610 2349.3333,-1610 2343.6667,-1610 2338,-1604.3333 2338,-1598.6667 2338,-1598.6667 2338,-1587.3333 2338,-1587.3333 2338,-1581.6667 2343.6667,-1576 2349.3333,-1576"/>
-</g>
-<!-- _p_polling_initial&#45;&gt;_p_polling_initial -->
-<g id="edge4" class="edge">
-<title>_p_polling_initial&#45;&gt;_p_polling_initial</title>
-<path fill="none" stroke="#000000" d="M2393.0183,-1597.8247C2404.888,-1598.1883 2415,-1596.5801 2415,-1593 2415,-1590.5387 2410.2205,-1589.0094 2403.3762,-1588.4121"/>
-<polygon fill="#000000" stroke="#000000" points="2403.0957,-1584.9049 2393.0183,-1588.1753 2402.9356,-1591.903 2403.0957,-1584.9049"/>
-<text text-anchor="middle" x="2416.3895" y="-1590" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+<title>_P_Pinging_initial</title>
+<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="2213" cy="-3146.5" rx="5.5" ry="5.5"/>
 </g>
-<!-- _p_polling_polling -->
-<g id="node9" class="node">
-<title>_p_polling_polling</title>
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2698,-1435 2642,-1435 2642,-1399 2698,-1399 2698,-1435"/>
-<text text-anchor="start" x="2652.6642" y="-1413.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">polling</text>
-<path fill="none" stroke="#000000" stroke-width="2" d="M2654.3333,-1400C2654.3333,-1400 2685.6667,-1400 2685.6667,-1400 2691.3333,-1400 2697,-1405.6667 2697,-1411.3333 2697,-1411.3333 2697,-1422.6667 2697,-1422.6667 2697,-1428.3333 2691.3333,-1434 2685.6667,-1434 2685.6667,-1434 2654.3333,-1434 2654.3333,-1434 2648.6667,-1434 2643,-1428.3333 2643,-1422.6667 2643,-1422.6667 2643,-1411.3333 2643,-1411.3333 2643,-1405.6667 2648.6667,-1400 2654.3333,-1400"/>
+<!-- _P_Pinging_Initial -->
+<g id="node10" class="node">
+<title>_P_Pinging_Initial</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2241,-3013.5 2185,-3013.5 2185,-2977.5 2241,-2977.5 2241,-3013.5"/>
+<text text-anchor="start" x="2199.0002" y="-2991.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Initial</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M2197.3333,-2978.5C2197.3333,-2978.5 2228.6667,-2978.5 2228.6667,-2978.5 2234.3333,-2978.5 2240,-2984.1667 2240,-2989.8333 2240,-2989.8333 2240,-3001.1667 2240,-3001.1667 2240,-3006.8333 2234.3333,-3012.5 2228.6667,-3012.5 2228.6667,-3012.5 2197.3333,-3012.5 2197.3333,-3012.5 2191.6667,-3012.5 2186,-3006.8333 2186,-3001.1667 2186,-3001.1667 2186,-2989.8333 2186,-2989.8333 2186,-2984.1667 2191.6667,-2978.5 2197.3333,-2978.5"/>
 </g>
-<!-- _p_polling_initial&#45;&gt;_p_polling_polling -->
-<g id="edge8" class="edge">
-<title>_p_polling_initial&#45;&gt;_p_polling_polling</title>
-<path fill="none" stroke="#000000" d="M2393.0258,-1591.9989C2436.1874,-1589.6833 2514,-1582.0977 2514,-1557.5 2514,-1557.5 2514,-1557.5 2514,-1510.5 2514,-1485.5287 2604.338,-1507.0232 2625,-1493 2641.9698,-1481.4826 2653.4909,-1461.2546 2660.6246,-1444.5618"/>
-<polygon fill="#000000" stroke="#000000" points="2663.8907,-1445.8203 2664.3259,-1435.2344 2657.3842,-1443.2384 2663.8907,-1445.8203"/>
-<text text-anchor="start" x="2514" y="-1531" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">connected &#160;&#160;</text>
+<!-- _P_Pinging_initial&#45;&gt;_P_Pinging_Initial -->
+<g id="edge4" class="edge">
+<title>_P_Pinging_initial&#45;&gt;_P_Pinging_Initial</title>
+<path fill="none" stroke="#000000" d="M2213,-3140.8288C2213,-3136.1736 2213,-3129.4097 2213,-3123.5 2213,-3123.5 2213,-3123.5 2213,-3076.5 2213,-3058.9043 2213,-3039.1585 2213,-3023.568"/>
+<polygon fill="#000000" stroke="#000000" points="2216.5001,-3023.5159 2213,-3013.5159 2209.5001,-3023.516 2216.5001,-3023.5159"/>
+<text text-anchor="middle" x="2214.3895" y="-3097" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
 </g>
-<!-- _p_polling_expecting_answer -->
+<!-- _P_Pinging_ExpectingAnswer -->
 <g id="node8" class="node">
-<title>_p_polling_expecting_answer</title>
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2578,-1309 2460,-1309 2460,-1273 2578,-1273 2578,-1309"/>
-<text text-anchor="start" x="2470.6538" y="-1287.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">expecting_answer</text>
-<path fill="none" stroke="#000000" stroke-width="2" d="M2472.3333,-1274C2472.3333,-1274 2565.6667,-1274 2565.6667,-1274 2571.3333,-1274 2577,-1279.6667 2577,-1285.3333 2577,-1285.3333 2577,-1296.6667 2577,-1296.6667 2577,-1302.3333 2571.3333,-1308 2565.6667,-1308 2565.6667,-1308 2472.3333,-1308 2472.3333,-1308 2466.6667,-1308 2461,-1302.3333 2461,-1296.6667 2461,-1296.6667 2461,-1285.3333 2461,-1285.3333 2461,-1279.6667 2466.6667,-1274 2472.3333,-1274"/>
+<title>_P_Pinging_ExpectingAnswer</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2396,-2769.5 2282,-2769.5 2282,-2733.5 2396,-2733.5 2396,-2769.5"/>
+<text text-anchor="start" x="2292.6572" y="-2747.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">ExpectingAnswer</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M2294.3333,-2734.5C2294.3333,-2734.5 2383.6667,-2734.5 2383.6667,-2734.5 2389.3333,-2734.5 2395,-2740.1667 2395,-2745.8333 2395,-2745.8333 2395,-2757.1667 2395,-2757.1667 2395,-2762.8333 2389.3333,-2768.5 2383.6667,-2768.5 2383.6667,-2768.5 2294.3333,-2768.5 2294.3333,-2768.5 2288.6667,-2768.5 2283,-2762.8333 2283,-2757.1667 2283,-2757.1667 2283,-2745.8333 2283,-2745.8333 2283,-2740.1667 2288.6667,-2734.5 2294.3333,-2734.5"/>
 </g>
-<!-- _p_polling_expecting_answer&#45;&gt;_p_polling_initial -->
-<g id="edge6" class="edge">
-<title>_p_polling_expecting_answer&#45;&gt;_p_polling_initial</title>
-<path fill="none" stroke="#000000" d="M2459.8926,-1297.182C2407.7539,-1303.4631 2340,-1314.0254 2340,-1326.5 2340,-1557.5 2340,-1557.5 2340,-1557.5 2340,-1560.3009 2340.5267,-1563.0366 2341.4271,-1565.6669"/>
-<polygon fill="#000000" stroke="#000000" points="2338.366,-1567.3679 2346.0518,-1574.6603 2344.5912,-1564.1666 2338.366,-1567.3679"/>
-<text text-anchor="start" x="2340" y="-1414" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(2 s)^do_disconnect /print(&quot;polling timeout... disconnect&quot;) &#160;&#160;</text>
+<!-- _P_Pinging_Pinging -->
+<g id="node9" class="node">
+<title>_P_Pinging_Pinging</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="2520,-2887.5 2458,-2887.5 2458,-2851.5 2520,-2851.5 2520,-2887.5"/>
+<text text-anchor="start" x="2468.9942" y="-2865.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Pinging</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M2470.3333,-2852.5C2470.3333,-2852.5 2507.6667,-2852.5 2507.6667,-2852.5 2513.3333,-2852.5 2519,-2858.1667 2519,-2863.8333 2519,-2863.8333 2519,-2875.1667 2519,-2875.1667 2519,-2880.8333 2513.3333,-2886.5 2507.6667,-2886.5 2507.6667,-2886.5 2470.3333,-2886.5 2470.3333,-2886.5 2464.6667,-2886.5 2459,-2880.8333 2459,-2875.1667 2459,-2875.1667 2459,-2863.8333 2459,-2863.8333 2459,-2858.1667 2464.6667,-2852.5 2470.3333,-2852.5"/>
 </g>
-<!-- _p_polling_expecting_answer&#45;&gt;_p_polling_polling -->
+<!-- _P_Pinging_ExpectingAnswer&#45;&gt;_P_Pinging_Pinging -->
 <g id="edge5" class="edge">
-<title>_p_polling_expecting_answer&#45;&gt;_p_polling_polling</title>
-<path fill="none" stroke="#000000" d="M2578.284,-1294.2099C2620.2115,-1298.165 2669,-1306.9644 2669,-1326.5 2669,-1373.5 2669,-1373.5 2669,-1373.5 2669,-1378.4338 2669.0651,-1383.6815 2669.1621,-1388.7618"/>
-<polygon fill="#000000" stroke="#000000" points="2665.6639,-1388.8845 2669.3952,-1398.8005 2672.662,-1388.7219 2665.6639,-1388.8845"/>
-<text text-anchor="start" x="2669" y="-1347" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">alive &#160;&#160;</text>
+<title>_P_Pinging_ExpectingAnswer&#45;&gt;_P_Pinging_Pinging</title>
+<path fill="none" stroke="#000000" d="M2396.1365,-2754.511C2438.5264,-2758.3668 2489,-2767.1299 2489,-2787 2489,-2834 2489,-2834 2489,-2834 2489,-2836.3921 2489,-2838.8748 2489,-2841.3658"/>
+<polygon fill="#000000" stroke="#000000" points="2485.5001,-2841.4402 2489,-2851.4402 2492.5001,-2841.4403 2485.5001,-2841.4402"/>
+<text text-anchor="start" x="2489" y="-2807.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">alive &#160;&#160;</text>
 </g>
-<!-- _p_polling_polling&#45;&gt;_p_polling_expecting_answer -->
+<!-- _P_Pinging_ExpectingAnswer&#45;&gt;_P_Pinging_Initial -->
+<g id="edge6" class="edge">
+<title>_P_Pinging_ExpectingAnswer&#45;&gt;_P_Pinging_Initial</title>
+<path fill="none" stroke="#000000" d="M2281.9134,-2754.4062C2239.1528,-2758.2027 2188,-2766.9371 2188,-2787 2188,-2952 2188,-2952 2188,-2952 2188,-2957.6618 2189.6117,-2963.2528 2192.0167,-2968.444"/>
+<polygon fill="#000000" stroke="#000000" points="2189.051,-2970.3098 2197.0256,-2977.2853 2195.1415,-2966.8593 2189.051,-2970.3098"/>
+<text text-anchor="start" x="2188" y="-2866.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(2 s)^timeout /print(&quot;polling timeout... disconnect&quot;) &#160;&#160;</text>
+</g>
+<!-- _P_Pinging_Pinging&#45;&gt;_P_Pinging_ExpectingAnswer -->
 <g id="edge7" class="edge">
-<title>_p_polling_polling&#45;&gt;_p_polling_expecting_answer</title>
-<path fill="none" stroke="#000000" d="M2642.1843,-1398.8745C2636.6593,-1395.8717 2630.7765,-1393.0679 2625,-1391 2602.5225,-1382.9534 2519,-1397.3744 2519,-1373.5 2519,-1373.5 2519,-1373.5 2519,-1326.5 2519,-1324.1079 2519,-1321.6252 2519,-1319.1342"/>
-<polygon fill="#000000" stroke="#000000" points="2522.5001,-1319.0597 2519,-1309.0598 2515.5001,-1319.0598 2522.5001,-1319.0597"/>
-<text text-anchor="start" x="2519" y="-1347" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(1 s)^network.poll &#160;&#160;</text>
-</g>
-<!-- _p_main -->
-<!-- _p_main_initial -->
-<g id="node11" class="node">
-<title>_p_main_initial</title>
-<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="1504" cy="-1593" rx="5.5" ry="5.5"/>
-</g>
-<!-- _p_main_disconnected -->
-<!-- _p_main_initial&#45;&gt;_p_main_disconnected -->
+<title>_P_Pinging_Pinging&#45;&gt;_P_Pinging_ExpectingAnswer</title>
+<path fill="none" stroke="#000000" d="M2457.7781,-2856.8239C2452.2472,-2854.8573 2446.4981,-2852.9882 2441,-2851.5 2418.801,-2845.4912 2339,-2856.9979 2339,-2834 2339,-2834 2339,-2834 2339,-2787 2339,-2784.6079 2339,-2782.1252 2339,-2779.6342"/>
+<polygon fill="#000000" stroke="#000000" points="2342.5001,-2779.5597 2339,-2769.5598 2335.5001,-2779.5598 2342.5001,-2779.5597"/>
+<text text-anchor="start" x="2339" y="-2807.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(1 s)^network.poll &#160;&#160;</text>
+</g>
+<!-- _P_Pinging_Initial&#45;&gt;_P_Pinging_Pinging -->
+<g id="edge8" class="edge">
+<title>_P_Pinging_Initial&#45;&gt;_P_Pinging_Pinging</title>
+<path fill="none" stroke="#000000" d="M2241.1793,-2992.2635C2281.0145,-2986.8906 2349,-2974.4345 2349,-2952 2349,-2952 2349,-2952 2349,-2905 2349,-2884.189 2420.9618,-2893.1185 2441,-2887.5 2443.3138,-2886.8512 2445.6734,-2886.1391 2448.0435,-2885.3842"/>
+<polygon fill="#000000" stroke="#000000" points="2449.4079,-2888.6174 2457.7551,-2882.0925 2447.1608,-2881.9879 2449.4079,-2888.6174"/>
+<text text-anchor="start" x="2349" y="-2925.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">connected &#160;&#160;</text>
+</g>
+<!-- _P_Main -->
+<!-- _P_Main_initial -->
+<g id="node12" class="node">
+<title>_P_Main_initial</title>
+<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="1356" cy="-3146.5" rx="5.5" ry="5.5"/>
+</g>
+<!-- _P_Main_Connecting -->
+<!-- _P_Main_initial&#45;&gt;_P_Main_Connecting -->
 <g id="edge9" class="edge">
-<title>_p_main_initial&#45;&gt;_p_main_disconnected</title>
-<path fill="none" stroke="#000000" d="M1504,-1587.4659C1504,-1580.482 1504,-1568.1007 1504,-1557.5 1504,-1557.5 1504,-1557.5 1504,-1510.5 1504,-1508.0985 1504,-1505.6623 1504,-1503.2034"/>
-<polygon fill="#000000" stroke="#000000" points="1507.5001,-1502.998 1504,-1492.998 1500.5001,-1502.998 1507.5001,-1502.998"/>
-<text text-anchor="middle" x="1505.3895" y="-1531" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
-</g>
-<!-- _p_main_connected -->
-<!-- _p_main_reconnecting -->
-<!-- _p_main_connected&#45;&gt;_p_main_reconnecting -->
-<g id="edge24" class="edge">
-<title>_p_main_connected&#45;&gt;_p_main_reconnecting</title>
-<path fill="none" stroke="#000000" d="M1323.9984,-973.0916C1340.5443,-970.722 1377,-962.7496 1377,-938.5 1377,-938.5 1377,-938.5 1377,-891.5 1377,-871.6347 1401.9403,-885.7721 1418.7247,-879.7582"/>
-<polygon fill="#000000" stroke="#000000" points="1420.7907,-882.5846 1427,-874 1416.7925,-876.8387 1420.7907,-882.5846"/>
-<text text-anchor="start" x="1377" y="-912" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">do_disconnect/add_message(&quot;disconnected&quot;,&quot;info&quot;) &#160;&#160;</text>
-</g>
-<!-- _p_main_connected_initial -->
-<g id="node13" class="node">
-<title>_p_main_connected_initial</title>
-<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="1106" cy="-691" rx="5.5" ry="5.5"/>
-</g>
-<!-- _p_main_connected_connected -->
-<g id="node16" class="node">
-<title>_p_main_connected_connected</title>
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="954.5,-482 877.5,-482 877.5,-446 954.5,-446 954.5,-482"/>
-<text text-anchor="start" x="888.8202" y="-460.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">connected</text>
-<path fill="none" stroke="#000000" stroke-width="2" d="M889.8333,-447C889.8333,-447 942.1667,-447 942.1667,-447 947.8333,-447 953.5,-452.6667 953.5,-458.3333 953.5,-458.3333 953.5,-469.6667 953.5,-469.6667 953.5,-475.3333 947.8333,-481 942.1667,-481 942.1667,-481 889.8333,-481 889.8333,-481 884.1667,-481 878.5,-475.3333 878.5,-469.6667 878.5,-469.6667 878.5,-458.3333 878.5,-458.3333 878.5,-452.6667 884.1667,-447 889.8333,-447"/>
-</g>
-<!-- _p_main_connected_initial&#45;&gt;_p_main_connected_connected -->
-<g id="edge10" class="edge">
-<title>_p_main_connected_initial&#45;&gt;_p_main_connected_connected</title>
-<path fill="none" stroke="#000000" d="M1106.757,-685.4781C1107.6458,-678.5068 1109,-666.1385 1109,-655.5 1109,-655.5 1109,-655.5 1109,-504.5 1109,-473.8082 1001.673,-494.8422 972,-487 969.4215,-486.3185 966.804,-485.5462 964.1806,-484.7077"/>
-<polygon fill="#000000" stroke="#000000" points="965.3087,-481.3945 954.7139,-481.426 963.0159,-488.0084 965.3087,-481.3945"/>
-<text text-anchor="middle" x="1110.3895" y="-581" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+<title>_P_Main_initial&#45;&gt;_P_Main_Connecting</title>
+<path fill="none" stroke="#000000" d="M1356,-3140.8288C1356,-3136.1736 1356,-3129.4097 1356,-3123.5 1356,-3123.5 1356,-3123.5 1356,-3076.5 1356,-3074.1035 1356,-3071.6672 1356,-3069.2069"/>
+<polygon fill="#000000" stroke="#000000" points="1359.5001,-3068.9983 1356,-3058.9983 1352.5001,-3068.9984 1359.5001,-3068.9983"/>
+<text text-anchor="middle" x="1357.3895" y="-3097" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+</g>
+<!-- _P_Main_Connected -->
+<!-- _P_Main_Connected&#45;&gt;_P_Main_Connecting -->
+<g id="edge26" class="edge">
+<title>_P_Main_Connected&#45;&gt;_P_Main_Connecting</title>
+<path fill="none" stroke="#000000" d="M102,-2434.5C127.5243,-2459.1379 1379,-2416.5244 1379,-2452 1379,-2952 1379,-2952 1379,-2952 1379,-2961.3752 1374.7732,-2970.7065 1369.9435,-2978.3086"/>
+<polygon fill="#000000" stroke="#000000" points="1366.9747,-2976.4429 1363.997,-2986.6107 1372.6655,-2980.519 1366.9747,-2976.4429"/>
+<text text-anchor="start" x="1379" y="-2681.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">timeout/add_message(&quot;disconnected&quot;,&quot;info&quot;)⁏ reconnecting = true⁏ &#160;&#160;</text>
 </g>
-<!-- _p_main_connected_joining -->
+<!-- _P_Main_Connected_initial -->
 <g id="node14" class="node">
-<title>_p_main_connected_joining</title>
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1274,-78 1162,-78 1162,-32 1274,-32 1274,-78"/>
-<text text-anchor="start" x="1200.6642" y="-61.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">joining</text>
-<text text-anchor="start" x="1167.8448" y="-41.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^network.join</text>
-<polygon fill="#000000" stroke="#000000" points="1162,-55 1162,-55 1274,-55 1274,-55 1162,-55"/>
-<path fill="none" stroke="#000000" stroke-width="2" d="M1175,-33C1175,-33 1261,-33 1261,-33 1267,-33 1273,-39 1273,-45 1273,-45 1273,-65 1273,-65 1273,-71 1267,-77 1261,-77 1261,-77 1175,-77 1175,-77 1169,-77 1163,-71 1163,-65 1163,-65 1163,-45 1163,-45 1163,-39 1169,-33 1175,-33"/>
-</g>
-<!-- _p_main_connected_joined_H -->
-<g id="node21" class="node">
-<title>_p_main_connected_joined_H</title>
-<ellipse fill="transparent" stroke="#000000" stroke-width="2" cx="821" cy="-974" rx="18" ry="18"/>
-<text text-anchor="middle" x="821" y="-970.4" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">H</text>
+<title>_P_Main_Connected_initial</title>
+<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="1203" cy="-1004" rx="5.5" ry="5.5"/>
 </g>
-<!-- _p_main_connected_joining&#45;&gt;_p_main_connected_joined_H -->
-<g id="edge17" class="edge">
-<title>_p_main_connected_joining&#45;&gt;_p_main_connected_joined_H</title>
-<path fill="none" stroke="#000000" d="M1218,-78.1306C1218,-83.8105 1218,-89.875 1218,-95.5 1218,-223.5 1218,-223.5 1218,-223.5 1218,-345.3231 1087.8245,-320.4327 1041.247,-433 1032.0709,-455.1765 1025.2873,-469.0755 1041.247,-487 1051.4755,-498.4877 1097.2169,-486.4453 1110,-495 1132.1472,-509.8214 1135,-522.8509 1135,-549.5 1135,-938.5 1135,-938.5 1135,-938.5 1135,-970.2263 880.2294,-946.3697 850,-956 848.1368,-956.5936 846.272,-957.3332 844.4371,-958.1714"/>
-<polygon fill="#000000" stroke="#000000" points="842.7574,-955.1008 835.6562,-962.9636 846.1108,-961.2453 842.7574,-955.1008"/>
-<text text-anchor="start" x="1041" y="-461" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">joined/add_message(&quot;joined room &quot; + int_to_str(room_number),&quot;info&quot;) &#160;&#160;</text>
+<!-- _P_Main_Connected_LeavingOrLeft -->
+<!-- _P_Main_Connected_initial&#45;&gt;_P_Main_Connected_LeavingOrLeft -->
+<g id="edge10" class="edge">
+<title>_P_Main_Connected_initial&#45;&gt;_P_Main_Connected_LeavingOrLeft</title>
+<path fill="none" stroke="#000000" d="M1203.5047,-998.4713C1204.0972,-991.493 1205,-979.1175 1205,-968.5 1205,-968.5 1205,-968.5 1205,-849.5 1205,-847.1066 1205.0107,-844.6694 1205.0306,-842.2079"/>
+<polygon fill="#000000" stroke="#000000" points="1208.5329,-842.0435 1205.1599,-831.9999 1201.5334,-841.9548 1208.5329,-842.0435"/>
+<text text-anchor="middle" x="1206.3895" y="-906" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
 </g>
-<!-- _p_main_connected_getting_roomnumber -->
+<!-- _P_Main_Connected_H -->
 <g id="node15" class="node">
-<title>_p_main_connected_getting_roomnumber</title>
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="172,-268 40,-268 40,-232 172,-232 172,-268"/>
-<text text-anchor="start" x="50.6548" y="-246.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">getting_roomnumber</text>
-<path fill="none" stroke="#000000" stroke-width="2" d="M52.3333,-233C52.3333,-233 159.6667,-233 159.6667,-233 165.3333,-233 171,-238.6667 171,-244.3333 171,-244.3333 171,-255.6667 171,-255.6667 171,-261.3333 165.3333,-267 159.6667,-267 159.6667,-267 52.3333,-267 52.3333,-267 46.6667,-267 41,-261.3333 41,-255.6667 41,-255.6667 41,-244.3333 41,-244.3333 41,-238.6667 46.6667,-233 52.3333,-233"/>
+<title>_P_Main_Connected_H</title>
+<ellipse fill="transparent" stroke="#000000" stroke-width="2" cx="58" cy="-2353" rx="18" ry="18"/>
+<text text-anchor="middle" x="58" y="-2349.4" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">H</text>
 </g>
-<!-- _p_main_connected_getting_roomnumber&#45;&gt;_p_main_connected_joining -->
-<g id="edge19" class="edge">
-<title>_p_main_connected_getting_roomnumber&#45;&gt;_p_main_connected_joining</title>
-<path fill="none" stroke="#000000" d="M172.2761,-245.8546C265.4728,-239.5759 424,-227.0511 424,-214.5 424,-214.5 424,-214.5 424,-95.5 424,-77.3407 960.8502,-61.6618 1151.6752,-56.6623"/>
-<polygon fill="#000000" stroke="#000000" points="1151.9457,-60.1565 1161.8511,-56.3972 1151.7633,-53.1589 1151.9457,-60.1565"/>
-<text text-anchor="start" x="424" y="-152" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [is_enter(char)]/room_number = stoi(get_buffer())⁏ clear_input()⁏ input_command()⁏ &#160;&#160;</text>
+<!-- _P_Main_Connected_JoiningOrJoined -->
+<!-- _P_Main_Connected_JoiningOrJoined_initial -->
+<g id="node17" class="node">
+<title>_P_Main_Connected_JoiningOrJoined_initial</title>
+<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="398" cy="-2353" rx="5.5" ry="5.5"/>
+</g>
+<!-- _P_Main_Connected_JoiningOrJoined_Joining -->
+<g id="node18" class="node">
+<title>_P_Main_Connected_JoiningOrJoined_Joining</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="454,-2037 342,-2037 342,-1991 454,-1991 454,-2037"/>
+<text text-anchor="start" x="378.9956" y="-2020.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Joining</text>
+<text text-anchor="start" x="347.8448" y="-2000.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^network.join</text>
+<polygon fill="#000000" stroke="#000000" points="342,-2014 342,-2014 454,-2014 454,-2014 342,-2014"/>
+<path fill="none" stroke="#000000" stroke-width="2" d="M355,-1992C355,-1992 441,-1992 441,-1992 447,-1992 453,-1998 453,-2004 453,-2004 453,-2024 453,-2024 453,-2030 447,-2036 441,-2036 441,-2036 355,-2036 355,-2036 349,-2036 343,-2030 343,-2024 343,-2024 343,-2004 343,-2004 343,-1998 349,-1992 355,-1992"/>
+</g>
+<!-- _P_Main_Connected_JoiningOrJoined_initial&#45;&gt;_P_Main_Connected_JoiningOrJoined_Joining -->
+<g id="edge11" class="edge">
+<title>_P_Main_Connected_JoiningOrJoined_initial&#45;&gt;_P_Main_Connected_JoiningOrJoined_Joining</title>
+<path fill="none" stroke="#000000" d="M398,-2347.4659C398,-2340.482 398,-2328.1007 398,-2317.5 398,-2317.5 398,-2317.5 398,-2054.5 398,-2052.127 398,-2049.6757 398,-2047.2081"/>
+<polygon fill="#000000" stroke="#000000" points="401.5001,-2047.1306 398,-2037.1306 394.5001,-2047.1306 401.5001,-2047.1306"/>
+<text text-anchor="middle" x="399.3895" y="-2183" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+</g>
+<!-- _P_Main_Connected_JoiningOrJoined_Joined_H -->
+<g id="node23" class="node">
+<title>_P_Main_Connected_JoiningOrJoined_Joined_H</title>
+<ellipse fill="transparent" stroke="#000000" stroke-width="2" cx="398" cy="-1637" rx="18" ry="18"/>
+<text text-anchor="middle" x="398" y="-1633.4" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">H</text>
 </g>
-<!-- _p_main_connected_getting_roomnumber&#45;&gt;_p_main_connected_getting_roomnumber -->
+<!-- _P_Main_Connected_JoiningOrJoined_Joining&#45;&gt;_P_Main_Connected_JoiningOrJoined_Joined_H -->
 <g id="edge18" class="edge">
-<title>_p_main_connected_getting_roomnumber&#45;&gt;_p_main_connected_getting_roomnumber</title>
-<path fill="none" stroke="#000000" d="M172.0089,-251.5527C184.8682,-251.3724 194,-250.8548 194,-250 194,-249.399 189.4854,-248.9646 182.3348,-248.6971"/>
-<polygon fill="#000000" stroke="#000000" points="182.0906,-245.1902 172.0089,-248.4473 181.9213,-252.1882 182.0906,-245.1902"/>
-<text text-anchor="start" x="194" y="-247" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [is_backspace(char)]/remove_last_in_buffer() &#160;&#160;</text>
+<title>_P_Main_Connected_JoiningOrJoined_Joining&#45;&gt;_P_Main_Connected_JoiningOrJoined_Joined_H</title>
+<path fill="none" stroke="#000000" d="M398,-1990.8694C398,-1985.1895 398,-1979.125 398,-1973.5 398,-1973.5 398,-1973.5 398,-1710.5 398,-1695.5982 398,-1678.997 398,-1665.3478"/>
+<polygon fill="#000000" stroke="#000000" points="401.5001,-1665.1232 398,-1655.1232 394.5001,-1665.1233 401.5001,-1665.1232"/>
+<text text-anchor="start" x="398" y="-1839" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">joined/add_message(&quot;joined room &quot; + int_to_str(room_number),&quot;info&quot;) &#160;&#160;</text>
 </g>
-<!-- _p_main_connected_getting_roomnumber&#45;&gt;_p_main_connected_getting_roomnumber -->
-<g id="edge20" class="edge">
-<title>_p_main_connected_getting_roomnumber&#45;&gt;_p_main_connected_getting_roomnumber</title>
-<path fill="none" stroke="#000000" d="M172.1694,-252.3462C278.0035,-254.0913 467.367,-253.3092 467.367,-250 467.367,-246.7942 289.6538,-245.96 182.3277,-247.4976"/>
-<polygon fill="#000000" stroke="#000000" points="182.1144,-244.0004 172.1694,-247.6538 182.2221,-250.9995 182.1144,-244.0004"/>
-<text text-anchor="start" x="467.367" y="-247" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [is_numerical(char)]/append_to_buffer(char) &#160;&#160;</text>
+<!-- _P_Main_Connected_JoiningOrJoined_Joined -->
+<!-- _P_Main_Connected_JoiningOrJoined_Joined_initial -->
+<g id="node20" class="node">
+<title>_P_Main_Connected_JoiningOrJoined_Joined_initial</title>
+<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="805" cy="-1637" rx="5.5" ry="5.5"/>
 </g>
-<!-- _p_main_connected_getting_roomnumber&#45;&gt;_p_main_connected_getting_roomnumber -->
-<g id="edge21" class="edge">
-<title>_p_main_connected_getting_roomnumber&#45;&gt;_p_main_connected_getting_roomnumber</title>
-<path fill="none" stroke="#000000" d="M172.0865,-252.8004C335.7599,-256.3036 735.181,-255.3701 735.181,-250 735.181,-244.7374 351.5922,-243.7356 182.1949,-246.9945"/>
-<polygon fill="#000000" stroke="#000000" points="182.0134,-243.4974 172.0865,-247.1996 182.1555,-250.4959 182.0134,-243.4974"/>
-<text text-anchor="start" x="735.181" y="-247" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [not is_numerical(char)]/add_message(&quot;only numerical input allowed!&quot;,&quot;warning&quot;) &#160;&#160;</text>
+<!-- _P_Main_Connected_JoiningOrJoined_Joined_Initial -->
+<g id="node22" class="node">
+<title>_P_Main_Connected_JoiningOrJoined_Joined_Initial</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="833,-1022 777,-1022 777,-986 833,-986 833,-1022"/>
+<text text-anchor="start" x="791.0002" y="-1000.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Initial</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M789.3333,-987C789.3333,-987 820.6667,-987 820.6667,-987 826.3333,-987 832,-992.6667 832,-998.3333 832,-998.3333 832,-1009.6667 832,-1009.6667 832,-1015.3333 826.3333,-1021 820.6667,-1021 820.6667,-1021 789.3333,-1021 789.3333,-1021 783.6667,-1021 778,-1015.3333 778,-1009.6667 778,-1009.6667 778,-998.3333 778,-998.3333 778,-992.6667 783.6667,-987 789.3333,-987"/>
 </g>
-<!-- _p_main_connected_connected&#45;&gt;_p_main_connected_getting_roomnumber -->
-<g id="edge22" class="edge">
-<title>_p_main_connected_connected&#45;&gt;_p_main_connected_getting_roomnumber</title>
-<path fill="none" stroke="#000000" d="M896.4712,-445.9018C889.8201,-440.7956 882.0256,-435.8571 874,-433 854.9792,-426.2287 511,-435.6901 511,-415.5 511,-415.5 511,-415.5 511,-285.5 511,-269.1901 299.8113,-257.9239 182.44,-252.922"/>
-<polygon fill="#000000" stroke="#000000" points="182.5623,-249.4241 172.424,-252.5006 182.268,-256.418 182.5623,-249.4241"/>
-<text text-anchor="start" x="511" y="-353" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [char == &quot;j&quot;]/input_join() &#160;&#160;</text>
+<!-- _P_Main_Connected_JoiningOrJoined_Joined_initial&#45;&gt;_P_Main_Connected_JoiningOrJoined_Joined_Initial -->
+<g id="edge12" class="edge">
+<title>_P_Main_Connected_JoiningOrJoined_Joined_initial&#45;&gt;_P_Main_Connected_JoiningOrJoined_Joined_Initial</title>
+<path fill="none" stroke="#000000" d="M805,-1631.4659C805,-1624.482 805,-1612.1007 805,-1601.5 805,-1601.5 805,-1601.5 805,-1039.5 805,-1037.1079 805,-1034.6252 805,-1032.1342"/>
+<polygon fill="#000000" stroke="#000000" points="808.5001,-1032.0597 805,-1022.0598 801.5001,-1032.0598 808.5001,-1032.0597"/>
+<text text-anchor="middle" x="806.3895" y="-1323" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
 </g>
-<!-- _p_main_connected_leaving -->
-<g id="node17" class="node">
-<title>_p_main_connected_leaving</title>
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="943,-709 883,-709 883,-673 943,-673 943,-709"/>
-<text text-anchor="start" x="893.9956" y="-687.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">leaving</text>
-<path fill="none" stroke="#000000" stroke-width="2" d="M895.3333,-674C895.3333,-674 930.6667,-674 930.6667,-674 936.3333,-674 942,-679.6667 942,-685.3333 942,-685.3333 942,-696.6667 942,-696.6667 942,-702.3333 936.3333,-708 930.6667,-708 930.6667,-708 895.3333,-708 895.3333,-708 889.6667,-708 884,-702.3333 884,-696.6667 884,-696.6667 884,-685.3333 884,-685.3333 884,-679.6667 889.6667,-674 895.3333,-674"/>
+<!-- _P_Main_Connected_JoiningOrJoined_Joined_EnteringMessage -->
+<g id="node21" class="node">
+<title>_P_Main_Connected_JoiningOrJoined_Joined_EnteringMessage</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="340.5,-281 231.5,-281 231.5,-235 340.5,-235 340.5,-281"/>
+<text text-anchor="start" x="239.8218" y="-264.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">EnteringMessage</text>
+<text text-anchor="start" x="237.8262" y="-244.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter /input_msg()</text>
+<polygon fill="#000000" stroke="#000000" points="232,-258 232,-258 341,-258 341,-258 232,-258"/>
+<path fill="none" stroke="#000000" stroke-width="2" d="M244.5,-236C244.5,-236 327.5,-236 327.5,-236 333.5,-236 339.5,-242 339.5,-248 339.5,-248 339.5,-268 339.5,-268 339.5,-274 333.5,-280 327.5,-280 327.5,-280 244.5,-280 244.5,-280 238.5,-280 232.5,-274 232.5,-268 232.5,-268 232.5,-248 232.5,-248 232.5,-242 238.5,-236 244.5,-236"/>
+</g>
+<!-- _P_Main_Connected_JoiningOrJoined_Joined_EnteringMessage&#45;&gt;_P_Main_Connected_JoiningOrJoined_Joined_EnteringMessage -->
+<g id="edge13" class="edge">
+<title>_P_Main_Connected_JoiningOrJoined_Joined_EnteringMessage&#45;&gt;_P_Main_Connected_JoiningOrJoined_Joined_EnteringMessage</title>
+<path fill="none" stroke="#000000" d="M340.6677,-260.7505C353.2542,-260.5135 362.5,-259.5967 362.5,-258 362.5,-256.8773 357.929,-256.0908 350.8398,-255.6403"/>
+<polygon fill="#000000" stroke="#000000" points="350.7947,-252.1361 340.6677,-255.2495 350.5259,-259.1309 350.7947,-252.1361"/>
+<text text-anchor="start" x="362.5" y="-255" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [is_backspace(char)]/remove_last_in_buffer() &#160;&#160;</text>
 </g>
-<!-- _p_main_connected_leaving&#45;&gt;_p_main_connected_connected -->
-<g id="edge23" class="edge">
-<title>_p_main_connected_leaving&#45;&gt;_p_main_connected_connected</title>
-<path fill="none" stroke="#000000" d="M902.8256,-672.733C900.6543,-667.3469 899,-661.3301 899,-655.5 899,-655.5 899,-655.5 899,-504.5 899,-500.2106 899.8208,-495.8509 901.1016,-491.6588"/>
-<polygon fill="#000000" stroke="#000000" points="904.3813,-492.8818 904.7554,-482.2936 897.8601,-490.3375 904.3813,-492.8818"/>
-<text text-anchor="start" x="899" y="-581" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">left/add_message(&quot;left room&quot;,&quot;info&quot;) &#160;&#160;</text>
-</g>
-<!-- _p_main_connected_joined -->
-<!-- _p_main_connected_joined_initial -->
-<g id="node19" class="node">
-<title>_p_main_connected_joined_initial</title>
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="759,-992 703,-992 703,-956 759,-956 759,-992"/>
-<text text-anchor="start" x="717.3362" y="-970.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">initial</text>
-<path fill="none" stroke="#000000" stroke-width="2" d="M715.3333,-957C715.3333,-957 746.6667,-957 746.6667,-957 752.3333,-957 758,-962.6667 758,-968.3333 758,-968.3333 758,-979.6667 758,-979.6667 758,-985.3333 752.3333,-991 746.6667,-991 746.6667,-991 715.3333,-991 715.3333,-991 709.6667,-991 704,-985.3333 704,-979.6667 704,-979.6667 704,-968.3333 704,-968.3333 704,-962.6667 709.6667,-957 715.3333,-957"/>
-</g>
-<!-- _p_main_connected_joined_initial&#45;&gt;_p_main_connected_leaving -->
+<!-- _P_Main_Connected_JoiningOrJoined_Joined_EnteringMessage&#45;&gt;_P_Main_Connected_JoiningOrJoined_Joined_EnteringMessage -->
+<g id="edge15" class="edge">
+<title>_P_Main_Connected_JoiningOrJoined_Joined_EnteringMessage&#45;&gt;_P_Main_Connected_JoiningOrJoined_Joined_EnteringMessage</title>
+<path fill="none" stroke="#000000" d="M340.5541,-261.7954C440.4251,-265.1538 635.867,-263.8887 635.867,-258 635.867,-252.3069 453.1882,-250.9353 350.8076,-253.8853"/>
+<polygon fill="#000000" stroke="#000000" points="350.4403,-250.395 340.5541,-254.2046 350.6582,-257.3916 350.4403,-250.395"/>
+<text text-anchor="start" x="635.867" y="-255" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str)/append_to_buffer(char) &#160;&#160;</text>
+</g>
+<!-- _P_Main_Connected_JoiningOrJoined_Joined_EnteringMessage&#45;&gt;_P_Main_Connected_JoiningOrJoined_Joined_Initial -->
+<g id="edge14" class="edge">
+<title>_P_Main_Connected_JoiningOrJoined_Joined_EnteringMessage&#45;&gt;_P_Main_Connected_JoiningOrJoined_Joined_Initial</title>
+<path fill="none" stroke="#000000" d="M231.0991,-263.4698C191.1403,-269.0289 144,-279.5935 144,-298.5 144,-968.5 144,-968.5 144,-968.5 144,-984.1806 624.7051,-998.9339 766.2408,-1002.9379"/>
+<polygon fill="#000000" stroke="#000000" points="766.5033,-1006.4466 776.5977,-1003.2288 766.6999,-999.4493 766.5033,-1006.4466"/>
+<text text-anchor="start" x="144" y="-606" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [is_enter(char)]^network.send_message /add_message(get_buffer(),&quot;local_message&quot;)⁏ clear_input()⁏ input_command()⁏ &#160;&#160;</text>
+</g>
+<!-- _P_Main_Connected_JoiningOrJoined_Joined_Initial&#45;&gt;_P_Main_Connected_JoiningOrJoined_Joined_EnteringMessage -->
 <g id="edge16" class="edge">
-<title>_p_main_connected_joined_initial&#45;&gt;_p_main_connected_leaving</title>
-<path fill="none" stroke="#000000" d="M759.2996,-966.3989C780.9075,-959.7329 807,-949.4222 807,-938.5 807,-938.5 807,-938.5 807,-726.5 807,-698.3681 838.7709,-715.7144 873.2222,-708.2982"/>
-<polygon fill="#000000" stroke="#000000" points="874.3423,-711.618 882.9861,-705.4914 872.4083,-704.8905 874.3423,-711.618"/>
-<text text-anchor="start" x="807" y="-795" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [char == &quot;l&quot;]^network.leave /input_command() &#160;&#160;</text>
+<title>_P_Main_Connected_JoiningOrJoined_Joined_Initial&#45;&gt;_P_Main_Connected_JoiningOrJoined_Joined_EnteringMessage</title>
+<path fill="none" stroke="#000000" d="M805,-985.9402C805,-980.3497 805,-974.1701 805,-968.5 805,-968.5 805,-968.5 805,-298.5 805,-275.9611 489.7863,-263.9549 350.667,-259.7535"/>
+<polygon fill="#000000" stroke="#000000" points="350.6609,-256.2519 340.5612,-259.4527 350.4526,-263.2488 350.6609,-256.2519"/>
+<text text-anchor="start" x="805" y="-606" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [char == &quot;m&quot;] &#160;&#160;</text>
 </g>
-<!-- _p_main_connected_joined_initial&#45;&gt;_p_main_connected_joined_initial -->
-<g id="edge11" class="edge">
-<title>_p_main_connected_joined_initial&#45;&gt;_p_main_connected_joined_initial</title>
-<path fill="none" stroke="#000000" d="M759.0183,-978.8247C770.888,-979.1883 781,-977.5801 781,-974 781,-971.5387 776.2205,-970.0094 769.3762,-969.4121"/>
-<polygon fill="#000000" stroke="#000000" points="769.0957,-965.9049 759.0183,-969.1753 768.9356,-972.903 769.0957,-965.9049"/>
-<text text-anchor="middle" x="782.3895" y="-971" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+<!-- _P_Main_Connected_LeavingOrLeft_Leaving -->
+<g id="node26" class="node">
+<title>_P_Main_Connected_LeavingOrLeft_Leaving</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1031,-794 967,-794 967,-758 1031,-758 1031,-794"/>
+<text text-anchor="start" x="977.9916" y="-772.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Leaving</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M979.3333,-759C979.3333,-759 1018.6667,-759 1018.6667,-759 1024.3333,-759 1030,-764.6667 1030,-770.3333 1030,-770.3333 1030,-781.6667 1030,-781.6667 1030,-787.3333 1024.3333,-793 1018.6667,-793 1018.6667,-793 979.3333,-793 979.3333,-793 973.6667,-793 968,-787.3333 968,-781.6667 968,-781.6667 968,-770.3333 968,-770.3333 968,-764.6667 973.6667,-759 979.3333,-759"/>
 </g>
-<!-- _p_main_connected_joined_entering_message -->
-<g id="node20" class="node">
-<title>_p_main_connected_joined_entering_message</title>
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="264,-487 154,-487 154,-441 264,-441 264,-487"/>
-<text text-anchor="start" x="159.6524" y="-470.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">entering_message</text>
-<text text-anchor="start" x="160" y="-450.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter /input_msg()</text>
-<polygon fill="#000000" stroke="#000000" points="154,-464 154,-464 264,-464 264,-464 154,-464"/>
-<path fill="none" stroke="#000000" stroke-width="2" d="M167,-442C167,-442 251,-442 251,-442 257,-442 263,-448 263,-454 263,-454 263,-474 263,-474 263,-480 257,-486 251,-486 251,-486 167,-486 167,-486 161,-486 155,-480 155,-474 155,-474 155,-454 155,-454 155,-448 161,-442 167,-442"/>
-</g>
-<!-- _p_main_connected_joined_initial&#45;&gt;_p_main_connected_joined_entering_message -->
-<g id="edge15" class="edge">
-<title>_p_main_connected_joined_initial&#45;&gt;_p_main_connected_joined_entering_message</title>
-<path fill="none" stroke="#000000" d="M731,-955.9402C731,-950.3497 731,-944.1701 731,-938.5 731,-938.5 731,-938.5 731,-504.5 731,-480.3682 346.2174,-490.7024 274.1419,-487.0528"/>
-<polygon fill="#000000" stroke="#000000" points="274.3833,-483.5603 264.1029,-486.1221 273.7371,-490.5304 274.3833,-483.5603"/>
-<text text-anchor="start" x="731" y="-688" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [char == &quot;m&quot;] &#160;&#160;</text>
+<!-- _P_Main_Connected_JoiningOrJoined_Joined_Initial&#45;&gt;_P_Main_Connected_LeavingOrLeft_Leaving -->
+<g id="edge17" class="edge">
+<title>_P_Main_Connected_JoiningOrJoined_Joined_Initial&#45;&gt;_P_Main_Connected_LeavingOrLeft_Leaving</title>
+<path fill="none" stroke="#000000" d="M833.2431,-987.9863C848.8052,-979.0487 865,-969.5061 865,-968.5 865,-968.5 865,-968.5 865,-849.5 865,-844.7287 866.0467,-842.6714 870,-840 898.8742,-820.4884 916.8853,-847.6938 948,-832 961.3791,-825.2518 972.9525,-813.4154 981.6768,-802.3577"/>
+<polygon fill="#000000" stroke="#000000" points="984.6202,-804.2648 987.7757,-794.1507 979.0017,-800.0895 984.6202,-804.2648"/>
+<text text-anchor="start" x="865" y="-906" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [char == &quot;l&quot;]^network.leave /input_command() &#160;&#160;</text>
+</g>
+<!-- _P_Main_Connected_LeavingOrLeft_initial -->
+<g id="node25" class="node">
+<title>_P_Main_Connected_LeavingOrLeft_initial</title>
+<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="1179" cy="-776" rx="5.5" ry="5.5"/>
+</g>
+<!-- _P_Main_Connected_LeavingOrLeft_NotJoined -->
+<g id="node28" class="node">
+<title>_P_Main_Connected_LeavingOrLeft_NotJoined</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1070,-460 994,-460 994,-424 1070,-424 1070,-460"/>
+<text text-anchor="start" x="1004.9928" y="-438.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">NotJoined</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M1006.3333,-425C1006.3333,-425 1057.6667,-425 1057.6667,-425 1063.3333,-425 1069,-430.6667 1069,-436.3333 1069,-436.3333 1069,-447.6667 1069,-447.6667 1069,-453.3333 1063.3333,-459 1057.6667,-459 1057.6667,-459 1006.3333,-459 1006.3333,-459 1000.6667,-459 995,-453.3333 995,-447.6667 995,-447.6667 995,-436.3333 995,-436.3333 995,-430.6667 1000.6667,-425 1006.3333,-425"/>
+</g>
+<!-- _P_Main_Connected_LeavingOrLeft_initial&#45;&gt;_P_Main_Connected_LeavingOrLeft_NotJoined -->
+<g id="edge19" class="edge">
+<title>_P_Main_Connected_LeavingOrLeft_initial&#45;&gt;_P_Main_Connected_LeavingOrLeft_NotJoined</title>
+<path fill="none" stroke="#000000" d="M1182.9063,-771.81C1189.9375,-764.087 1204,-747.7366 1204,-740.5 1204,-740.5 1204,-740.5 1204,-477.5 1204,-464.8062 1131.2187,-453.6053 1080.3443,-447.3263"/>
+<polygon fill="#000000" stroke="#000000" points="1080.5195,-443.8222 1070.1724,-446.0998 1079.6814,-450.7718 1080.5195,-443.8222"/>
+<text text-anchor="middle" x="1205.3895" y="-606" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
 </g>
-<!-- _p_main_connected_joined_entering_message&#45;&gt;_p_main_connected_joined_initial -->
-<g id="edge13" class="edge">
-<title>_p_main_connected_joined_entering_message&#45;&gt;_p_main_connected_joined_initial</title>
-<path fill="none" stroke="#000000" d="M153.6641,-469.9022C114.9015,-475.6312 70,-486.214 70,-504.5 70,-938.5 70,-938.5 70,-938.5 70,-954.1806 550.7051,-968.9339 692.2408,-972.9379"/>
-<polygon fill="#000000" stroke="#000000" points="692.5033,-976.4466 702.5977,-973.2288 692.6999,-969.4493 692.5033,-976.4466"/>
-<text text-anchor="start" x="70" y="-688" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [is_enter(char)]^network.send_message /add_message(get_buffer(),&quot;local_message&quot;)⁏ clear_input()⁏ input_command()⁏ &#160;&#160;</text>
+<!-- _P_Main_Connected_LeavingOrLeft_Leaving&#45;&gt;_P_Main_Connected_LeavingOrLeft_NotJoined -->
+<g id="edge20" class="edge">
+<title>_P_Main_Connected_LeavingOrLeft_Leaving&#45;&gt;_P_Main_Connected_LeavingOrLeft_NotJoined</title>
+<path fill="none" stroke="#000000" d="M995.4194,-757.6439C994.618,-752.1523 994,-746.1016 994,-740.5 994,-740.5 994,-740.5 994,-477.5 994,-474.3683 994.6977,-471.4336 995.9039,-468.6999"/>
+<polygon fill="#000000" stroke="#000000" points="998.9639,-470.424 1001.6899,-460.1859 993.1743,-466.4895 998.9639,-470.424"/>
+<text text-anchor="start" x="994" y="-606" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">left/add_message(&quot;left room&quot;,&quot;info&quot;) &#160;&#160;</text>
 </g>
-<!-- _p_main_connected_joined_entering_message&#45;&gt;_p_main_connected_joined_entering_message -->
-<g id="edge12" class="edge">
-<title>_p_main_connected_joined_entering_message&#45;&gt;_p_main_connected_joined_entering_message</title>
-<path fill="none" stroke="#000000" d="M264.025,-466.7505C276.6938,-466.5135 286,-465.5967 286,-464 286,-462.8773 281.3992,-462.0908 274.2635,-461.6403"/>
-<polygon fill="#000000" stroke="#000000" points="274.1513,-458.1336 264.025,-461.2495 273.8842,-465.1285 274.1513,-458.1336"/>
-<text text-anchor="start" x="286" y="-461" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [is_backspace(char)]/remove_last_in_buffer() &#160;&#160;</text>
+<!-- _P_Main_Connected_LeavingOrLeft_GettingRoomNumber -->
+<g id="node27" class="node">
+<title>_P_Main_Connected_LeavingOrLeft_GettingRoomNumber</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1102.5,-76 967.5,-76 967.5,-40 1102.5,-40 1102.5,-76"/>
+<text text-anchor="start" x="978.8282" y="-54.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">GettingRoomNumber</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M979.8333,-41C979.8333,-41 1090.1667,-41 1090.1667,-41 1095.8333,-41 1101.5,-46.6667 1101.5,-52.3333 1101.5,-52.3333 1101.5,-63.6667 1101.5,-63.6667 1101.5,-69.3333 1095.8333,-75 1090.1667,-75 1090.1667,-75 979.8333,-75 979.8333,-75 974.1667,-75 968.5,-69.3333 968.5,-63.6667 968.5,-63.6667 968.5,-52.3333 968.5,-52.3333 968.5,-46.6667 974.1667,-41 979.8333,-41"/>
 </g>
-<!-- _p_main_connected_joined_entering_message&#45;&gt;_p_main_connected_joined_entering_message -->
-<g id="edge14" class="edge">
-<title>_p_main_connected_joined_entering_message&#45;&gt;_p_main_connected_joined_entering_message</title>
-<path fill="none" stroke="#000000" d="M264.0533,-467.8079C364.206,-471.1507 559.367,-469.8813 559.367,-464 559.367,-458.3139 376.9508,-456.9387 274.3331,-459.8743"/>
-<polygon fill="#000000" stroke="#000000" points="273.9404,-456.3847 264.0533,-460.1921 274.1567,-463.3814 273.9404,-456.3847"/>
-<text text-anchor="start" x="559.367" y="-461" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str)/append_to_buffer(char) &#160;&#160;</text>
+<!-- _P_Main_Connected_LeavingOrLeft_GettingRoomNumber&#45;&gt;_P_Main_Connected_JoiningOrJoined -->
+<g id="edge22" class="edge">
+<title>_P_Main_Connected_LeavingOrLeft_GettingRoomNumber&#45;&gt;_P_Main_Connected_JoiningOrJoined</title>
+<path fill="none" stroke="#000000" d="M1102.5206,-63.9C1159.5481,-69.8272 1232,-80.0118 1232,-93.5 1232,-2317.5 1232,-2317.5 1232,-2317.5 1232,-2346.2142 1004.3454,-2351.9227 953.1426,-2352.8435"/>
+<polygon fill="#000000" stroke="#000000" points="960.7195,-2348.7826 951,-2352.9994 961.2278,-2355.7641 960.7195,-2348.7826"/>
+<text text-anchor="start" x="1232" y="-1240" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [is_enter(char)]/room_number = stoi(get_buffer())⁏ clear_input()⁏ input_command()⁏ &#160;&#160;</text>
 </g>
-<!-- _p_main_reconnecting_initial -->
-<g id="node23" class="node">
-<title>_p_main_reconnecting_initial</title>
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1396,-816 1340,-816 1340,-780 1396,-780 1396,-816"/>
-<text text-anchor="start" x="1354.3362" y="-794.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">initial</text>
-<path fill="none" stroke="#000000" stroke-width="2" d="M1352.3333,-781C1352.3333,-781 1383.6667,-781 1383.6667,-781 1389.3333,-781 1395,-786.6667 1395,-792.3333 1395,-792.3333 1395,-803.6667 1395,-803.6667 1395,-809.3333 1389.3333,-815 1383.6667,-815 1383.6667,-815 1352.3333,-815 1352.3333,-815 1346.6667,-815 1341,-809.3333 1341,-803.6667 1341,-803.6667 1341,-792.3333 1341,-792.3333 1341,-786.6667 1346.6667,-781 1352.3333,-781"/>
+<!-- _P_Main_Connected_LeavingOrLeft_GettingRoomNumber&#45;&gt;_P_Main_Connected_LeavingOrLeft_GettingRoomNumber -->
+<g id="edge21" class="edge">
+<title>_P_Main_Connected_LeavingOrLeft_GettingRoomNumber&#45;&gt;_P_Main_Connected_LeavingOrLeft_GettingRoomNumber</title>
+<path fill="none" stroke="#000000" d="M1102.5214,-59.5472C1115.3956,-59.3621 1124.5,-58.8464 1124.5,-58 1124.5,-57.4049 1119.9989,-56.9733 1112.8511,-56.7051"/>
+<polygon fill="#000000" stroke="#000000" points="1112.6039,-53.1981 1102.5214,-56.4528 1112.4329,-60.196 1112.6039,-53.1981"/>
+<text text-anchor="start" x="1124.5" y="-55" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [is_backspace(char)]/remove_last_in_buffer() &#160;&#160;</text>
 </g>
-<!-- _p_main_reconnecting_initial&#45;&gt;_p_main_reconnecting_initial -->
-<g id="edge25" class="edge">
-<title>_p_main_reconnecting_initial&#45;&gt;_p_main_reconnecting_initial</title>
-<path fill="none" stroke="#000000" d="M1396.0183,-802.8247C1407.888,-803.1883 1418,-801.5801 1418,-798 1418,-795.5387 1413.2205,-794.0094 1406.3762,-793.4121"/>
-<polygon fill="#000000" stroke="#000000" points="1406.0957,-789.9049 1396.0183,-793.1753 1405.9356,-796.903 1406.0957,-789.9049"/>
-<text text-anchor="middle" x="1419.3895" y="-795" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
-</g>
-<!-- _p_main_reconnecting_trying_connect -->
-<g id="node24" class="node">
-<title>_p_main_reconnecting_trying_connect</title>
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1440,-602 1340,-602 1340,-566 1440,-566 1440,-602"/>
-<text text-anchor="start" x="1350.9886" y="-580.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">trying_connect</text>
-<path fill="none" stroke="#000000" stroke-width="2" d="M1352.3333,-567C1352.3333,-567 1427.6667,-567 1427.6667,-567 1433.3333,-567 1439,-572.6667 1439,-578.3333 1439,-578.3333 1439,-589.6667 1439,-589.6667 1439,-595.3333 1433.3333,-601 1427.6667,-601 1427.6667,-601 1352.3333,-601 1352.3333,-601 1346.6667,-601 1341,-595.3333 1341,-589.6667 1341,-589.6667 1341,-578.3333 1341,-578.3333 1341,-572.6667 1346.6667,-567 1352.3333,-567"/>
-</g>
-<!-- _p_main_reconnecting_initial&#45;&gt;_p_main_reconnecting_trying_connect -->
-<g id="edge28" class="edge">
-<title>_p_main_reconnecting_initial&#45;&gt;_p_main_reconnecting_trying_connect</title>
-<path fill="none" stroke="#000000" d="M1396.1622,-787.8467C1405.8151,-784.7872 1416.7646,-781.7734 1427,-780 1447.3858,-776.4679 1799,-783.1895 1799,-762.5 1799,-762.5 1799,-762.5 1799,-619.5 1799,-602.2209 1564.252,-590.7476 1450.4456,-586.2006"/>
-<polygon fill="#000000" stroke="#000000" points="1450.2815,-582.6915 1440.1514,-585.7951 1450.0059,-589.6861 1450.2815,-582.6915"/>
-<text text-anchor="start" x="1799" y="-688" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(100 ms)/add_message(&quot;trying to connect to server &quot; + get_server(curr_server),&quot;info&quot;) ^network.connect &#160;&#160;</text>
+<!-- _P_Main_Connected_LeavingOrLeft_GettingRoomNumber&#45;&gt;_P_Main_Connected_LeavingOrLeft_GettingRoomNumber -->
+<g id="edge23" class="edge">
+<title>_P_Main_Connected_LeavingOrLeft_GettingRoomNumber&#45;&gt;_P_Main_Connected_LeavingOrLeft_GettingRoomNumber</title>
+<path fill="none" stroke="#000000" d="M1102.8153,-60.3662C1209.3749,-62.0853 1397.867,-61.2965 1397.867,-58 1397.867,-54.8065 1220.9716,-53.9665 1113.0371,-55.48"/>
+<polygon fill="#000000" stroke="#000000" points="1112.7615,-51.9837 1102.8153,-55.6338 1112.8669,-58.9829 1112.7615,-51.9837"/>
+<text text-anchor="start" x="1397.867" y="-55" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [is_numerical(char)]/append_to_buffer(char) &#160;&#160;</text>
 </g>
-<!-- _p_main_reconnecting_trying_connect&#45;&gt;_p_main_connected_joining -->
-<g id="edge26" class="edge">
-<title>_p_main_reconnecting_trying_connect&#45;&gt;_p_main_connected_joining</title>
-<path fill="none" stroke="#000000" d="M1373.3866,-565.8819C1368.291,-558.545 1364,-549.6502 1364,-540.5 1364,-540.5 1364,-540.5 1364,-95.5 1364,-77.6315 1322.8801,-67.3221 1284.285,-61.5811"/>
-<polygon fill="#000000" stroke="#000000" points="1284.4178,-58.0658 1274.0299,-60.1493 1283.4498,-64.9985 1284.4178,-58.0658"/>
-<text text-anchor="start" x="1364" y="-306" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">connected/add_message(&quot;connected to server&quot; + get_server(curr_server),&quot;info&quot;) &#160;&#160;</text>
+<!-- _P_Main_Connected_LeavingOrLeft_GettingRoomNumber&#45;&gt;_P_Main_Connected_LeavingOrLeft_GettingRoomNumber -->
+<g id="edge24" class="edge">
+<title>_P_Main_Connected_LeavingOrLeft_GettingRoomNumber&#45;&gt;_P_Main_Connected_LeavingOrLeft_GettingRoomNumber</title>
+<path fill="none" stroke="#000000" d="M1102.5531,-60.8252C1267.4668,-64.2992 1665.681,-63.3574 1665.681,-58 1665.681,-52.7498 1283.2513,-51.7403 1112.7331,-54.9715"/>
+<polygon fill="#000000" stroke="#000000" points="1112.4812,-51.4757 1102.5531,-55.1748 1112.6211,-58.4743 1112.4812,-51.4757"/>
+<text text-anchor="start" x="1665.681" y="-55" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [not is_numerical(char)]/add_message(&quot;only numerical input allowed!&quot;,&quot;warning&quot;) &#160;&#160;</text>
 </g>
-<!-- _p_main_reconnecting_trying_connect&#45;&gt;_p_main_reconnecting_initial -->
+<!-- _P_Main_Connected_LeavingOrLeft_NotJoined&#45;&gt;_P_Main_Connected_LeavingOrLeft_GettingRoomNumber -->
+<g id="edge25" class="edge">
+<title>_P_Main_Connected_LeavingOrLeft_NotJoined&#45;&gt;_P_Main_Connected_LeavingOrLeft_GettingRoomNumber</title>
+<path fill="none" stroke="#000000" d="M1032,-423.9402C1032,-418.3497 1032,-412.1701 1032,-406.5 1032,-406.5 1032,-406.5 1032,-93.5 1032,-91.0994 1032.069,-88.6107 1032.186,-86.1158"/>
+<polygon fill="#000000" stroke="#000000" points="1035.6848,-86.2528 1032.8839,-76.0349 1028.7015,-85.7692 1035.6848,-86.2528"/>
+<text text-anchor="start" x="1032" y="-255" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">input(char:str) [char == &quot;j&quot;]/input_join() &#160;&#160;</text>
+</g>
+<!-- _P_Main_Connecting_initial -->
+<g id="node30" class="node">
+<title>_P_Main_Connecting_initial</title>
+<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="468" cy="-2995.5" rx="5.5" ry="5.5"/>
+</g>
+<!-- _P_Main_Connecting_Initial -->
+<g id="node32" class="node">
+<title>_P_Main_Connecting_Initial</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="496,-2769.5 440,-2769.5 440,-2733.5 496,-2733.5 496,-2769.5"/>
+<text text-anchor="start" x="454.0002" y="-2747.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">Initial</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M452.3333,-2734.5C452.3333,-2734.5 483.6667,-2734.5 483.6667,-2734.5 489.3333,-2734.5 495,-2740.1667 495,-2745.8333 495,-2745.8333 495,-2757.1667 495,-2757.1667 495,-2762.8333 489.3333,-2768.5 483.6667,-2768.5 483.6667,-2768.5 452.3333,-2768.5 452.3333,-2768.5 446.6667,-2768.5 441,-2762.8333 441,-2757.1667 441,-2757.1667 441,-2745.8333 441,-2745.8333 441,-2740.1667 446.6667,-2734.5 452.3333,-2734.5"/>
+</g>
+<!-- _P_Main_Connecting_initial&#45;&gt;_P_Main_Connecting_Initial -->
 <g id="edge27" class="edge">
-<title>_p_main_reconnecting_trying_connect&#45;&gt;_p_main_reconnecting_initial</title>
-<path fill="none" stroke="#000000" d="M1368.4941,-602.362C1364.7344,-607.3987 1362,-613.2204 1362,-619.5 1362,-762.5 1362,-762.5 1362,-762.5 1362,-764.7854 1362.1224,-767.1421 1362.3322,-769.5031"/>
-<polygon fill="#000000" stroke="#000000" points="1358.8986,-770.2313 1363.7033,-779.6741 1365.8359,-769.2961 1358.8986,-770.2313"/>
-<text text-anchor="start" x="1362" y="-688" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(5 s)/add_message(&quot;unable to connect to server &quot; + get_server(curr_server),&quot;info&quot;) &#160;&#160;</text>
-</g>
-<!-- _p_main_disconnected_initial -->
-<g id="node26" class="node">
-<title>_p_main_disconnected_initial</title>
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1242,-1435 1186,-1435 1186,-1399 1242,-1399 1242,-1435"/>
-<text text-anchor="start" x="1200.3362" y="-1413.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">initial</text>
-<path fill="none" stroke="#000000" stroke-width="2" d="M1198.3333,-1400C1198.3333,-1400 1229.6667,-1400 1229.6667,-1400 1235.3333,-1400 1241,-1405.6667 1241,-1411.3333 1241,-1411.3333 1241,-1422.6667 1241,-1422.6667 1241,-1428.3333 1235.3333,-1434 1229.6667,-1434 1229.6667,-1434 1198.3333,-1434 1198.3333,-1434 1192.6667,-1434 1187,-1428.3333 1187,-1422.6667 1187,-1422.6667 1187,-1411.3333 1187,-1411.3333 1187,-1405.6667 1192.6667,-1400 1198.3333,-1400"/>
+<title>_P_Main_Connecting_initial&#45;&gt;_P_Main_Connecting_Initial</title>
+<path fill="none" stroke="#000000" d="M468,-2989.869C468,-2981.577 468,-2965.5938 468,-2952 468,-2952 468,-2952 468,-2787 468,-2784.6079 468,-2782.1252 468,-2779.6342"/>
+<polygon fill="#000000" stroke="#000000" points="471.5001,-2779.5597 468,-2769.5598 464.5001,-2779.5598 471.5001,-2779.5597"/>
+<text text-anchor="middle" x="469.3895" y="-2866.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+</g>
+<!-- _P_Main_Connecting_TryingConnect -->
+<g id="node31" class="node">
+<title>_P_Main_Connecting_TryingConnect</title>
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="140,-2560.5 40,-2560.5 40,-2524.5 140,-2524.5 140,-2560.5"/>
+<text text-anchor="start" x="50.9946" y="-2538.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">TryingConnect</text>
+<path fill="none" stroke="#000000" stroke-width="2" d="M52.3333,-2525.5C52.3333,-2525.5 127.6667,-2525.5 127.6667,-2525.5 133.3333,-2525.5 139,-2531.1667 139,-2536.8333 139,-2536.8333 139,-2548.1667 139,-2548.1667 139,-2553.8333 133.3333,-2559.5 127.6667,-2559.5 127.6667,-2559.5 52.3333,-2559.5 52.3333,-2559.5 46.6667,-2559.5 41,-2553.8333 41,-2548.1667 41,-2548.1667 41,-2536.8333 41,-2536.8333 41,-2531.1667 46.6667,-2525.5 52.3333,-2525.5"/>
+</g>
+<!-- _P_Main_Connecting_TryingConnect&#45;&gt;_P_Main_Connected_H -->
+<g id="edge28" class="edge">
+<title>_P_Main_Connecting_TryingConnect&#45;&gt;_P_Main_Connected_H</title>
+<path fill="none" stroke="#000000" d="M80.1403,-2524.4076C76.8477,-2516.7904 74,-2507.6905 74,-2499 74,-2499 74,-2499 74,-2452 74,-2427.6491 69.2242,-2400.3556 64.891,-2380.6033"/>
+<polygon fill="#000000" stroke="#000000" points="68.2767,-2379.7084 62.6279,-2370.7451 61.4542,-2381.2747 68.2767,-2379.7084"/>
+<text text-anchor="start" x="74" y="-2472.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">connected/add_message(&quot;connected to server &quot; + get_server(curr_server),&quot;info&quot;) &#160;&#160;</text>
 </g>
-<!-- _p_main_disconnected_initial&#45;&gt;_p_main_disconnected_initial -->
+<!-- _P_Main_Connecting_TryingConnect&#45;&gt;_P_Main_Connecting_Initial -->
 <g id="edge29" class="edge">
-<title>_p_main_disconnected_initial&#45;&gt;_p_main_disconnected_initial</title>
-<path fill="none" stroke="#000000" d="M1242.0183,-1423.3092C1253.888,-1423.7847 1264,-1421.6816 1264,-1417 1264,-1413.7814 1259.2205,-1411.7815 1252.3762,-1411.0004"/>
-<polygon fill="#000000" stroke="#000000" points="1252.1184,-1407.4913 1242.0183,-1410.6908 1251.9092,-1414.4881 1252.1184,-1407.4913"/>
-<text text-anchor="middle" x="1265.3895" y="-1414" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
+<title>_P_Main_Connecting_TryingConnect&#45;&gt;_P_Main_Connecting_Initial</title>
+<path fill="none" stroke="#000000" d="M68.4941,-2560.862C64.7344,-2565.8987 62,-2571.7204 62,-2578 62,-2708 62,-2708 62,-2708 62,-2726.379 328.5049,-2743.5309 429.6728,-2749.3799"/>
+<polygon fill="#000000" stroke="#000000" points="429.5895,-2752.8807 439.7732,-2749.9579 429.9896,-2745.8922 429.5895,-2752.8807"/>
+<text text-anchor="start" x="62" y="-2634.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(5 s)/add_message(&quot;unable to connect to server &quot; + get_server(curr_server),&quot;info&quot;)⁏ if (not reconnecting) [[curr_server = (curr_server + 1) % get_nr_of_servers()⁏ ]]⁏ &#160;&#160;</text>
 </g>
-<!-- _p_main_disconnected_trying_connect -->
-<g id="node27" class="node">
-<title>_p_main_disconnected_trying_connect</title>
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="1366,-1194 1266,-1194 1266,-1158 1366,-1158 1366,-1194"/>
-<text text-anchor="start" x="1276.9886" y="-1172.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">trying_connect</text>
-<path fill="none" stroke="#000000" stroke-width="2" d="M1278.3333,-1159C1278.3333,-1159 1353.6667,-1159 1353.6667,-1159 1359.3333,-1159 1365,-1164.6667 1365,-1170.3333 1365,-1170.3333 1365,-1181.6667 1365,-1181.6667 1365,-1187.3333 1359.3333,-1193 1353.6667,-1193 1353.6667,-1193 1278.3333,-1193 1278.3333,-1193 1272.6667,-1193 1267,-1187.3333 1267,-1181.6667 1267,-1181.6667 1267,-1170.3333 1267,-1170.3333 1267,-1164.6667 1272.6667,-1159 1278.3333,-1159"/>
-</g>
-<!-- _p_main_disconnected_initial&#45;&gt;_p_main_disconnected_trying_connect -->
-<g id="edge32" class="edge">
-<title>_p_main_disconnected_initial&#45;&gt;_p_main_disconnected_trying_connect</title>
-<path fill="none" stroke="#000000" d="M1242.151,-1414.912C1324.3082,-1408.633 1558,-1389.3772 1558,-1373.5 1558,-1373.5 1558,-1373.5 1558,-1211.5 1558,-1193.1859 1448.1014,-1183.4337 1376.4231,-1179.0207"/>
-<polygon fill="#000000" stroke="#000000" points="1376.3331,-1175.5092 1366.1426,-1178.408 1375.9166,-1182.4968 1376.3331,-1175.5092"/>
-<text text-anchor="start" x="1558" y="-1288" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(100 ms)/add_message(&quot;trying to connect to server &quot; + get_server(curr_server),&quot;info&quot;) ^network.connect &#160;&#160;</text>
-</g>
-<!-- _p_main_disconnected_trying_connect&#45;&gt;_p_main_connected -->
+<!-- _P_Main_Connecting_Initial&#45;&gt;_P_Main_Connecting_TryingConnect -->
 <g id="edge30" class="edge">
-<title>_p_main_disconnected_trying_connect&#45;&gt;_p_main_connected</title>
-<path fill="none" stroke="#000000" d="M1316,-1157.7983C1316,-1150.007 1316,-1140.8073 1316,-1132.5 1316,-1132.5 1316,-1132.5 1316,-1085.5 1316,-1083.0919 1316,-1080.6546 1316,-1078.1966"/>
-<polygon fill="#000000" stroke="#000000" points="1319.5001,-1077.9965 1316,-1067.9965 1312.5001,-1077.9965 1319.5001,-1077.9965"/>
-<text text-anchor="start" x="1316" y="-1106" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">connected/add_message(&quot;connected to server &quot; + get_server(curr_server),&quot;info&quot;) &#160;&#160;</text>
-</g>
-<!-- _p_main_disconnected_trying_connect&#45;&gt;_p_main_disconnected_initial -->
-<g id="edge31" class="edge">
-<title>_p_main_disconnected_trying_connect&#45;&gt;_p_main_disconnected_initial</title>
-<path fill="none" stroke="#000000" d="M1265.9011,-1177.3664C1148.2173,-1180.9073 864,-1191.5264 864,-1211.5 864,-1373.5 864,-1373.5 864,-1373.5 864,-1404.643 1085.0454,-1413.7597 1175.8038,-1416.1904"/>
-<polygon fill="#000000" stroke="#000000" points="1175.8638,-1419.6929 1185.9497,-1416.4486 1176.042,-1412.6952 1175.8638,-1419.6929"/>
-<text text-anchor="start" x="864" y="-1288" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(5 s)/add_message(&quot;unable to connect to server &quot; + get_server(curr_server),&quot;info&quot;)⁏ curr_server = (curr_server + 1) % get_nr_of_servers()⁏ &#160;&#160;</text>
+<title>_P_Main_Connecting_Initial&#45;&gt;_P_Main_Connecting_TryingConnect</title>
+<path fill="none" stroke="#000000" d="M496.1975,-2749.9214C587.4737,-2744.6271 869,-2726.7758 869,-2708 869,-2708 869,-2708 869,-2578 869,-2560.0402 333.485,-2547.4579 150.4668,-2543.6823"/>
+<polygon fill="#000000" stroke="#000000" points="150.2828,-2540.1778 140.2132,-2543.4723 150.1394,-2547.1764 150.2828,-2540.1778"/>
+<text text-anchor="start" x="869" y="-2634.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(100 ms)/add_message(&quot;trying to connect to server &quot; + get_server(curr_server),&quot;info&quot;) ^network.connect &#160;&#160;</text>
 </g>
 </g>
 </svg>

examples/chatclient/model_chatclient.xml

@@ -2,6 +2,15 @@
   <delta>1 ms</delta>
 
   <statechart>
+
+    <semantics
+      big_step_maximality="take_one"
+      internal_event_lifeline="reMainder"
+      input_event_lifeline="whole"
+      enabledness_memory_protocol="small_step"
+      assignment_memory_protocol="small_step"
+    />
+
     <datamodel>
       import sccd.action_lang.lib.utils;
       
@@ -12,7 +21,7 @@
       # Statechart's variables
       curr_server = 0;
       room_number = 0;
-      reconnected = False;
+      reconnecting = False;
     </datamodel>
 
     <inport name="network">
@@ -38,174 +47,158 @@
     </outport>
 
     <root>
-      <parallel id="p">
-        <!-- main orthogonal region -->
-        <state id="main" initial="disconnected">
-          <state id="disconnected" initial="initial">
+      <parallel id="P">
+        <!-- Main orthogonal region: all user interaction and Main window state -->
+        <state id="Main" initial="Connecting">
+
+          <state id="Connecting" initial="Initial">
             <onentry>
               <code> input_command(); </code>
             </onentry>
-            <state id="initial">
-              <transition after="100 ms" target="../trying_connect">
+            <state id="Initial">
+              <transition after="100 ms" target="../TryingConnect">
                 <code> add_message("trying to connect to server " + get_server(curr_server), "info"); </code>
                 <raise event="connect">
                   <param expr="get_server(curr_server)"/>
                 </raise>
               </transition>
             </state>
-            <state id="trying_connect">
-              <transition event="connected" target="/p/main/connected">
+            <state id="TryingConnect">
+              <transition event="connected" target="/P/Main/Connected/H">
                 <code> add_message("connected to server " + get_server(curr_server), "info"); </code>
               </transition>
-              <transition after="5 s" target="../initial">
+              <transition after="5 s" target="../Initial">
                 <code>
                   add_message("unable to connect to server " + get_server(curr_server), "info");
-                  curr_server = (curr_server + 1) % get_nr_of_servers();
+                  if (not reconnecting) {
+                    curr_server = (curr_server + 1) % get_nr_of_servers();
+                  }
                 </code>
               </transition>
             </state>
           </state>
 
-          <state id="reconnecting" initial="initial">
-            <onentry>
-              <code> input_command(); </code>
-            </onentry>
-            <state id="initial">
-              <transition after="100 ms" target="../trying_connect">
-                <code> add_message("trying to connect to server " + get_server(curr_server), "info"); </code>
-                <raise event="connect">
-                  <param expr="get_server(curr_server)"/>
-                </raise>
-              </transition>
-            </state>
-            <state id="trying_connect">
-              <transition event="connected" target="/p/main/connected/joining">
-                <code> add_message("connected to server" + get_server(curr_server), "info"); </code>
-              </transition>
-              <transition after="5 s" target="../initial">
-                  <code> add_message("unable to connect to server " + get_server(curr_server), "info"); </code>
-              </transition>
-            </state>
-
-            <!-- ?? -->
-          </state>
-
-          <state id="connected" initial="connected">
-            <transition event="do_disconnect" target="../reconnecting">
-              <code> add_message("disconnected", "info"); </code>
+          <state id="Connected" initial="LeavingOrLeft">
+            <transition event="timeout" target="/P/Main/Connecting">
+              <code>
+                add_message("disconnected", "info");
+                reconnecting = True;
+              </code>
             </transition>
 
-            <state id="leaving">
-              <transition event="left" target="../connected">
-                <code> add_message("left room", "info"); </code>
-              </transition>
-            </state>
-
-            <state id="connected">
-              <transition event="input(char: str)" cond='char == "j"' target="../getting_roomnumber">
-                <code> input_join(); </code>
-              </transition>
-            </state>
-
-            <state id="getting_roomnumber">
-              <transition event="input(char: str)" cond="is_backspace(char)" target=".">
-                <code> remove_last_in_buffer(); </code>
-              </transition>
-              <transition event="input(char: str)" cond="is_enter(char)" target="../joining">
-                <code>
-                  room_number = stoi(get_buffer());
-                  clear_input();
-                  input_command();
-                </code>
-              </transition>
-              <transition event="input(char: str)" cond="is_numerical(char)" target=".">
-                <code> append_to_buffer(char); </code>
-              </transition>
-              <transition event="input(char: str)" cond="not is_numerical(char)" target=".">
-                <code> add_message("only numerical input allowed!", "warning"); </code>
-              </transition>
-            </state>
-
-            <state id="joining">
-              <onentry>
-                <raise event="join">
-                  <param expr="room_number"/>
-                </raise>
-              </onentry>
-              <onexit>
-              </onexit>
-
-              <transition event="joined" target="../joined/H">
-                <code> add_message("joined room " + int_to_str(room_number), "info"); </code>
-              </transition>
-            </state>
-
-            <state id="joined" initial="initial">
-              <state id="initial">
-                <!--<onentry>
-                  <code> input_command(); </code>
-                </onentry>-->
-
-                <transition event="input(char: str)" cond='char == "m"' target="../entering_message"/>
-                <transition event="input(char: str)" cond='char == "l"' target="../../leaving">
-                  <raise event="leave"/>
-                  <code> input_command(); </code>
+            <state id="LeavingOrLeft" initial="NotJoined">
+              <state id="NotJoined">
+                <transition event="input(char: str)" cond='char == "j"' target="../GettingRoomNumber">
+                  <code> input_join(); </code>
                 </transition>
               </state>
 
-              <state id="entering_message">
-                <onentry>
-                  <code> input_msg(); </code>
-                </onentry>
-                <!-- explicit (document order) priority used here: -->
+              <state id="GettingRoomNumber">
                 <transition event="input(char: str)" cond="is_backspace(char)" target=".">
                   <code> remove_last_in_buffer(); </code>
                 </transition>
-                <transition event="input(char: str)" cond="is_enter(char)" target="../initial">
-                  <raise event="send_message">
-                    <param expr="get_buffer()"/>
-                  </raise>
+                <transition event="input(char: str)" cond="is_enter(char)" target="../../JoiningOrJoined">
                   <code>
-                    add_message(get_buffer(), "local_message");
+                    room_number = stoi(get_buffer());
                     clear_input();
                     input_command();
                   </code>
                 </transition>
-                <transition event="input(char: str)" target=".">
+                <transition event="input(char: str)" cond="is_numerical(char)" target=".">
                   <code> append_to_buffer(char); </code>
                 </transition>
+                <transition event="input(char: str)" cond="not is_numerical(char)" target=".">
+                  <code> add_message("only numerical input allowed!", "warning"); </code>
+                </transition>
               </state>
 
-              <history id="H" type="shallow"/>
+              <state id="Leaving">
+                <transition event="left" target="../NotJoined">
+                  <code> add_message("left room", "info"); </code>
+                </transition>
+              </state>
             </state>
+
+            <state id="JoiningOrJoined" initial="Joining">
+              <state id="Joining">
+                <onentry>
+                  <raise event="join">
+                    <param expr="room_number"/>
+                  </raise>
+                </onentry>
+                <onexit>
+                </onexit>
+
+                <transition event="joined" target="../Joined/H">
+                  <code> add_message("joined room " + int_to_str(room_number), "info"); </code>
+                </transition>
+              </state>
+
+              <state id="Joined" initial="Initial">
+                <state id="Initial">
+                  <transition event="input(char: str)" cond='char == "m"' target="../EnteringMessage"/>
+                  <transition event="input(char: str)" cond='char == "l"' target="/P/Main/Connected/LeavingOrLeft/Leaving">
+                    <raise event="leave"/>
+                    <code> input_command(); </code>
+                  </transition>
+                </state>
+
+                <state id="EnteringMessage">
+                  <onentry>
+                    <code> input_msg(); </code>
+                  </onentry>
+                  <!-- explicit (document order) priority used here: -->
+                  <transition event="input(char: str)" cond="is_backspace(char)" target=".">
+                    <code> remove_last_in_buffer(); </code>
+                  </transition>
+                  <transition event="input(char: str)" cond="is_enter(char)" target="../Initial">
+                    <raise event="send_message">
+                      <param expr="get_buffer()"/>
+                    </raise>
+                    <code>
+                      add_message(get_buffer(), "local_message");
+                      clear_input();
+                      input_command();
+                    </code>
+                  </transition>
+                  <transition event="input(char: str)" target=".">
+                    <code> append_to_buffer(char); </code>
+                  </transition>
+                </state>
+
+                <history id="H" type="shallow"/>
+              </state>
+            </state>
+
+            <history id="H" type="shallow"/>
           </state>
         </state>
 
-        <!-- polling orthogonal region -->
-        <state id="polling" initial="initial">
-          <state id="initial">
-            <transition event="connected" target="../polling"/>
+        <!-- pinging orthogonal region -->
+        <state id="Pinging" initial="Initial">
+          <state id="Initial">
+            <transition event="connected" target="../Pinging"/>
           </state>
-          <state id="polling">
-            <transition after="1 s" target="../expecting_answer">
+          <state id="Pinging">
+            <transition after="1 s" target="../ExpectingAnswer">
               <raise event="poll"/>
               <!-- <code> print("sent POLL"); </code> -->
             </transition>
           </state>
-          <state id="expecting_answer">
-            <transition event="alive" target="../polling">
+          <state id="ExpectingAnswer">
+            <transition event="alive" target="../Pinging">
               <!-- <code> print("got ALIVE"); </code> -->
             </transition>
-            <transition after="2 s" target="../initial">
-              <raise event="do_disconnect"/>
+            <transition after="2 s" target="../Initial">
+              <raise event="timeout"/>
               <code> print("polling timeout... disconnect"); </code>
             </transition>
           </state>
         </state>
 
         <!-- listening orthogonal region -->
-        <state id="listening">
-          <state id="l">
+        <state id="Receiving">
+          <state id="Receiving">
             <transition event="receive_message(msg:str)" target=".">
               <code> add_message(msg, "remote_message"); </code>
             </transition>

examples/digitalwatch/model_digitalwatch.xml

@@ -5,7 +5,7 @@
     <semantics
       big_step_maximality="take_one"
       internal_event_lifeline="next_small_step"
-      input_event_lifeline="whole"
+      input_event_lifeline="first_small_step"
     />
 
     <inport name="in">
@@ -59,19 +59,16 @@
             </state>
 
             <state id="Blinking" initial="On">
-              <onexit>
-                <raise event="unsetIndiglo"/>
-              </onexit>
               <state id="On">
                 <onentry>
                   <raise event="setIndiglo"/>
                 </onentry>
+                <onexit>
+                  <raise event="unsetIndiglo"/>
+                </onexit>
                 <transition after="500 ms" target="../Off"/>
               </state>
               <state id="Off">
-                <onentry>
-                  <raise event="unsetIndiglo"/>
-                </onentry>
                 <transition after="500 ms" target="../On"/>
               </state>
               <!-- user interrupt alarm: also toggle off alarm -->
@@ -141,7 +138,7 @@
 
           <state id="WaitingToEdit">
             <transition after="1500 ms" target="../EditingTime">
-              <raise event="time_edit"/>
+              <!-- <raise event="time_edit"/> -->
             </transition>
             <transition event="bottomRightReleased" target="../TimeUpdate"/>
           </state>
@@ -159,16 +156,18 @@
           <state id="EditingTime" initial="Waiting">
             <onentry>
               <raise event="startSelection"/>
+              <raise event="time_edit"/>
             </onentry>
             <onexit>
               <raise event="stopSelection"/>
+              <raise event="edit_done"/>
             </onexit>
 
             <state id="Waiting">
               <transition event="bottomLeftPressed" target="../Increasing"/>
               <transition event="bottomRightPressed" target="../GoingToNext"/>
               <transition after="5 s" target="../../TimeUpdate">
-                <raise event="edit_done"/>
+                <!-- <raise event="edit_done"/> -->
               </transition>
             </state>
 
@@ -177,7 +176,7 @@
                 <raise event="selectNext"/>
               </transition>
               <transition after="2 s" target="../../TimeUpdate">
-                <raise event="edit_done"/>
+                <!-- <raise event="edit_done"/> -->
               </transition>
             </state>
 
@@ -202,13 +201,14 @@
 
         <state id="Time" initial="Increasing">
           <state id="Increasing">
-            <transition after="1 s" cond='INSTATE(["/P/Alarm/On"])' target=".">
+<!--             <transition after="1 s" cond='INSTATE(["/P/Alarm/On"])' target=".">
               <raise event="increaseTimeByOne"/>
               <raise event="checkTime"/>
               <raise event="int_refresh_time"/>
             </transition>
-            <transition after="1 s" target=".">
+ -->            <transition after="1 s" target=".">
               <raise event="increaseTimeByOne"/>
+              <raise event="checkTime"/>
               <raise event="int_refresh_time"/>
             </transition>
             <transition event="time_edit" target="../Editing"/>

src/sccd/statechart/parser/xml.py

@@ -1,4 +1,5 @@
 from typing import *
+from lark.exceptions import *
 from sccd.statechart.static.statechart import *
 from sccd.statechart.static.tree import *
 from sccd.statechart.dynamic.builtin_scope import *
@@ -8,7 +9,7 @@ from sccd.statechart.parser.text import *
 class SkipFile(Exception):
   pass
 
-parse_f = functools.partial(parse, decorate_exceptions=(ModelError,))
+parse_f = functools.partial(parse, decorate_exceptions=(ModelError,LarkError))
 
 def check_duration_type(type):
   if type != SCCDDuration: