aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-02-17 15:11:07 -0500
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-06-07 19:18:53 -0400
commit1942180d760110c2b9664715bf8e30efec256954 (patch)
tree4d0e72dca29606dd840aafb4537054a447678452 /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml
parentIntegrate queries partially #19 (diff)
downloadVIATRA-Generator-1942180d760110c2b9664715bf8e30efec256954.tar.gz
VIATRA-Generator-1942180d760110c2b9664715bf8e30efec256954.tar.zst
VIATRA-Generator-1942180d760110c2b9664715bf8e30efec256954.zip
Commit before merge
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml9347
1 files changed, 8678 insertions, 669 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml
index e73f85db..897aa2d4 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml
@@ -150,8 +150,8 @@ graph
150 id 4 150 id 4
151 graphics 151 graphics
152 [ 152 [
153 w 107.80000000000001 153 w 146.3
154 h 40 154 h 68
155 type "rectangle" 155 type "rectangle"
156 fill "#FFFFFF" 156 fill "#FFFFFF"
157 fill2 "#FFFFFF" 157 fill2 "#FFFFFF"
@@ -171,7 +171,9 @@ graph
171 LabelGraphics 171 LabelGraphics
172 [ 172 [
173 text " 173 text "
174 Region class 174 Pseudostate class
175 Vertex class
176 Exit class
175 " 177 "
176 fontSize 14 178 fontSize 14
177 fontName "Consolas" 179 fontName "Consolas"
@@ -186,7 +188,7 @@ graph
186 id 5 188 id 5
187 graphics 189 graphics
188 [ 190 [
189 w 154.0 191 w 146.3
190 h 68 192 h 68
191 type "rectangle" 193 type "rectangle"
192 fill "#FFFFFF" 194 fill "#FFFFFF"
@@ -207,9 +209,9 @@ graph
207 LabelGraphics 209 LabelGraphics
208 [ 210 [
209 text " 211 text "
212 Pseudostate class
210 Vertex class 213 Vertex class
211 RegularState class 214 Entry class
212 FinalState class
213 " 215 "
214 fontSize 14 216 fontSize 14
215 fontName "Consolas" 217 fontName "Consolas"
@@ -224,8 +226,44 @@ graph
224 id 6 226 id 6
225 graphics 227 graphics
226 [ 228 [
227 w 154.0 229 w 138.60000000000002
228 h 68 230 h 40
231 type "rectangle"
232 fill "#FFFFFF"
233 fill2 "#FFFFFF"
234 outline "#000000"
235 ]
236 LabelGraphics
237 [
238 text "null"
239 outline "#000000"
240 fill "#FFFFFF"
241 fontSize 16
242 fontName "Monospace"
243 autoSizePolicy "node_width"
244 anchor "t"
245 borderDistance 0.0
246 ]
247 LabelGraphics
248 [
249 text "
250 Transition class
251 "
252 fontSize 14
253 fontName "Consolas"
254 alignment "left"
255 anchor "tl"
256 borderDistance 6
257 ]
258 ]
259
260 node
261 [
262 id 7
263 graphics
264 [
265 w 292.6
266 h 96
229 type "rectangle" 267 type "rectangle"
230 fill "#FFFFFF" 268 fill "#FFFFFF"
231 fill2 "#FFFFFF" 269 fill2 "#FFFFFF"
@@ -246,8 +284,10 @@ graph
246 [ 284 [
247 text " 285 text "
248 Vertex class 286 Vertex class
287 State class
249 RegularState class 288 RegularState class
250 FinalState class 289 CompositeElement class
290 CompositeElement class UndefinedPart
251 " 291 "
252 fontSize 14 292 fontSize 14
253 fontName "Consolas" 293 fontName "Consolas"
@@ -259,7 +299,7 @@ graph
259 299
260 node 300 node
261 [ 301 [
262 id 7 302 id 8
263 graphics 303 graphics
264 [ 304 [
265 w 112.2 305 w 112.2
@@ -294,7 +334,7 @@ graph
294 334
295 node 335 node
296 [ 336 [
297 id 8 337 id 9
298 graphics 338 graphics
299 [ 339 [
300 w 85.80000000000001 340 w 85.80000000000001
@@ -329,7 +369,7 @@ graph
329 369
330 node 370 node
331 [ 371 [
332 id 9 372 id 10
333 graphics 373 graphics
334 [ 374 [
335 w 103.4 375 w 103.4
@@ -364,7 +404,7 @@ graph
364 404
365 node 405 node
366 [ 406 [
367 id 10 407 id 11
368 graphics 408 graphics
369 [ 409 [
370 w 103.4 410 w 103.4
@@ -399,7 +439,46 @@ graph
399 edge 439 edge
400 [ 440 [
401 source 4 441 source 4
402 target 5 442 target 6
443 graphics
444 [
445 fill "#000000"
446 targetArrow "standard"
447 ]
448 LabelGraphics
449 [
450 text "incomingTransitions reference Vertex"
451 fontSize 14
452 fontName "Consolas"
453 configuration "AutoFlippingLabel"
454 model "six_pos"
455 position "thead"
456 ]
457 ]
458 edge
459 [
460 source 5
461 target 6
462 graphics
463 [
464 fill "#000000"
465 width 3
466 targetArrow "standard"
467 ]
468 LabelGraphics
469 [
470 text "outgoingTransitions reference Vertex"
471 fontSize 14
472 fontName "Consolas"
473 configuration "AutoFlippingLabel"
474 model "six_pos"
475 position "thead"
476 ]
477 ]
478 edge
479 [
480 source 3
481 target 4
403 graphics 482 graphics
404 [ 483 [
405 fill "#000000" 484 fill "#000000"
@@ -419,7 +498,7 @@ graph
419 edge 498 edge
420 [ 499 [
421 source 3 500 source 3
422 target 6 501 target 5
423 graphics 502 graphics
424 [ 503 [
425 fill "#000000" 504 fill "#000000"
@@ -438,8 +517,8 @@ graph
438 ] 517 ]
439 edge 518 edge
440 [ 519 [
441 source 0 520 source 3
442 target 3 521 target 7
443 graphics 522 graphics
444 [ 523 [
445 fill "#000000" 524 fill "#000000"
@@ -448,7 +527,7 @@ graph
448 ] 527 ]
449 LabelGraphics 528 LabelGraphics
450 [ 529 [
451 text "regions reference CompositeElement" 530 text "vertices reference Region"
452 fontSize 14 531 fontSize 14
453 fontName "Consolas" 532 fontName "Consolas"
454 configuration "AutoFlippingLabel" 533 configuration "AutoFlippingLabel"
@@ -458,11 +537,49 @@ graph
458 ] 537 ]
459 edge 538 edge
460 [ 539 [
461 source 0 540 source 6
462 target 4 541 target 4
463 graphics 542 graphics
464 [ 543 [
465 fill "#000000" 544 fill "#000000"
545 targetArrow "standard"
546 ]
547 LabelGraphics
548 [
549 text "target reference Transition"
550 fontSize 14
551 fontName "Consolas"
552 configuration "AutoFlippingLabel"
553 model "six_pos"
554 position "thead"
555 ]
556 ]
557 edge
558 [
559 source 6
560 target 5
561 graphics
562 [
563 fill "#000000"
564 targetArrow "standard"
565 ]
566 LabelGraphics
567 [
568 text "source reference Transition"
569 fontSize 14
570 fontName "Consolas"
571 configuration "AutoFlippingLabel"
572 model "six_pos"
573 position "thead"
574 ]
575 ]
576 edge
577 [
578 source 0
579 target 3
580 graphics
581 [
582 fill "#000000"
466 width 3 583 width 3
467 targetArrow "standard" 584 targetArrow "standard"
468 ] 585 ]
@@ -593,6 +710,257 @@ graph
593 id 3 710 id 3
594 graphics 711 graphics
595 [ 712 [
713 w 112.2
714 h 26
715 type "rectangle"
716 fill "#FFFFFF"
717 fill2 "#FFFFFF"
718 outline "#000000"
719 ]
720 LabelGraphics
721 [
722 text "New Integers"
723 outline "#000000"
724 fill "#FFFFFF"
725 fontSize 16
726 fontName "Monospace"
727 autoSizePolicy "node_width"
728 anchor "t"
729 borderDistance 0.0
730 ]
731 LabelGraphics
732 [
733 text "
734 "
735 fontSize 14
736 fontName "Consolas"
737 alignment "left"
738 anchor "tl"
739 borderDistance 6
740 ]
741 ]
742
743 node
744 [
745 id 4
746 graphics
747 [
748 w 85.80000000000001
749 h 26
750 type "rectangle"
751 fill "#FFFFFF"
752 fill2 "#FFFFFF"
753 outline "#000000"
754 ]
755 LabelGraphics
756 [
757 text "New Reals"
758 outline "#000000"
759 fill "#FFFFFF"
760 fontSize 16
761 fontName "Monospace"
762 autoSizePolicy "node_width"
763 anchor "t"
764 borderDistance 0.0
765 ]
766 LabelGraphics
767 [
768 text "
769 "
770 fontSize 14
771 fontName "Consolas"
772 alignment "left"
773 anchor "tl"
774 borderDistance 6
775 ]
776 ]
777
778 node
779 [
780 id 5
781 graphics
782 [
783 w 103.4
784 h 26
785 type "rectangle"
786 fill "#FFFFFF"
787 fill2 "#FFFFFF"
788 outline "#000000"
789 ]
790 LabelGraphics
791 [
792 text "New Strings"
793 outline "#000000"
794 fill "#FFFFFF"
795 fontSize 16
796 fontName "Monospace"
797 autoSizePolicy "node_width"
798 anchor "t"
799 borderDistance 0.0
800 ]
801 LabelGraphics
802 [
803 text "
804 "
805 fontSize 14
806 fontName "Consolas"
807 alignment "left"
808 anchor "tl"
809 borderDistance 6
810 ]
811 ]
812
813 node
814 [
815 id 6
816 graphics
817 [
818 w 103.4
819 h 26
820 type "rectangle"
821 fill "#FFFFFF"
822 fill2 "#FFFFFF"
823 outline "#000000"
824 ]
825 LabelGraphics
826 [
827 text "New Objects"
828 outline "#000000"
829 fill "#FFFFFF"
830 fontSize 16
831 fontName "Monospace"
832 autoSizePolicy "node_width"
833 anchor "t"
834 borderDistance 0.0
835 ]
836 LabelGraphics
837 [
838 text "
839 "
840 fontSize 14
841 fontName "Consolas"
842 alignment "left"
843 anchor "tl"
844 borderDistance 6
845 ]
846 ]
847]
848graph
849[
850 node
851 [
852 id 0
853 graphics
854 [
855 w 277.20000000000005
856 h 82
857 type "rectangle"
858 fill "#FFFFFF"
859 fill2 "#FFFFFF"
860 outline "#000000"
861 ]
862 LabelGraphics
863 [
864 text "o 1"
865 outline "#000000"
866 fill "#FFFFFF"
867 fontSize 16
868 fontName "Monospace"
869 autoSizePolicy "node_width"
870 anchor "t"
871 borderDistance 0.0
872 ]
873 LabelGraphics
874 [
875 text "
876 Statechart class DefinedPart
877 CompositeElement class DefinedPart
878 Statechart class
879 CompositeElement class
880 "
881 fontSize 14
882 fontName "Consolas"
883 alignment "left"
884 anchor "tl"
885 borderDistance 6
886 ]
887 ]
888
889 node
890 [
891 id 1
892 graphics
893 [
894 w 41.800000000000004
895 h 26
896 type "rectangle"
897 fill "#FFFFFF"
898 fill2 "#FFFFFF"
899 outline "#000000"
900 ]
901 LabelGraphics
902 [
903 text "true"
904 outline "#000000"
905 fill "#FFFFFF"
906 fontSize 16
907 fontName "Monospace"
908 autoSizePolicy "node_width"
909 anchor "t"
910 borderDistance 0.0
911 ]
912 LabelGraphics
913 [
914 text "
915 "
916 fontSize 14
917 fontName "Consolas"
918 alignment "left"
919 anchor "tl"
920 borderDistance 6
921 ]
922 ]
923
924 node
925 [
926 id 2
927 graphics
928 [
929 w 50.6
930 h 26
931 type "rectangle"
932 fill "#FFFFFF"
933 fill2 "#FFFFFF"
934 outline "#000000"
935 ]
936 LabelGraphics
937 [
938 text "false"
939 outline "#000000"
940 fill "#FFFFFF"
941 fontSize 16
942 fontName "Monospace"
943 autoSizePolicy "node_width"
944 anchor "t"
945 borderDistance 0.0
946 ]
947 LabelGraphics
948 [
949 text "
950 "
951 fontSize 14
952 fontName "Consolas"
953 alignment "left"
954 anchor "tl"
955 borderDistance 6
956 ]
957 ]
958
959 node
960 [
961 id 3
962 graphics
963 [
596 w 107.80000000000001 964 w 107.80000000000001
597 h 40 965 h 40
598 type "rectangle" 966 type "rectangle"
@@ -629,6 +997,194 @@ graph
629 id 4 997 id 4
630 graphics 998 graphics
631 [ 999 [
1000 w 146.3
1001 h 68
1002 type "rectangle"
1003 fill "#FFFFFF"
1004 fill2 "#FFFFFF"
1005 outline "#000000"
1006 ]
1007 LabelGraphics
1008 [
1009 text "null"
1010 outline "#000000"
1011 fill "#FFFFFF"
1012 fontSize 16
1013 fontName "Monospace"
1014 autoSizePolicy "node_width"
1015 anchor "t"
1016 borderDistance 0.0
1017 ]
1018 LabelGraphics
1019 [
1020 text "
1021 Pseudostate class
1022 Vertex class
1023 Exit class
1024 "
1025 fontSize 14
1026 fontName "Consolas"
1027 alignment "left"
1028 anchor "tl"
1029 borderDistance 6
1030 ]
1031 ]
1032
1033 node
1034 [
1035 id 5
1036 graphics
1037 [
1038 w 154.0
1039 h 68
1040 type "rectangle"
1041 fill "#FFFFFF"
1042 fill2 "#FFFFFF"
1043 outline "#000000"
1044 ]
1045 LabelGraphics
1046 [
1047 text "null"
1048 outline "#000000"
1049 fill "#FFFFFF"
1050 fontSize 16
1051 fontName "Monospace"
1052 autoSizePolicy "node_width"
1053 anchor "t"
1054 borderDistance 0.0
1055 ]
1056 LabelGraphics
1057 [
1058 text "
1059 Vertex class
1060 RegularState class
1061 FinalState class
1062 "
1063 fontSize 14
1064 fontName "Consolas"
1065 alignment "left"
1066 anchor "tl"
1067 borderDistance 6
1068 ]
1069 ]
1070
1071 node
1072 [
1073 id 6
1074 graphics
1075 [
1076 w 146.3
1077 h 68
1078 type "rectangle"
1079 fill "#FFFFFF"
1080 fill2 "#FFFFFF"
1081 outline "#000000"
1082 ]
1083 LabelGraphics
1084 [
1085 text "null"
1086 outline "#000000"
1087 fill "#FFFFFF"
1088 fontSize 16
1089 fontName "Monospace"
1090 autoSizePolicy "node_width"
1091 anchor "t"
1092 borderDistance 0.0
1093 ]
1094 LabelGraphics
1095 [
1096 text "
1097 Pseudostate class
1098 Vertex class
1099 Exit class
1100 "
1101 fontSize 14
1102 fontName "Consolas"
1103 alignment "left"
1104 anchor "tl"
1105 borderDistance 6
1106 ]
1107 ]
1108
1109 node
1110 [
1111 id 7
1112 graphics
1113 [
1114 w 146.3
1115 h 68
1116 type "rectangle"
1117 fill "#FFFFFF"
1118 fill2 "#FFFFFF"
1119 outline "#000000"
1120 ]
1121 LabelGraphics
1122 [
1123 text "null"
1124 outline "#000000"
1125 fill "#FFFFFF"
1126 fontSize 16
1127 fontName "Monospace"
1128 autoSizePolicy "node_width"
1129 anchor "t"
1130 borderDistance 0.0
1131 ]
1132 LabelGraphics
1133 [
1134 text "
1135 Pseudostate class
1136 Vertex class
1137 Entry class
1138 "
1139 fontSize 14
1140 fontName "Consolas"
1141 alignment "left"
1142 anchor "tl"
1143 borderDistance 6
1144 ]
1145 ]
1146
1147 node
1148 [
1149 id 8
1150 graphics
1151 [
1152 w 138.60000000000002
1153 h 40
1154 type "rectangle"
1155 fill "#FFFFFF"
1156 fill2 "#FFFFFF"
1157 outline "#000000"
1158 ]
1159 LabelGraphics
1160 [
1161 text "null"
1162 outline "#000000"
1163 fill "#FFFFFF"
1164 fontSize 16
1165 fontName "Monospace"
1166 autoSizePolicy "node_width"
1167 anchor "t"
1168 borderDistance 0.0
1169 ]
1170 LabelGraphics
1171 [
1172 text "
1173 Transition class
1174 "
1175 fontSize 14
1176 fontName "Consolas"
1177 alignment "left"
1178 anchor "tl"
1179 borderDistance 6
1180 ]
1181 ]
1182
1183 node
1184 [
1185 id 9
1186 graphics
1187 [
632 w 292.6 1188 w 292.6
633 h 96 1189 h 96
634 type "rectangle" 1190 type "rectangle"
@@ -666,11 +1222,47 @@ graph
666 1222
667 node 1223 node
668 [ 1224 [
669 id 5 1225 id 10
670 graphics 1226 graphics
671 [ 1227 [
672 w 146.3 1228 w 138.60000000000002
673 h 68 1229 h 40
1230 type "rectangle"
1231 fill "#FFFFFF"
1232 fill2 "#FFFFFF"
1233 outline "#000000"
1234 ]
1235 LabelGraphics
1236 [
1237 text "null"
1238 outline "#000000"
1239 fill "#FFFFFF"
1240 fontSize 16
1241 fontName "Monospace"
1242 autoSizePolicy "node_width"
1243 anchor "t"
1244 borderDistance 0.0
1245 ]
1246 LabelGraphics
1247 [
1248 text "
1249 Transition class
1250 "
1251 fontSize 14
1252 fontName "Consolas"
1253 alignment "left"
1254 anchor "tl"
1255 borderDistance 6
1256 ]
1257 ]
1258
1259 node
1260 [
1261 id 11
1262 graphics
1263 [
1264 w 292.6
1265 h 96
674 type "rectangle" 1266 type "rectangle"
675 fill "#FFFFFF" 1267 fill "#FFFFFF"
676 fill2 "#FFFFFF" 1268 fill2 "#FFFFFF"
@@ -690,9 +1282,11 @@ graph
690 LabelGraphics 1282 LabelGraphics
691 [ 1283 [
692 text " 1284 text "
693 Pseudostate class
694 Vertex class 1285 Vertex class
695 Entry class 1286 State class
1287 RegularState class
1288 CompositeElement class
1289 CompositeElement class UndefinedPart
696 " 1290 "
697 fontSize 14 1291 fontSize 14
698 fontName "Consolas" 1292 fontName "Consolas"
@@ -704,7 +1298,7 @@ graph
704 1298
705 node 1299 node
706 [ 1300 [
707 id 6 1301 id 12
708 graphics 1302 graphics
709 [ 1303 [
710 w 138.60000000000002 1304 w 138.60000000000002
@@ -740,11 +1334,11 @@ graph
740 1334
741 node 1335 node
742 [ 1336 [
743 id 7 1337 id 13
744 graphics 1338 graphics
745 [ 1339 [
746 w 112.2 1340 w 292.6
747 h 26 1341 h 96
748 type "rectangle" 1342 type "rectangle"
749 fill "#FFFFFF" 1343 fill "#FFFFFF"
750 fill2 "#FFFFFF" 1344 fill2 "#FFFFFF"
@@ -752,7 +1346,7 @@ graph
752 ] 1346 ]
753 LabelGraphics 1347 LabelGraphics
754 [ 1348 [
755 text "New Integers" 1349 text "null"
756 outline "#000000" 1350 outline "#000000"
757 fill "#FFFFFF" 1351 fill "#FFFFFF"
758 fontSize 16 1352 fontSize 16
@@ -764,6 +1358,11 @@ graph
764 LabelGraphics 1358 LabelGraphics
765 [ 1359 [
766 text " 1360 text "
1361 Vertex class
1362 State class
1363 RegularState class
1364 CompositeElement class
1365 CompositeElement class UndefinedPart
767 " 1366 "
768 fontSize 14 1367 fontSize 14
769 fontName "Consolas" 1368 fontName "Consolas"
@@ -775,11 +1374,11 @@ graph
775 1374
776 node 1375 node
777 [ 1376 [
778 id 8 1377 id 14
779 graphics 1378 graphics
780 [ 1379 [
781 w 85.80000000000001 1380 w 292.6
782 h 26 1381 h 96
783 type "rectangle" 1382 type "rectangle"
784 fill "#FFFFFF" 1383 fill "#FFFFFF"
785 fill2 "#FFFFFF" 1384 fill2 "#FFFFFF"
@@ -787,7 +1386,7 @@ graph
787 ] 1386 ]
788 LabelGraphics 1387 LabelGraphics
789 [ 1388 [
790 text "New Reals" 1389 text "null"
791 outline "#000000" 1390 outline "#000000"
792 fill "#FFFFFF" 1391 fill "#FFFFFF"
793 fontSize 16 1392 fontSize 16
@@ -799,6 +1398,11 @@ graph
799 LabelGraphics 1398 LabelGraphics
800 [ 1399 [
801 text " 1400 text "
1401 Vertex class
1402 State class
1403 RegularState class
1404 CompositeElement class
1405 CompositeElement class UndefinedPart
802 " 1406 "
803 fontSize 14 1407 fontSize 14
804 fontName "Consolas" 1408 fontName "Consolas"
@@ -810,11 +1414,11 @@ graph
810 1414
811 node 1415 node
812 [ 1416 [
813 id 9 1417 id 15
814 graphics 1418 graphics
815 [ 1419 [
816 w 103.4 1420 w 138.60000000000002
817 h 26 1421 h 40
818 type "rectangle" 1422 type "rectangle"
819 fill "#FFFFFF" 1423 fill "#FFFFFF"
820 fill2 "#FFFFFF" 1424 fill2 "#FFFFFF"
@@ -822,7 +1426,7 @@ graph
822 ] 1426 ]
823 LabelGraphics 1427 LabelGraphics
824 [ 1428 [
825 text "New Strings" 1429 text "null"
826 outline "#000000" 1430 outline "#000000"
827 fill "#FFFFFF" 1431 fill "#FFFFFF"
828 fontSize 16 1432 fontSize 16
@@ -834,6 +1438,7 @@ graph
834 LabelGraphics 1438 LabelGraphics
835 [ 1439 [
836 text " 1440 text "
1441 Transition class
837 " 1442 "
838 fontSize 14 1443 fontSize 14
839 fontName "Consolas" 1444 fontName "Consolas"
@@ -845,11 +1450,11 @@ graph
845 1450
846 node 1451 node
847 [ 1452 [
848 id 10 1453 id 16
849 graphics 1454 graphics
850 [ 1455 [
851 w 103.4 1456 w 138.60000000000002
852 h 26 1457 h 40
853 type "rectangle" 1458 type "rectangle"
854 fill "#FFFFFF" 1459 fill "#FFFFFF"
855 fill2 "#FFFFFF" 1460 fill2 "#FFFFFF"
@@ -857,7 +1462,7 @@ graph
857 ] 1462 ]
858 LabelGraphics 1463 LabelGraphics
859 [ 1464 [
860 text "New Objects" 1465 text "null"
861 outline "#000000" 1466 outline "#000000"
862 fill "#FFFFFF" 1467 fill "#FFFFFF"
863 fontSize 16 1468 fontSize 16
@@ -869,6 +1474,7 @@ graph
869 LabelGraphics 1474 LabelGraphics
870 [ 1475 [
871 text " 1476 text "
1477 Transition class
872 " 1478 "
873 fontSize 14 1479 fontSize 14
874 fontName "Consolas" 1480 fontName "Consolas"
@@ -877,153 +1483,536 @@ graph
877 borderDistance 6 1483 borderDistance 6
878 ] 1484 ]
879 ] 1485 ]
880 edge 1486
881 [ 1487 node
882 source 4
883 target 6
884 graphics
885 [ 1488 [
886 fill "#000000" 1489 id 17
887 targetArrow "standard" 1490 graphics
1491 [
1492 w 292.6
1493 h 96
1494 type "rectangle"
1495 fill "#FFFFFF"
1496 fill2 "#FFFFFF"
1497 outline "#000000"
1498 ]
1499 LabelGraphics
1500 [
1501 text "null"
1502 outline "#000000"
1503 fill "#FFFFFF"
1504 fontSize 16
1505 fontName "Monospace"
1506 autoSizePolicy "node_width"
1507 anchor "t"
1508 borderDistance 0.0
1509 ]
1510 LabelGraphics
1511 [
1512 text "
1513 Vertex class
1514 State class
1515 RegularState class
1516 CompositeElement class
1517 CompositeElement class UndefinedPart
1518 "
1519 fontSize 14
1520 fontName "Consolas"
1521 alignment "left"
1522 anchor "tl"
1523 borderDistance 6
1524 ]
888 ] 1525 ]
889 LabelGraphics 1526
1527 node
890 [ 1528 [
891 text "incomingTransitions reference Vertex" 1529 id 18
892 fontSize 14 1530 graphics
893 fontName "Consolas" 1531 [
894 configuration "AutoFlippingLabel" 1532 w 138.60000000000002
895 model "six_pos" 1533 h 40
896 position "thead" 1534 type "rectangle"
1535 fill "#FFFFFF"
1536 fill2 "#FFFFFF"
1537 outline "#000000"
1538 ]
1539 LabelGraphics
1540 [
1541 text "null"
1542 outline "#000000"
1543 fill "#FFFFFF"
1544 fontSize 16
1545 fontName "Monospace"
1546 autoSizePolicy "node_width"
1547 anchor "t"
1548 borderDistance 0.0
1549 ]
1550 LabelGraphics
1551 [
1552 text "
1553 Transition class
1554 "
1555 fontSize 14
1556 fontName "Consolas"
1557 alignment "left"
1558 anchor "tl"
1559 borderDistance 6
1560 ]
897 ] 1561 ]
898 ] 1562
899 edge 1563 node
900 [
901 source 5
902 target 6
903 graphics
904 [ 1564 [
905 fill "#000000" 1565 id 19
906 width 3 1566 graphics
907 targetArrow "standard" 1567 [
1568 w 138.60000000000002
1569 h 40
1570 type "rectangle"
1571 fill "#FFFFFF"
1572 fill2 "#FFFFFF"
1573 outline "#000000"
1574 ]
1575 LabelGraphics
1576 [
1577 text "null"
1578 outline "#000000"
1579 fill "#FFFFFF"
1580 fontSize 16
1581 fontName "Monospace"
1582 autoSizePolicy "node_width"
1583 anchor "t"
1584 borderDistance 0.0
1585 ]
1586 LabelGraphics
1587 [
1588 text "
1589 Transition class
1590 "
1591 fontSize 14
1592 fontName "Consolas"
1593 alignment "left"
1594 anchor "tl"
1595 borderDistance 6
1596 ]
908 ] 1597 ]
909 LabelGraphics 1598
1599 node
910 [ 1600 [
911 text "outgoingTransitions reference Vertex" 1601 id 20
912 fontSize 14 1602 graphics
913 fontName "Consolas" 1603 [
914 configuration "AutoFlippingLabel" 1604 w 292.6
915 model "six_pos" 1605 h 96
916 position "thead" 1606 type "rectangle"
1607 fill "#FFFFFF"
1608 fill2 "#FFFFFF"
1609 outline "#000000"
1610 ]
1611 LabelGraphics
1612 [
1613 text "null"
1614 outline "#000000"
1615 fill "#FFFFFF"
1616 fontSize 16
1617 fontName "Monospace"
1618 autoSizePolicy "node_width"
1619 anchor "t"
1620 borderDistance 0.0
1621 ]
1622 LabelGraphics
1623 [
1624 text "
1625 Vertex class
1626 State class
1627 RegularState class
1628 CompositeElement class
1629 CompositeElement class UndefinedPart
1630 "
1631 fontSize 14
1632 fontName "Consolas"
1633 alignment "left"
1634 anchor "tl"
1635 borderDistance 6
1636 ]
917 ] 1637 ]
918 ] 1638
919 edge 1639 node
920 [
921 source 3
922 target 4
923 graphics
924 [ 1640 [
925 fill "#000000" 1641 id 21
926 width 3 1642 graphics
927 targetArrow "standard" 1643 [
1644 w 138.60000000000002
1645 h 40
1646 type "rectangle"
1647 fill "#FFFFFF"
1648 fill2 "#FFFFFF"
1649 outline "#000000"
1650 ]
1651 LabelGraphics
1652 [
1653 text "null"
1654 outline "#000000"
1655 fill "#FFFFFF"
1656 fontSize 16
1657 fontName "Monospace"
1658 autoSizePolicy "node_width"
1659 anchor "t"
1660 borderDistance 0.0
1661 ]
1662 LabelGraphics
1663 [
1664 text "
1665 Transition class
1666 "
1667 fontSize 14
1668 fontName "Consolas"
1669 alignment "left"
1670 anchor "tl"
1671 borderDistance 6
1672 ]
928 ] 1673 ]
929 LabelGraphics 1674
1675 node
930 [ 1676 [
931 text "vertices reference Region" 1677 id 22
932 fontSize 14 1678 graphics
933 fontName "Consolas" 1679 [
934 configuration "AutoFlippingLabel" 1680 w 146.3
935 model "six_pos" 1681 h 68
936 position "thead" 1682 type "rectangle"
1683 fill "#FFFFFF"
1684 fill2 "#FFFFFF"
1685 outline "#000000"
1686 ]
1687 LabelGraphics
1688 [
1689 text "null"
1690 outline "#000000"
1691 fill "#FFFFFF"
1692 fontSize 16
1693 fontName "Monospace"
1694 autoSizePolicy "node_width"
1695 anchor "t"
1696 borderDistance 0.0
1697 ]
1698 LabelGraphics
1699 [
1700 text "
1701 Pseudostate class
1702 Vertex class
1703 Exit class
1704 "
1705 fontSize 14
1706 fontName "Consolas"
1707 alignment "left"
1708 anchor "tl"
1709 borderDistance 6
1710 ]
937 ] 1711 ]
938 ] 1712
939 edge 1713 node
940 [
941 source 3
942 target 5
943 graphics
944 [ 1714 [
945 fill "#000000" 1715 id 23
946 width 3 1716 graphics
947 targetArrow "standard" 1717 [
1718 w 138.60000000000002
1719 h 40
1720 type "rectangle"
1721 fill "#FFFFFF"
1722 fill2 "#FFFFFF"
1723 outline "#000000"
1724 ]
1725 LabelGraphics
1726 [
1727 text "null"
1728 outline "#000000"
1729 fill "#FFFFFF"
1730 fontSize 16
1731 fontName "Monospace"
1732 autoSizePolicy "node_width"
1733 anchor "t"
1734 borderDistance 0.0
1735 ]
1736 LabelGraphics
1737 [
1738 text "
1739 Transition class
1740 "
1741 fontSize 14
1742 fontName "Consolas"
1743 alignment "left"
1744 anchor "tl"
1745 borderDistance 6
1746 ]
948 ] 1747 ]
949 LabelGraphics 1748
1749 node
950 [ 1750 [
951 text "vertices reference Region" 1751 id 24
952 fontSize 14 1752 graphics
953 fontName "Consolas" 1753 [
954 configuration "AutoFlippingLabel" 1754 w 146.3
955 model "six_pos" 1755 h 68
956 position "thead" 1756 type "rectangle"
1757 fill "#FFFFFF"
1758 fill2 "#FFFFFF"
1759 outline "#000000"
1760 ]
1761 LabelGraphics
1762 [
1763 text "null"
1764 outline "#000000"
1765 fill "#FFFFFF"
1766 fontSize 16
1767 fontName "Monospace"
1768 autoSizePolicy "node_width"
1769 anchor "t"
1770 borderDistance 0.0
1771 ]
1772 LabelGraphics
1773 [
1774 text "
1775 Pseudostate class
1776 Vertex class
1777 Exit class
1778 "
1779 fontSize 14
1780 fontName "Consolas"
1781 alignment "left"
1782 anchor "tl"
1783 borderDistance 6
1784 ]
957 ] 1785 ]
958 ] 1786
959 edge 1787 node
960 [
961 source 6
962 target 4
963 graphics
964 [ 1788 [
965 fill "#000000" 1789 id 25
966 targetArrow "standard" 1790 graphics
1791 [
1792 w 138.60000000000002
1793 h 40
1794 type "rectangle"
1795 fill "#FFFFFF"
1796 fill2 "#FFFFFF"
1797 outline "#000000"
1798 ]
1799 LabelGraphics
1800 [
1801 text "null"
1802 outline "#000000"
1803 fill "#FFFFFF"
1804 fontSize 16
1805 fontName "Monospace"
1806 autoSizePolicy "node_width"
1807 anchor "t"
1808 borderDistance 0.0
1809 ]
1810 LabelGraphics
1811 [
1812 text "
1813 Transition class
1814 "
1815 fontSize 14
1816 fontName "Consolas"
1817 alignment "left"
1818 anchor "tl"
1819 borderDistance 6
1820 ]
967 ] 1821 ]
968 LabelGraphics 1822
1823 node
969 [ 1824 [
970 text "target reference Transition" 1825 id 26
971 fontSize 14 1826 graphics
972 fontName "Consolas" 1827 [
973 configuration "AutoFlippingLabel" 1828 w 292.6
974 model "six_pos" 1829 h 96
975 position "thead" 1830 type "rectangle"
1831 fill "#FFFFFF"
1832 fill2 "#FFFFFF"
1833 outline "#000000"
1834 ]
1835 LabelGraphics
1836 [
1837 text "null"
1838 outline "#000000"
1839 fill "#FFFFFF"
1840 fontSize 16
1841 fontName "Monospace"
1842 autoSizePolicy "node_width"
1843 anchor "t"
1844 borderDistance 0.0
1845 ]
1846 LabelGraphics
1847 [
1848 text "
1849 Vertex class
1850 State class
1851 RegularState class
1852 CompositeElement class
1853 CompositeElement class UndefinedPart
1854 "
1855 fontSize 14
1856 fontName "Consolas"
1857 alignment "left"
1858 anchor "tl"
1859 borderDistance 6
1860 ]
976 ] 1861 ]
977 ] 1862
978 edge 1863 node
979 [
980 source 6
981 target 5
982 graphics
983 [ 1864 [
984 fill "#000000" 1865 id 27
985 targetArrow "standard" 1866 graphics
1867 [
1868 w 154.0
1869 h 68
1870 type "rectangle"
1871 fill "#FFFFFF"
1872 fill2 "#FFFFFF"
1873 outline "#000000"
1874 ]
1875 LabelGraphics
1876 [
1877 text "null"
1878 outline "#000000"
1879 fill "#FFFFFF"
1880 fontSize 16
1881 fontName "Monospace"
1882 autoSizePolicy "node_width"
1883 anchor "t"
1884 borderDistance 0.0
1885 ]
1886 LabelGraphics
1887 [
1888 text "
1889 Vertex class
1890 RegularState class
1891 FinalState class
1892 "
1893 fontSize 14
1894 fontName "Consolas"
1895 alignment "left"
1896 anchor "tl"
1897 borderDistance 6
1898 ]
986 ] 1899 ]
987 LabelGraphics 1900
1901 node
988 [ 1902 [
989 text "source reference Transition" 1903 id 28
990 fontSize 14 1904 graphics
991 fontName "Consolas" 1905 [
992 configuration "AutoFlippingLabel" 1906 w 138.60000000000002
993 model "six_pos" 1907 h 40
994 position "thead" 1908 type "rectangle"
1909 fill "#FFFFFF"
1910 fill2 "#FFFFFF"
1911 outline "#000000"
1912 ]
1913 LabelGraphics
1914 [
1915 text "null"
1916 outline "#000000"
1917 fill "#FFFFFF"
1918 fontSize 16
1919 fontName "Monospace"
1920 autoSizePolicy "node_width"
1921 anchor "t"
1922 borderDistance 0.0
1923 ]
1924 LabelGraphics
1925 [
1926 text "
1927 Transition class
1928 "
1929 fontSize 14
1930 fontName "Consolas"
1931 alignment "left"
1932 anchor "tl"
1933 borderDistance 6
1934 ]
995 ] 1935 ]
996 ] 1936
997 edge 1937 node
998 [
999 source 0
1000 target 3
1001 graphics
1002 [ 1938 [
1003 fill "#000000" 1939 id 29
1004 width 3 1940 graphics
1005 targetArrow "standard" 1941 [
1942 w 138.60000000000002
1943 h 40
1944 type "rectangle"
1945 fill "#FFFFFF"
1946 fill2 "#FFFFFF"
1947 outline "#000000"
1948 ]
1949 LabelGraphics
1950 [
1951 text "null"
1952 outline "#000000"
1953 fill "#FFFFFF"
1954 fontSize 16
1955 fontName "Monospace"
1956 autoSizePolicy "node_width"
1957 anchor "t"
1958 borderDistance 0.0
1959 ]
1960 LabelGraphics
1961 [
1962 text "
1963 Transition class
1964 "
1965 fontSize 14
1966 fontName "Consolas"
1967 alignment "left"
1968 anchor "tl"
1969 borderDistance 6
1970 ]
1006 ] 1971 ]
1007 LabelGraphics 1972
1973 node
1008 [ 1974 [
1009 text "regions reference CompositeElement" 1975 id 30
1010 fontSize 14 1976 graphics
1011 fontName "Consolas" 1977 [
1012 configuration "AutoFlippingLabel" 1978 w 138.60000000000002
1013 model "six_pos" 1979 h 40
1014 position "thead" 1980 type "rectangle"
1981 fill "#FFFFFF"
1982 fill2 "#FFFFFF"
1983 outline "#000000"
1984 ]
1985 LabelGraphics
1986 [
1987 text "null"
1988 outline "#000000"
1989 fill "#FFFFFF"
1990 fontSize 16
1991 fontName "Monospace"
1992 autoSizePolicy "node_width"
1993 anchor "t"
1994 borderDistance 0.0
1995 ]
1996 LabelGraphics
1997 [
1998 text "
1999 Transition class
2000 "
2001 fontSize 14
2002 fontName "Consolas"
2003 alignment "left"
2004 anchor "tl"
2005 borderDistance 6
2006 ]
1015 ] 2007 ]
1016 ] 2008
1017]
1018graph
1019[
1020 node 2009 node
1021 [ 2010 [
1022 id 0 2011 id 31
1023 graphics 2012 graphics
1024 [ 2013 [
1025 w 277.20000000000005 2014 w 138.60000000000002
1026 h 82 2015 h 40
1027 type "rectangle" 2016 type "rectangle"
1028 fill "#FFFFFF" 2017 fill "#FFFFFF"
1029 fill2 "#FFFFFF" 2018 fill2 "#FFFFFF"
@@ -1031,7 +2020,7 @@ graph
1031 ] 2020 ]
1032 LabelGraphics 2021 LabelGraphics
1033 [ 2022 [
1034 text "o 1" 2023 text "null"
1035 outline "#000000" 2024 outline "#000000"
1036 fill "#FFFFFF" 2025 fill "#FFFFFF"
1037 fontSize 16 2026 fontSize 16
@@ -1043,10 +2032,7 @@ graph
1043 LabelGraphics 2032 LabelGraphics
1044 [ 2033 [
1045 text " 2034 text "
1046 Statechart class DefinedPart 2035 Transition class
1047 CompositeElement class DefinedPart
1048 Statechart class
1049 CompositeElement class
1050 " 2036 "
1051 fontSize 14 2037 fontSize 14
1052 fontName "Consolas" 2038 fontName "Consolas"
@@ -1058,11 +2044,11 @@ graph
1058 2044
1059 node 2045 node
1060 [ 2046 [
1061 id 1 2047 id 32
1062 graphics 2048 graphics
1063 [ 2049 [
1064 w 41.800000000000004 2050 w 138.60000000000002
1065 h 26 2051 h 40
1066 type "rectangle" 2052 type "rectangle"
1067 fill "#FFFFFF" 2053 fill "#FFFFFF"
1068 fill2 "#FFFFFF" 2054 fill2 "#FFFFFF"
@@ -1070,7 +2056,7 @@ graph
1070 ] 2056 ]
1071 LabelGraphics 2057 LabelGraphics
1072 [ 2058 [
1073 text "true" 2059 text "null"
1074 outline "#000000" 2060 outline "#000000"
1075 fill "#FFFFFF" 2061 fill "#FFFFFF"
1076 fontSize 16 2062 fontSize 16
@@ -1082,6 +2068,7 @@ graph
1082 LabelGraphics 2068 LabelGraphics
1083 [ 2069 [
1084 text " 2070 text "
2071 Transition class
1085 " 2072 "
1086 fontSize 14 2073 fontSize 14
1087 fontName "Consolas" 2074 fontName "Consolas"
@@ -1093,11 +2080,11 @@ graph
1093 2080
1094 node 2081 node
1095 [ 2082 [
1096 id 2 2083 id 33
1097 graphics 2084 graphics
1098 [ 2085 [
1099 w 50.6 2086 w 138.60000000000002
1100 h 26 2087 h 40
1101 type "rectangle" 2088 type "rectangle"
1102 fill "#FFFFFF" 2089 fill "#FFFFFF"
1103 fill2 "#FFFFFF" 2090 fill2 "#FFFFFF"
@@ -1105,7 +2092,7 @@ graph
1105 ] 2092 ]
1106 LabelGraphics 2093 LabelGraphics
1107 [ 2094 [
1108 text "false" 2095 text "null"
1109 outline "#000000" 2096 outline "#000000"
1110 fill "#FFFFFF" 2097 fill "#FFFFFF"
1111 fontSize 16 2098 fontSize 16
@@ -1117,6 +2104,7 @@ graph
1117 LabelGraphics 2104 LabelGraphics
1118 [ 2105 [
1119 text " 2106 text "
2107 Transition class
1120 " 2108 "
1121 fontSize 14 2109 fontSize 14
1122 fontName "Consolas" 2110 fontName "Consolas"
@@ -1128,10 +2116,10 @@ graph
1128 2116
1129 node 2117 node
1130 [ 2118 [
1131 id 3 2119 id 34
1132 graphics 2120 graphics
1133 [ 2121 [
1134 w 107.80000000000001 2122 w 138.60000000000002
1135 h 40 2123 h 40
1136 type "rectangle" 2124 type "rectangle"
1137 fill "#FFFFFF" 2125 fill "#FFFFFF"
@@ -1152,7 +2140,7 @@ graph
1152 LabelGraphics 2140 LabelGraphics
1153 [ 2141 [
1154 text " 2142 text "
1155 Region class 2143 Transition class
1156 " 2144 "
1157 fontSize 14 2145 fontSize 14
1158 fontName "Consolas" 2146 fontName "Consolas"
@@ -1164,7 +2152,43 @@ graph
1164 2152
1165 node 2153 node
1166 [ 2154 [
1167 id 4 2155 id 35
2156 graphics
2157 [
2158 w 138.60000000000002
2159 h 40
2160 type "rectangle"
2161 fill "#FFFFFF"
2162 fill2 "#FFFFFF"
2163 outline "#000000"
2164 ]
2165 LabelGraphics
2166 [
2167 text "null"
2168 outline "#000000"
2169 fill "#FFFFFF"
2170 fontSize 16
2171 fontName "Monospace"
2172 autoSizePolicy "node_width"
2173 anchor "t"
2174 borderDistance 0.0
2175 ]
2176 LabelGraphics
2177 [
2178 text "
2179 Transition class
2180 "
2181 fontSize 14
2182 fontName "Consolas"
2183 alignment "left"
2184 anchor "tl"
2185 borderDistance 6
2186 ]
2187 ]
2188
2189 node
2190 [
2191 id 36
1168 graphics 2192 graphics
1169 [ 2193 [
1170 w 146.3 2194 w 146.3
@@ -1190,7 +2214,7 @@ graph
1190 text " 2214 text "
1191 Pseudostate class 2215 Pseudostate class
1192 Vertex class 2216 Vertex class
1193 Entry class 2217 Exit class
1194 " 2218 "
1195 fontSize 14 2219 fontSize 14
1196 fontName "Consolas" 2220 fontName "Consolas"
@@ -1202,7 +2226,45 @@ graph
1202 2226
1203 node 2227 node
1204 [ 2228 [
1205 id 5 2229 id 37
2230 graphics
2231 [
2232 w 146.3
2233 h 68
2234 type "rectangle"
2235 fill "#FFFFFF"
2236 fill2 "#FFFFFF"
2237 outline "#000000"
2238 ]
2239 LabelGraphics
2240 [
2241 text "null"
2242 outline "#000000"
2243 fill "#FFFFFF"
2244 fontSize 16
2245 fontName "Monospace"
2246 autoSizePolicy "node_width"
2247 anchor "t"
2248 borderDistance 0.0
2249 ]
2250 LabelGraphics
2251 [
2252 text "
2253 Pseudostate class
2254 Vertex class
2255 Exit class
2256 "
2257 fontSize 14
2258 fontName "Consolas"
2259 alignment "left"
2260 anchor "tl"
2261 borderDistance 6
2262 ]
2263 ]
2264
2265 node
2266 [
2267 id 38
1206 graphics 2268 graphics
1207 [ 2269 [
1208 w 138.60000000000002 2270 w 138.60000000000002
@@ -1238,7 +2300,297 @@ graph
1238 2300
1239 node 2301 node
1240 [ 2302 [
1241 id 6 2303 id 39
2304 graphics
2305 [
2306 w 138.60000000000002
2307 h 40
2308 type "rectangle"
2309 fill "#FFFFFF"
2310 fill2 "#FFFFFF"
2311 outline "#000000"
2312 ]
2313 LabelGraphics
2314 [
2315 text "null"
2316 outline "#000000"
2317 fill "#FFFFFF"
2318 fontSize 16
2319 fontName "Monospace"
2320 autoSizePolicy "node_width"
2321 anchor "t"
2322 borderDistance 0.0
2323 ]
2324 LabelGraphics
2325 [
2326 text "
2327 Transition class
2328 "
2329 fontSize 14
2330 fontName "Consolas"
2331 alignment "left"
2332 anchor "tl"
2333 borderDistance 6
2334 ]
2335 ]
2336
2337 node
2338 [
2339 id 40
2340 graphics
2341 [
2342 w 138.60000000000002
2343 h 40
2344 type "rectangle"
2345 fill "#FFFFFF"
2346 fill2 "#FFFFFF"
2347 outline "#000000"
2348 ]
2349 LabelGraphics
2350 [
2351 text "null"
2352 outline "#000000"
2353 fill "#FFFFFF"
2354 fontSize 16
2355 fontName "Monospace"
2356 autoSizePolicy "node_width"
2357 anchor "t"
2358 borderDistance 0.0
2359 ]
2360 LabelGraphics
2361 [
2362 text "
2363 Transition class
2364 "
2365 fontSize 14
2366 fontName "Consolas"
2367 alignment "left"
2368 anchor "tl"
2369 borderDistance 6
2370 ]
2371 ]
2372
2373 node
2374 [
2375 id 41
2376 graphics
2377 [
2378 w 138.60000000000002
2379 h 40
2380 type "rectangle"
2381 fill "#FFFFFF"
2382 fill2 "#FFFFFF"
2383 outline "#000000"
2384 ]
2385 LabelGraphics
2386 [
2387 text "null"
2388 outline "#000000"
2389 fill "#FFFFFF"
2390 fontSize 16
2391 fontName "Monospace"
2392 autoSizePolicy "node_width"
2393 anchor "t"
2394 borderDistance 0.0
2395 ]
2396 LabelGraphics
2397 [
2398 text "
2399 Transition class
2400 "
2401 fontSize 14
2402 fontName "Consolas"
2403 alignment "left"
2404 anchor "tl"
2405 borderDistance 6
2406 ]
2407 ]
2408
2409 node
2410 [
2411 id 42
2412 graphics
2413 [
2414 w 138.60000000000002
2415 h 40
2416 type "rectangle"
2417 fill "#FFFFFF"
2418 fill2 "#FFFFFF"
2419 outline "#000000"
2420 ]
2421 LabelGraphics
2422 [
2423 text "null"
2424 outline "#000000"
2425 fill "#FFFFFF"
2426 fontSize 16
2427 fontName "Monospace"
2428 autoSizePolicy "node_width"
2429 anchor "t"
2430 borderDistance 0.0
2431 ]
2432 LabelGraphics
2433 [
2434 text "
2435 Transition class
2436 "
2437 fontSize 14
2438 fontName "Consolas"
2439 alignment "left"
2440 anchor "tl"
2441 borderDistance 6
2442 ]
2443 ]
2444
2445 node
2446 [
2447 id 43
2448 graphics
2449 [
2450 w 138.60000000000002
2451 h 40
2452 type "rectangle"
2453 fill "#FFFFFF"
2454 fill2 "#FFFFFF"
2455 outline "#000000"
2456 ]
2457 LabelGraphics
2458 [
2459 text "null"
2460 outline "#000000"
2461 fill "#FFFFFF"
2462 fontSize 16
2463 fontName "Monospace"
2464 autoSizePolicy "node_width"
2465 anchor "t"
2466 borderDistance 0.0
2467 ]
2468 LabelGraphics
2469 [
2470 text "
2471 Transition class
2472 "
2473 fontSize 14
2474 fontName "Consolas"
2475 alignment "left"
2476 anchor "tl"
2477 borderDistance 6
2478 ]
2479 ]
2480
2481 node
2482 [
2483 id 44
2484 graphics
2485 [
2486 w 138.60000000000002
2487 h 40
2488 type "rectangle"
2489 fill "#FFFFFF"
2490 fill2 "#FFFFFF"
2491 outline "#000000"
2492 ]
2493 LabelGraphics
2494 [
2495 text "null"
2496 outline "#000000"
2497 fill "#FFFFFF"
2498 fontSize 16
2499 fontName "Monospace"
2500 autoSizePolicy "node_width"
2501 anchor "t"
2502 borderDistance 0.0
2503 ]
2504 LabelGraphics
2505 [
2506 text "
2507 Transition class
2508 "
2509 fontSize 14
2510 fontName "Consolas"
2511 alignment "left"
2512 anchor "tl"
2513 borderDistance 6
2514 ]
2515 ]
2516
2517 node
2518 [
2519 id 45
2520 graphics
2521 [
2522 w 154.0
2523 h 68
2524 type "rectangle"
2525 fill "#FFFFFF"
2526 fill2 "#FFFFFF"
2527 outline "#000000"
2528 ]
2529 LabelGraphics
2530 [
2531 text "null"
2532 outline "#000000"
2533 fill "#FFFFFF"
2534 fontSize 16
2535 fontName "Monospace"
2536 autoSizePolicy "node_width"
2537 anchor "t"
2538 borderDistance 0.0
2539 ]
2540 LabelGraphics
2541 [
2542 text "
2543 Vertex class
2544 RegularState class
2545 FinalState class
2546 "
2547 fontSize 14
2548 fontName "Consolas"
2549 alignment "left"
2550 anchor "tl"
2551 borderDistance 6
2552 ]
2553 ]
2554
2555 node
2556 [
2557 id 46
2558 graphics
2559 [
2560 w 138.60000000000002
2561 h 40
2562 type "rectangle"
2563 fill "#FFFFFF"
2564 fill2 "#FFFFFF"
2565 outline "#000000"
2566 ]
2567 LabelGraphics
2568 [
2569 text "null"
2570 outline "#000000"
2571 fill "#FFFFFF"
2572 fontSize 16
2573 fontName "Monospace"
2574 autoSizePolicy "node_width"
2575 anchor "t"
2576 borderDistance 0.0
2577 ]
2578 LabelGraphics
2579 [
2580 text "
2581 Transition class
2582 "
2583 fontSize 14
2584 fontName "Consolas"
2585 alignment "left"
2586 anchor "tl"
2587 borderDistance 6
2588 ]
2589 ]
2590
2591 node
2592 [
2593 id 47
1242 graphics 2594 graphics
1243 [ 2595 [
1244 w 292.6 2596 w 292.6
@@ -1278,7 +2630,7 @@ graph
1278 2630
1279 node 2631 node
1280 [ 2632 [
1281 id 7 2633 id 48
1282 graphics 2634 graphics
1283 [ 2635 [
1284 w 138.60000000000002 2636 w 138.60000000000002
@@ -1314,7 +2666,115 @@ graph
1314 2666
1315 node 2667 node
1316 [ 2668 [
1317 id 8 2669 id 49
2670 graphics
2671 [
2672 w 138.60000000000002
2673 h 40
2674 type "rectangle"
2675 fill "#FFFFFF"
2676 fill2 "#FFFFFF"
2677 outline "#000000"
2678 ]
2679 LabelGraphics
2680 [
2681 text "null"
2682 outline "#000000"
2683 fill "#FFFFFF"
2684 fontSize 16
2685 fontName "Monospace"
2686 autoSizePolicy "node_width"
2687 anchor "t"
2688 borderDistance 0.0
2689 ]
2690 LabelGraphics
2691 [
2692 text "
2693 Transition class
2694 "
2695 fontSize 14
2696 fontName "Consolas"
2697 alignment "left"
2698 anchor "tl"
2699 borderDistance 6
2700 ]
2701 ]
2702
2703 node
2704 [
2705 id 50
2706 graphics
2707 [
2708 w 138.60000000000002
2709 h 40
2710 type "rectangle"
2711 fill "#FFFFFF"
2712 fill2 "#FFFFFF"
2713 outline "#000000"
2714 ]
2715 LabelGraphics
2716 [
2717 text "null"
2718 outline "#000000"
2719 fill "#FFFFFF"
2720 fontSize 16
2721 fontName "Monospace"
2722 autoSizePolicy "node_width"
2723 anchor "t"
2724 borderDistance 0.0
2725 ]
2726 LabelGraphics
2727 [
2728 text "
2729 Transition class
2730 "
2731 fontSize 14
2732 fontName "Consolas"
2733 alignment "left"
2734 anchor "tl"
2735 borderDistance 6
2736 ]
2737 ]
2738
2739 node
2740 [
2741 id 51
2742 graphics
2743 [
2744 w 138.60000000000002
2745 h 40
2746 type "rectangle"
2747 fill "#FFFFFF"
2748 fill2 "#FFFFFF"
2749 outline "#000000"
2750 ]
2751 LabelGraphics
2752 [
2753 text "null"
2754 outline "#000000"
2755 fill "#FFFFFF"
2756 fontSize 16
2757 fontName "Monospace"
2758 autoSizePolicy "node_width"
2759 anchor "t"
2760 borderDistance 0.0
2761 ]
2762 LabelGraphics
2763 [
2764 text "
2765 Transition class
2766 "
2767 fontSize 14
2768 fontName "Consolas"
2769 alignment "left"
2770 anchor "tl"
2771 borderDistance 6
2772 ]
2773 ]
2774
2775 node
2776 [
2777 id 52
1318 graphics 2778 graphics
1319 [ 2779 [
1320 w 112.2 2780 w 112.2
@@ -1349,7 +2809,7 @@ graph
1349 2809
1350 node 2810 node
1351 [ 2811 [
1352 id 9 2812 id 53
1353 graphics 2813 graphics
1354 [ 2814 [
1355 w 85.80000000000001 2815 w 85.80000000000001
@@ -1384,7 +2844,7 @@ graph
1384 2844
1385 node 2845 node
1386 [ 2846 [
1387 id 10 2847 id 54
1388 graphics 2848 graphics
1389 [ 2849 [
1390 w 103.4 2850 w 103.4
@@ -1419,7 +2879,7 @@ graph
1419 2879
1420 node 2880 node
1421 [ 2881 [
1422 id 11 2882 id 55
1423 graphics 2883 graphics
1424 [ 2884 [
1425 w 103.4 2885 w 103.4
@@ -1453,8 +2913,407 @@ graph
1453 ] 2913 ]
1454 edge 2914 edge
1455 [ 2915 [
2916 source 5
2917 target 8
2918 graphics
2919 [
2920 fill "#000000"
2921 targetArrow "standard"
2922 ]
2923 LabelGraphics
2924 [
2925 text "incomingTransitions reference Vertex"
2926 fontSize 14
2927 fontName "Consolas"
2928 configuration "AutoFlippingLabel"
2929 model "six_pos"
2930 position "thead"
2931 ]
2932 ]
2933 edge
2934 [
2935 source 4
2936 target 10
2937 graphics
2938 [
2939 fill "#000000"
2940 targetArrow "standard"
2941 ]
2942 LabelGraphics
2943 [
2944 text "incomingTransitions reference Vertex"
2945 fontSize 14
2946 fontName "Consolas"
2947 configuration "AutoFlippingLabel"
2948 model "six_pos"
2949 position "thead"
2950 ]
2951 ]
2952 edge
2953 [
2954 source 11
2955 target 12
2956 graphics
2957 [
2958 fill "#000000"
2959 targetArrow "standard"
2960 ]
2961 LabelGraphics
2962 [
2963 text "incomingTransitions reference Vertex"
2964 fontSize 14
2965 fontName "Consolas"
2966 configuration "AutoFlippingLabel"
2967 model "six_pos"
2968 position "thead"
2969 ]
2970 ]
2971 edge
2972 [
2973 source 11
2974 target 15
2975 graphics
2976 [
2977 fill "#000000"
2978 targetArrow "standard"
2979 ]
2980 LabelGraphics
2981 [
2982 text "incomingTransitions reference Vertex"
2983 fontSize 14
2984 fontName "Consolas"
2985 configuration "AutoFlippingLabel"
2986 model "six_pos"
2987 position "thead"
2988 ]
2989 ]
2990 edge
2991 [
2992 source 11
2993 target 18
2994 graphics
2995 [
2996 fill "#000000"
2997 targetArrow "standard"
2998 ]
2999 LabelGraphics
3000 [
3001 text "incomingTransitions reference Vertex"
3002 fontSize 14
3003 fontName "Consolas"
3004 configuration "AutoFlippingLabel"
3005 model "six_pos"
3006 position "thead"
3007 ]
3008 ]
3009 edge
3010 [
3011 source 14
3012 target 16
3013 graphics
3014 [
3015 fill "#000000"
3016 targetArrow "standard"
3017 ]
3018 LabelGraphics
3019 [
3020 text "incomingTransitions reference Vertex"
3021 fontSize 14
3022 fontName "Consolas"
3023 configuration "AutoFlippingLabel"
3024 model "six_pos"
3025 position "thead"
3026 ]
3027 ]
3028 edge
3029 [
3030 source 5
3031 target 19
3032 graphics
3033 [
3034 fill "#000000"
3035 targetArrow "standard"
3036 ]
3037 LabelGraphics
3038 [
3039 text "incomingTransitions reference Vertex"
3040 fontSize 14
3041 fontName "Consolas"
3042 configuration "AutoFlippingLabel"
3043 model "six_pos"
3044 position "thead"
3045 ]
3046 ]
3047 edge
3048 [
1456 source 6 3049 source 6
1457 target 7 3050 target 21
3051 graphics
3052 [
3053 fill "#000000"
3054 targetArrow "standard"
3055 ]
3056 LabelGraphics
3057 [
3058 text "incomingTransitions reference Vertex"
3059 fontSize 14
3060 fontName "Consolas"
3061 configuration "AutoFlippingLabel"
3062 model "six_pos"
3063 position "thead"
3064 ]
3065 ]
3066 edge
3067 [
3068 source 14
3069 target 23
3070 graphics
3071 [
3072 fill "#000000"
3073 targetArrow "standard"
3074 ]
3075 LabelGraphics
3076 [
3077 text "incomingTransitions reference Vertex"
3078 fontSize 14
3079 fontName "Consolas"
3080 configuration "AutoFlippingLabel"
3081 model "six_pos"
3082 position "thead"
3083 ]
3084 ]
3085 edge
3086 [
3087 source 13
3088 target 25
3089 graphics
3090 [
3091 fill "#000000"
3092 targetArrow "standard"
3093 ]
3094 LabelGraphics
3095 [
3096 text "incomingTransitions reference Vertex"
3097 fontSize 14
3098 fontName "Consolas"
3099 configuration "AutoFlippingLabel"
3100 model "six_pos"
3101 position "thead"
3102 ]
3103 ]
3104 edge
3105 [
3106 source 17
3107 target 28
3108 graphics
3109 [
3110 fill "#000000"
3111 targetArrow "standard"
3112 ]
3113 LabelGraphics
3114 [
3115 text "incomingTransitions reference Vertex"
3116 fontSize 14
3117 fontName "Consolas"
3118 configuration "AutoFlippingLabel"
3119 model "six_pos"
3120 position "thead"
3121 ]
3122 ]
3123 edge
3124 [
3125 source 13
3126 target 29
3127 graphics
3128 [
3129 fill "#000000"
3130 targetArrow "standard"
3131 ]
3132 LabelGraphics
3133 [
3134 text "incomingTransitions reference Vertex"
3135 fontSize 14
3136 fontName "Consolas"
3137 configuration "AutoFlippingLabel"
3138 model "six_pos"
3139 position "thead"
3140 ]
3141 ]
3142 edge
3143 [
3144 source 13
3145 target 30
3146 graphics
3147 [
3148 fill "#000000"
3149 targetArrow "standard"
3150 ]
3151 LabelGraphics
3152 [
3153 text "incomingTransitions reference Vertex"
3154 fontSize 14
3155 fontName "Consolas"
3156 configuration "AutoFlippingLabel"
3157 model "six_pos"
3158 position "thead"
3159 ]
3160 ]
3161 edge
3162 [
3163 source 17
3164 target 31
3165 graphics
3166 [
3167 fill "#000000"
3168 targetArrow "standard"
3169 ]
3170 LabelGraphics
3171 [
3172 text "incomingTransitions reference Vertex"
3173 fontSize 14
3174 fontName "Consolas"
3175 configuration "AutoFlippingLabel"
3176 model "six_pos"
3177 position "thead"
3178 ]
3179 ]
3180 edge
3181 [
3182 source 22
3183 target 32
3184 graphics
3185 [
3186 fill "#000000"
3187 targetArrow "standard"
3188 ]
3189 LabelGraphics
3190 [
3191 text "incomingTransitions reference Vertex"
3192 fontSize 14
3193 fontName "Consolas"
3194 configuration "AutoFlippingLabel"
3195 model "six_pos"
3196 position "thead"
3197 ]
3198 ]
3199 edge
3200 [
3201 source 13
3202 target 34
3203 graphics
3204 [
3205 fill "#000000"
3206 targetArrow "standard"
3207 ]
3208 LabelGraphics
3209 [
3210 text "incomingTransitions reference Vertex"
3211 fontSize 14
3212 fontName "Consolas"
3213 configuration "AutoFlippingLabel"
3214 model "six_pos"
3215 position "thead"
3216 ]
3217 ]
3218 edge
3219 [
3220 source 24
3221 target 33
3222 graphics
3223 [
3224 fill "#000000"
3225 targetArrow "standard"
3226 ]
3227 LabelGraphics
3228 [
3229 text "incomingTransitions reference Vertex"
3230 fontSize 14
3231 fontName "Consolas"
3232 configuration "AutoFlippingLabel"
3233 model "six_pos"
3234 position "thead"
3235 ]
3236 ]
3237 edge
3238 [
3239 source 22
3240 target 35
3241 graphics
3242 [
3243 fill "#000000"
3244 targetArrow "standard"
3245 ]
3246 LabelGraphics
3247 [
3248 text "incomingTransitions reference Vertex"
3249 fontSize 14
3250 fontName "Consolas"
3251 configuration "AutoFlippingLabel"
3252 model "six_pos"
3253 position "thead"
3254 ]
3255 ]
3256 edge
3257 [
3258 source 17
3259 target 38
3260 graphics
3261 [
3262 fill "#000000"
3263 targetArrow "standard"
3264 ]
3265 LabelGraphics
3266 [
3267 text "incomingTransitions reference Vertex"
3268 fontSize 14
3269 fontName "Consolas"
3270 configuration "AutoFlippingLabel"
3271 model "six_pos"
3272 position "thead"
3273 ]
3274 ]
3275 edge
3276 [
3277 source 27
3278 target 40
3279 graphics
3280 [
3281 fill "#000000"
3282 targetArrow "standard"
3283 ]
3284 LabelGraphics
3285 [
3286 text "incomingTransitions reference Vertex"
3287 fontSize 14
3288 fontName "Consolas"
3289 configuration "AutoFlippingLabel"
3290 model "six_pos"
3291 position "thead"
3292 ]
3293 ]
3294 edge
3295 [
3296 source 27
3297 target 39
3298 graphics
3299 [
3300 fill "#000000"
3301 targetArrow "standard"
3302 ]
3303 LabelGraphics
3304 [
3305 text "incomingTransitions reference Vertex"
3306 fontSize 14
3307 fontName "Consolas"
3308 configuration "AutoFlippingLabel"
3309 model "six_pos"
3310 position "thead"
3311 ]
3312 ]
3313 edge
3314 [
3315 source 13
3316 target 41
1458 graphics 3317 graphics
1459 [ 3318 [
1460 fill "#000000" 3319 fill "#000000"
@@ -1473,7 +3332,7 @@ graph
1473 edge 3332 edge
1474 [ 3333 [
1475 source 6 3334 source 6
1476 target 5 3335 target 42
1477 graphics 3336 graphics
1478 [ 3337 [
1479 fill "#000000" 3338 fill "#000000"
@@ -1491,8 +3350,141 @@ graph
1491 ] 3350 ]
1492 edge 3351 edge
1493 [ 3352 [
1494 source 4 3353 source 27
1495 target 5 3354 target 43
3355 graphics
3356 [
3357 fill "#000000"
3358 targetArrow "standard"
3359 ]
3360 LabelGraphics
3361 [
3362 text "incomingTransitions reference Vertex"
3363 fontSize 14
3364 fontName "Consolas"
3365 configuration "AutoFlippingLabel"
3366 model "six_pos"
3367 position "thead"
3368 ]
3369 ]
3370 edge
3371 [
3372 source 24
3373 target 44
3374 graphics
3375 [
3376 fill "#000000"
3377 targetArrow "standard"
3378 ]
3379 LabelGraphics
3380 [
3381 text "incomingTransitions reference Vertex"
3382 fontSize 14
3383 fontName "Consolas"
3384 configuration "AutoFlippingLabel"
3385 model "six_pos"
3386 position "thead"
3387 ]
3388 ]
3389 edge
3390 [
3391 source 22
3392 target 46
3393 graphics
3394 [
3395 fill "#000000"
3396 targetArrow "standard"
3397 ]
3398 LabelGraphics
3399 [
3400 text "incomingTransitions reference Vertex"
3401 fontSize 14
3402 fontName "Consolas"
3403 configuration "AutoFlippingLabel"
3404 model "six_pos"
3405 position "thead"
3406 ]
3407 ]
3408 edge
3409 [
3410 source 13
3411 target 48
3412 graphics
3413 [
3414 fill "#000000"
3415 targetArrow "standard"
3416 ]
3417 LabelGraphics
3418 [
3419 text "incomingTransitions reference Vertex"
3420 fontSize 14
3421 fontName "Consolas"
3422 configuration "AutoFlippingLabel"
3423 model "six_pos"
3424 position "thead"
3425 ]
3426 ]
3427 edge
3428 [
3429 source 45
3430 target 49
3431 graphics
3432 [
3433 fill "#000000"
3434 targetArrow "standard"
3435 ]
3436 LabelGraphics
3437 [
3438 text "incomingTransitions reference Vertex"
3439 fontSize 14
3440 fontName "Consolas"
3441 configuration "AutoFlippingLabel"
3442 model "six_pos"
3443 position "thead"
3444 ]
3445 ]
3446 edge
3447 [
3448 source 26
3449 target 50
3450 graphics
3451 [
3452 fill "#000000"
3453 targetArrow "standard"
3454 ]
3455 LabelGraphics
3456 [
3457 text "incomingTransitions reference Vertex"
3458 fontSize 14
3459 fontName "Consolas"
3460 configuration "AutoFlippingLabel"
3461 model "six_pos"
3462 position "thead"
3463 ]
3464 ]
3465 edge
3466 [
3467 source 27
3468 target 51
3469 graphics
3470 [
3471 fill "#000000"
3472 targetArrow "standard"
3473 ]
3474 LabelGraphics
3475 [
3476 text "incomingTransitions reference Vertex"
3477 fontSize 14
3478 fontName "Consolas"
3479 configuration "AutoFlippingLabel"
3480 model "six_pos"
3481 position "thead"
3482 ]
3483 ]
3484 edge
3485 [
3486 source 7
3487 target 8
1496 graphics 3488 graphics
1497 [ 3489 [
1498 fill "#000000" 3490 fill "#000000"
@@ -1511,8 +3503,568 @@ graph
1511 ] 3503 ]
1512 edge 3504 edge
1513 [ 3505 [
1514 source 6 3506 source 9
1515 target 7 3507 target 10
3508 graphics
3509 [
3510 fill "#000000"
3511 width 3
3512 targetArrow "standard"
3513 ]
3514 LabelGraphics
3515 [
3516 text "outgoingTransitions reference Vertex"
3517 fontSize 14
3518 fontName "Consolas"
3519 configuration "AutoFlippingLabel"
3520 model "six_pos"
3521 position "thead"
3522 ]
3523 ]
3524 edge
3525 [
3526 source 11
3527 target 12
3528 graphics
3529 [
3530 fill "#000000"
3531 width 3
3532 targetArrow "standard"
3533 ]
3534 LabelGraphics
3535 [
3536 text "outgoingTransitions reference Vertex"
3537 fontSize 14
3538 fontName "Consolas"
3539 configuration "AutoFlippingLabel"
3540 model "six_pos"
3541 position "thead"
3542 ]
3543 ]
3544 edge
3545 [
3546 source 9
3547 target 15
3548 graphics
3549 [
3550 fill "#000000"
3551 width 3
3552 targetArrow "standard"
3553 ]
3554 LabelGraphics
3555 [
3556 text "outgoingTransitions reference Vertex"
3557 fontSize 14
3558 fontName "Consolas"
3559 configuration "AutoFlippingLabel"
3560 model "six_pos"
3561 position "thead"
3562 ]
3563 ]
3564 edge
3565 [
3566 source 13
3567 target 16
3568 graphics
3569 [
3570 fill "#000000"
3571 width 3
3572 targetArrow "standard"
3573 ]
3574 LabelGraphics
3575 [
3576 text "outgoingTransitions reference Vertex"
3577 fontSize 14
3578 fontName "Consolas"
3579 configuration "AutoFlippingLabel"
3580 model "six_pos"
3581 position "thead"
3582 ]
3583 ]
3584 edge
3585 [
3586 source 13
3587 target 18
3588 graphics
3589 [
3590 fill "#000000"
3591 width 3
3592 targetArrow "standard"
3593 ]
3594 LabelGraphics
3595 [
3596 text "outgoingTransitions reference Vertex"
3597 fontSize 14
3598 fontName "Consolas"
3599 configuration "AutoFlippingLabel"
3600 model "six_pos"
3601 position "thead"
3602 ]
3603 ]
3604 edge
3605 [
3606 source 11
3607 target 19
3608 graphics
3609 [
3610 fill "#000000"
3611 width 3
3612 targetArrow "standard"
3613 ]
3614 LabelGraphics
3615 [
3616 text "outgoingTransitions reference Vertex"
3617 fontSize 14
3618 fontName "Consolas"
3619 configuration "AutoFlippingLabel"
3620 model "six_pos"
3621 position "thead"
3622 ]
3623 ]
3624 edge
3625 [
3626 source 20
3627 target 21
3628 graphics
3629 [
3630 fill "#000000"
3631 width 3
3632 targetArrow "standard"
3633 ]
3634 LabelGraphics
3635 [
3636 text "outgoingTransitions reference Vertex"
3637 fontSize 14
3638 fontName "Consolas"
3639 configuration "AutoFlippingLabel"
3640 model "six_pos"
3641 position "thead"
3642 ]
3643 ]
3644 edge
3645 [
3646 source 13
3647 target 23
3648 graphics
3649 [
3650 fill "#000000"
3651 width 3
3652 targetArrow "standard"
3653 ]
3654 LabelGraphics
3655 [
3656 text "outgoingTransitions reference Vertex"
3657 fontSize 14
3658 fontName "Consolas"
3659 configuration "AutoFlippingLabel"
3660 model "six_pos"
3661 position "thead"
3662 ]
3663 ]
3664 edge
3665 [
3666 source 14
3667 target 25
3668 graphics
3669 [
3670 fill "#000000"
3671 width 3
3672 targetArrow "standard"
3673 ]
3674 LabelGraphics
3675 [
3676 text "outgoingTransitions reference Vertex"
3677 fontSize 14
3678 fontName "Consolas"
3679 configuration "AutoFlippingLabel"
3680 model "six_pos"
3681 position "thead"
3682 ]
3683 ]
3684 edge
3685 [
3686 source 11
3687 target 28
3688 graphics
3689 [
3690 fill "#000000"
3691 width 3
3692 targetArrow "standard"
3693 ]
3694 LabelGraphics
3695 [
3696 text "outgoingTransitions reference Vertex"
3697 fontSize 14
3698 fontName "Consolas"
3699 configuration "AutoFlippingLabel"
3700 model "six_pos"
3701 position "thead"
3702 ]
3703 ]
3704 edge
3705 [
3706 source 14
3707 target 29
3708 graphics
3709 [
3710 fill "#000000"
3711 width 3
3712 targetArrow "standard"
3713 ]
3714 LabelGraphics
3715 [
3716 text "outgoingTransitions reference Vertex"
3717 fontSize 14
3718 fontName "Consolas"
3719 configuration "AutoFlippingLabel"
3720 model "six_pos"
3721 position "thead"
3722 ]
3723 ]
3724 edge
3725 [
3726 source 20
3727 target 30
3728 graphics
3729 [
3730 fill "#000000"
3731 width 3
3732 targetArrow "standard"
3733 ]
3734 LabelGraphics
3735 [
3736 text "outgoingTransitions reference Vertex"
3737 fontSize 14
3738 fontName "Consolas"
3739 configuration "AutoFlippingLabel"
3740 model "six_pos"
3741 position "thead"
3742 ]
3743 ]
3744 edge
3745 [
3746 source 11
3747 target 31
3748 graphics
3749 [
3750 fill "#000000"
3751 width 3
3752 targetArrow "standard"
3753 ]
3754 LabelGraphics
3755 [
3756 text "outgoingTransitions reference Vertex"
3757 fontSize 14
3758 fontName "Consolas"
3759 configuration "AutoFlippingLabel"
3760 model "six_pos"
3761 position "thead"
3762 ]
3763 ]
3764 edge
3765 [
3766 source 11
3767 target 32
3768 graphics
3769 [
3770 fill "#000000"
3771 width 3
3772 targetArrow "standard"
3773 ]
3774 LabelGraphics
3775 [
3776 text "outgoingTransitions reference Vertex"
3777 fontSize 14
3778 fontName "Consolas"
3779 configuration "AutoFlippingLabel"
3780 model "six_pos"
3781 position "thead"
3782 ]
3783 ]
3784 edge
3785 [
3786 source 26
3787 target 33
3788 graphics
3789 [
3790 fill "#000000"
3791 width 3
3792 targetArrow "standard"
3793 ]
3794 LabelGraphics
3795 [
3796 text "outgoingTransitions reference Vertex"
3797 fontSize 14
3798 fontName "Consolas"
3799 configuration "AutoFlippingLabel"
3800 model "six_pos"
3801 position "thead"
3802 ]
3803 ]
3804 edge
3805 [
3806 source 11
3807 target 34
3808 graphics
3809 [
3810 fill "#000000"
3811 width 3
3812 targetArrow "standard"
3813 ]
3814 LabelGraphics
3815 [
3816 text "outgoingTransitions reference Vertex"
3817 fontSize 14
3818 fontName "Consolas"
3819 configuration "AutoFlippingLabel"
3820 model "six_pos"
3821 position "thead"
3822 ]
3823 ]
3824 edge
3825 [
3826 source 9
3827 target 35
3828 graphics
3829 [
3830 fill "#000000"
3831 width 3
3832 targetArrow "standard"
3833 ]
3834 LabelGraphics
3835 [
3836 text "outgoingTransitions reference Vertex"
3837 fontSize 14
3838 fontName "Consolas"
3839 configuration "AutoFlippingLabel"
3840 model "six_pos"
3841 position "thead"
3842 ]
3843 ]
3844 edge
3845 [
3846 source 14
3847 target 38
3848 graphics
3849 [
3850 fill "#000000"
3851 width 3
3852 targetArrow "standard"
3853 ]
3854 LabelGraphics
3855 [
3856 text "outgoingTransitions reference Vertex"
3857 fontSize 14
3858 fontName "Consolas"
3859 configuration "AutoFlippingLabel"
3860 model "six_pos"
3861 position "thead"
3862 ]
3863 ]
3864 edge
3865 [
3866 source 17
3867 target 39
3868 graphics
3869 [
3870 fill "#000000"
3871 width 3
3872 targetArrow "standard"
3873 ]
3874 LabelGraphics
3875 [
3876 text "outgoingTransitions reference Vertex"
3877 fontSize 14
3878 fontName "Consolas"
3879 configuration "AutoFlippingLabel"
3880 model "six_pos"
3881 position "thead"
3882 ]
3883 ]
3884 edge
3885 [
3886 source 20
3887 target 40
3888 graphics
3889 [
3890 fill "#000000"
3891 width 3
3892 targetArrow "standard"
3893 ]
3894 LabelGraphics
3895 [
3896 text "outgoingTransitions reference Vertex"
3897 fontSize 14
3898 fontName "Consolas"
3899 configuration "AutoFlippingLabel"
3900 model "six_pos"
3901 position "thead"
3902 ]
3903 ]
3904 edge
3905 [
3906 source 17
3907 target 41
3908 graphics
3909 [
3910 fill "#000000"
3911 width 3
3912 targetArrow "standard"
3913 ]
3914 LabelGraphics
3915 [
3916 text "outgoingTransitions reference Vertex"
3917 fontSize 14
3918 fontName "Consolas"
3919 configuration "AutoFlippingLabel"
3920 model "six_pos"
3921 position "thead"
3922 ]
3923 ]
3924 edge
3925 [
3926 source 26
3927 target 42
3928 graphics
3929 [
3930 fill "#000000"
3931 width 3
3932 targetArrow "standard"
3933 ]
3934 LabelGraphics
3935 [
3936 text "outgoingTransitions reference Vertex"
3937 fontSize 14
3938 fontName "Consolas"
3939 configuration "AutoFlippingLabel"
3940 model "six_pos"
3941 position "thead"
3942 ]
3943 ]
3944 edge
3945 [
3946 source 11
3947 target 43
3948 graphics
3949 [
3950 fill "#000000"
3951 width 3
3952 targetArrow "standard"
3953 ]
3954 LabelGraphics
3955 [
3956 text "outgoingTransitions reference Vertex"
3957 fontSize 14
3958 fontName "Consolas"
3959 configuration "AutoFlippingLabel"
3960 model "six_pos"
3961 position "thead"
3962 ]
3963 ]
3964 edge
3965 [
3966 source 14
3967 target 44
3968 graphics
3969 [
3970 fill "#000000"
3971 width 3
3972 targetArrow "standard"
3973 ]
3974 LabelGraphics
3975 [
3976 text "outgoingTransitions reference Vertex"
3977 fontSize 14
3978 fontName "Consolas"
3979 configuration "AutoFlippingLabel"
3980 model "six_pos"
3981 position "thead"
3982 ]
3983 ]
3984 edge
3985 [
3986 source 13
3987 target 46
3988 graphics
3989 [
3990 fill "#000000"
3991 width 3
3992 targetArrow "standard"
3993 ]
3994 LabelGraphics
3995 [
3996 text "outgoingTransitions reference Vertex"
3997 fontSize 14
3998 fontName "Consolas"
3999 configuration "AutoFlippingLabel"
4000 model "six_pos"
4001 position "thead"
4002 ]
4003 ]
4004 edge
4005 [
4006 source 17
4007 target 48
4008 graphics
4009 [
4010 fill "#000000"
4011 width 3
4012 targetArrow "standard"
4013 ]
4014 LabelGraphics
4015 [
4016 text "outgoingTransitions reference Vertex"
4017 fontSize 14
4018 fontName "Consolas"
4019 configuration "AutoFlippingLabel"
4020 model "six_pos"
4021 position "thead"
4022 ]
4023 ]
4024 edge
4025 [
4026 source 14
4027 target 49
4028 graphics
4029 [
4030 fill "#000000"
4031 width 3
4032 targetArrow "standard"
4033 ]
4034 LabelGraphics
4035 [
4036 text "outgoingTransitions reference Vertex"
4037 fontSize 14
4038 fontName "Consolas"
4039 configuration "AutoFlippingLabel"
4040 model "six_pos"
4041 position "thead"
4042 ]
4043 ]
4044 edge
4045 [
4046 source 47
4047 target 50
4048 graphics
4049 [
4050 fill "#000000"
4051 width 3
4052 targetArrow "standard"
4053 ]
4054 LabelGraphics
4055 [
4056 text "outgoingTransitions reference Vertex"
4057 fontSize 14
4058 fontName "Consolas"
4059 configuration "AutoFlippingLabel"
4060 model "six_pos"
4061 position "thead"
4062 ]
4063 ]
4064 edge
4065 [
4066 source 47
4067 target 51
1516 graphics 4068 graphics
1517 [ 4069 [
1518 fill "#000000" 4070 fill "#000000"
@@ -1552,6 +4104,26 @@ graph
1552 edge 4104 edge
1553 [ 4105 [
1554 source 3 4106 source 3
4107 target 5
4108 graphics
4109 [
4110 fill "#000000"
4111 width 3
4112 targetArrow "standard"
4113 ]
4114 LabelGraphics
4115 [
4116 text "vertices reference Region"
4117 fontSize 14
4118 fontName "Consolas"
4119 configuration "AutoFlippingLabel"
4120 model "six_pos"
4121 position "thead"
4122 ]
4123 ]
4124 edge
4125 [
4126 source 3
1555 target 6 4127 target 6
1556 graphics 4128 graphics
1557 [ 4129 [
@@ -1571,7 +4143,440 @@ graph
1571 ] 4143 ]
1572 edge 4144 edge
1573 [ 4145 [
1574 source 7 4146 source 3
4147 target 7
4148 graphics
4149 [
4150 fill "#000000"
4151 width 3
4152 targetArrow "standard"
4153 ]
4154 LabelGraphics
4155 [
4156 text "vertices reference Region"
4157 fontSize 14
4158 fontName "Consolas"
4159 configuration "AutoFlippingLabel"
4160 model "six_pos"
4161 position "thead"
4162 ]
4163 ]
4164 edge
4165 [
4166 source 3
4167 target 9
4168 graphics
4169 [
4170 fill "#000000"
4171 width 3
4172 targetArrow "standard"
4173 ]
4174 LabelGraphics
4175 [
4176 text "vertices reference Region"
4177 fontSize 14
4178 fontName "Consolas"
4179 configuration "AutoFlippingLabel"
4180 model "six_pos"
4181 position "thead"
4182 ]
4183 ]
4184 edge
4185 [
4186 source 3
4187 target 11
4188 graphics
4189 [
4190 fill "#000000"
4191 width 3
4192 targetArrow "standard"
4193 ]
4194 LabelGraphics
4195 [
4196 text "vertices reference Region"
4197 fontSize 14
4198 fontName "Consolas"
4199 configuration "AutoFlippingLabel"
4200 model "six_pos"
4201 position "thead"
4202 ]
4203 ]
4204 edge
4205 [
4206 source 3
4207 target 13
4208 graphics
4209 [
4210 fill "#000000"
4211 width 3
4212 targetArrow "standard"
4213 ]
4214 LabelGraphics
4215 [
4216 text "vertices reference Region"
4217 fontSize 14
4218 fontName "Consolas"
4219 configuration "AutoFlippingLabel"
4220 model "six_pos"
4221 position "thead"
4222 ]
4223 ]
4224 edge
4225 [
4226 source 3
4227 target 14
4228 graphics
4229 [
4230 fill "#000000"
4231 width 3
4232 targetArrow "standard"
4233 ]
4234 LabelGraphics
4235 [
4236 text "vertices reference Region"
4237 fontSize 14
4238 fontName "Consolas"
4239 configuration "AutoFlippingLabel"
4240 model "six_pos"
4241 position "thead"
4242 ]
4243 ]
4244 edge
4245 [
4246 source 3
4247 target 17
4248 graphics
4249 [
4250 fill "#000000"
4251 width 3
4252 targetArrow "standard"
4253 ]
4254 LabelGraphics
4255 [
4256 text "vertices reference Region"
4257 fontSize 14
4258 fontName "Consolas"
4259 configuration "AutoFlippingLabel"
4260 model "six_pos"
4261 position "thead"
4262 ]
4263 ]
4264 edge
4265 [
4266 source 3
4267 target 20
4268 graphics
4269 [
4270 fill "#000000"
4271 width 3
4272 targetArrow "standard"
4273 ]
4274 LabelGraphics
4275 [
4276 text "vertices reference Region"
4277 fontSize 14
4278 fontName "Consolas"
4279 configuration "AutoFlippingLabel"
4280 model "six_pos"
4281 position "thead"
4282 ]
4283 ]
4284 edge
4285 [
4286 source 3
4287 target 22
4288 graphics
4289 [
4290 fill "#000000"
4291 width 3
4292 targetArrow "standard"
4293 ]
4294 LabelGraphics
4295 [
4296 text "vertices reference Region"
4297 fontSize 14
4298 fontName "Consolas"
4299 configuration "AutoFlippingLabel"
4300 model "six_pos"
4301 position "thead"
4302 ]
4303 ]
4304 edge
4305 [
4306 source 3
4307 target 24
4308 graphics
4309 [
4310 fill "#000000"
4311 width 3
4312 targetArrow "standard"
4313 ]
4314 LabelGraphics
4315 [
4316 text "vertices reference Region"
4317 fontSize 14
4318 fontName "Consolas"
4319 configuration "AutoFlippingLabel"
4320 model "six_pos"
4321 position "thead"
4322 ]
4323 ]
4324 edge
4325 [
4326 source 3
4327 target 26
4328 graphics
4329 [
4330 fill "#000000"
4331 width 3
4332 targetArrow "standard"
4333 ]
4334 LabelGraphics
4335 [
4336 text "vertices reference Region"
4337 fontSize 14
4338 fontName "Consolas"
4339 configuration "AutoFlippingLabel"
4340 model "six_pos"
4341 position "thead"
4342 ]
4343 ]
4344 edge
4345 [
4346 source 3
4347 target 27
4348 graphics
4349 [
4350 fill "#000000"
4351 width 3
4352 targetArrow "standard"
4353 ]
4354 LabelGraphics
4355 [
4356 text "vertices reference Region"
4357 fontSize 14
4358 fontName "Consolas"
4359 configuration "AutoFlippingLabel"
4360 model "six_pos"
4361 position "thead"
4362 ]
4363 ]
4364 edge
4365 [
4366 source 3
4367 target 36
4368 graphics
4369 [
4370 fill "#000000"
4371 width 3
4372 targetArrow "standard"
4373 ]
4374 LabelGraphics
4375 [
4376 text "vertices reference Region"
4377 fontSize 14
4378 fontName "Consolas"
4379 configuration "AutoFlippingLabel"
4380 model "six_pos"
4381 position "thead"
4382 ]
4383 ]
4384 edge
4385 [
4386 source 3
4387 target 37
4388 graphics
4389 [
4390 fill "#000000"
4391 width 3
4392 targetArrow "standard"
4393 ]
4394 LabelGraphics
4395 [
4396 text "vertices reference Region"
4397 fontSize 14
4398 fontName "Consolas"
4399 configuration "AutoFlippingLabel"
4400 model "six_pos"
4401 position "thead"
4402 ]
4403 ]
4404 edge
4405 [
4406 source 3
4407 target 45
4408 graphics
4409 [
4410 fill "#000000"
4411 width 3
4412 targetArrow "standard"
4413 ]
4414 LabelGraphics
4415 [
4416 text "vertices reference Region"
4417 fontSize 14
4418 fontName "Consolas"
4419 configuration "AutoFlippingLabel"
4420 model "six_pos"
4421 position "thead"
4422 ]
4423 ]
4424 edge
4425 [
4426 source 3
4427 target 47
4428 graphics
4429 [
4430 fill "#000000"
4431 width 3
4432 targetArrow "standard"
4433 ]
4434 LabelGraphics
4435 [
4436 text "vertices reference Region"
4437 fontSize 14
4438 fontName "Consolas"
4439 configuration "AutoFlippingLabel"
4440 model "six_pos"
4441 position "thead"
4442 ]
4443 ]
4444 edge
4445 [
4446 source 8
4447 target 5
4448 graphics
4449 [
4450 fill "#000000"
4451 targetArrow "standard"
4452 ]
4453 LabelGraphics
4454 [
4455 text "target reference Transition"
4456 fontSize 14
4457 fontName "Consolas"
4458 configuration "AutoFlippingLabel"
4459 model "six_pos"
4460 position "thead"
4461 ]
4462 ]
4463 edge
4464 [
4465 source 10
4466 target 4
4467 graphics
4468 [
4469 fill "#000000"
4470 targetArrow "standard"
4471 ]
4472 LabelGraphics
4473 [
4474 text "target reference Transition"
4475 fontSize 14
4476 fontName "Consolas"
4477 configuration "AutoFlippingLabel"
4478 model "six_pos"
4479 position "thead"
4480 ]
4481 ]
4482 edge
4483 [
4484 source 12
4485 target 11
4486 graphics
4487 [
4488 fill "#000000"
4489 targetArrow "standard"
4490 ]
4491 LabelGraphics
4492 [
4493 text "target reference Transition"
4494 fontSize 14
4495 fontName "Consolas"
4496 configuration "AutoFlippingLabel"
4497 model "six_pos"
4498 position "thead"
4499 ]
4500 ]
4501 edge
4502 [
4503 source 15
4504 target 11
4505 graphics
4506 [
4507 fill "#000000"
4508 targetArrow "standard"
4509 ]
4510 LabelGraphics
4511 [
4512 text "target reference Transition"
4513 fontSize 14
4514 fontName "Consolas"
4515 configuration "AutoFlippingLabel"
4516 model "six_pos"
4517 position "thead"
4518 ]
4519 ]
4520 edge
4521 [
4522 source 18
4523 target 11
4524 graphics
4525 [
4526 fill "#000000"
4527 targetArrow "standard"
4528 ]
4529 LabelGraphics
4530 [
4531 text "target reference Transition"
4532 fontSize 14
4533 fontName "Consolas"
4534 configuration "AutoFlippingLabel"
4535 model "six_pos"
4536 position "thead"
4537 ]
4538 ]
4539 edge
4540 [
4541 source 16
4542 target 14
4543 graphics
4544 [
4545 fill "#000000"
4546 targetArrow "standard"
4547 ]
4548 LabelGraphics
4549 [
4550 text "target reference Transition"
4551 fontSize 14
4552 fontName "Consolas"
4553 configuration "AutoFlippingLabel"
4554 model "six_pos"
4555 position "thead"
4556 ]
4557 ]
4558 edge
4559 [
4560 source 19
4561 target 5
4562 graphics
4563 [
4564 fill "#000000"
4565 targetArrow "standard"
4566 ]
4567 LabelGraphics
4568 [
4569 text "target reference Transition"
4570 fontSize 14
4571 fontName "Consolas"
4572 configuration "AutoFlippingLabel"
4573 model "six_pos"
4574 position "thead"
4575 ]
4576 ]
4577 edge
4578 [
4579 source 21
1575 target 6 4580 target 6
1576 graphics 4581 graphics
1577 [ 4582 [
@@ -1590,7 +4595,273 @@ graph
1590 ] 4595 ]
1591 edge 4596 edge
1592 [ 4597 [
1593 source 5 4598 source 23
4599 target 14
4600 graphics
4601 [
4602 fill "#000000"
4603 targetArrow "standard"
4604 ]
4605 LabelGraphics
4606 [
4607 text "target reference Transition"
4608 fontSize 14
4609 fontName "Consolas"
4610 configuration "AutoFlippingLabel"
4611 model "six_pos"
4612 position "thead"
4613 ]
4614 ]
4615 edge
4616 [
4617 source 25
4618 target 13
4619 graphics
4620 [
4621 fill "#000000"
4622 targetArrow "standard"
4623 ]
4624 LabelGraphics
4625 [
4626 text "target reference Transition"
4627 fontSize 14
4628 fontName "Consolas"
4629 configuration "AutoFlippingLabel"
4630 model "six_pos"
4631 position "thead"
4632 ]
4633 ]
4634 edge
4635 [
4636 source 28
4637 target 17
4638 graphics
4639 [
4640 fill "#000000"
4641 targetArrow "standard"
4642 ]
4643 LabelGraphics
4644 [
4645 text "target reference Transition"
4646 fontSize 14
4647 fontName "Consolas"
4648 configuration "AutoFlippingLabel"
4649 model "six_pos"
4650 position "thead"
4651 ]
4652 ]
4653 edge
4654 [
4655 source 29
4656 target 13
4657 graphics
4658 [
4659 fill "#000000"
4660 targetArrow "standard"
4661 ]
4662 LabelGraphics
4663 [
4664 text "target reference Transition"
4665 fontSize 14
4666 fontName "Consolas"
4667 configuration "AutoFlippingLabel"
4668 model "six_pos"
4669 position "thead"
4670 ]
4671 ]
4672 edge
4673 [
4674 source 30
4675 target 13
4676 graphics
4677 [
4678 fill "#000000"
4679 targetArrow "standard"
4680 ]
4681 LabelGraphics
4682 [
4683 text "target reference Transition"
4684 fontSize 14
4685 fontName "Consolas"
4686 configuration "AutoFlippingLabel"
4687 model "six_pos"
4688 position "thead"
4689 ]
4690 ]
4691 edge
4692 [
4693 source 31
4694 target 17
4695 graphics
4696 [
4697 fill "#000000"
4698 targetArrow "standard"
4699 ]
4700 LabelGraphics
4701 [
4702 text "target reference Transition"
4703 fontSize 14
4704 fontName "Consolas"
4705 configuration "AutoFlippingLabel"
4706 model "six_pos"
4707 position "thead"
4708 ]
4709 ]
4710 edge
4711 [
4712 source 32
4713 target 22
4714 graphics
4715 [
4716 fill "#000000"
4717 targetArrow "standard"
4718 ]
4719 LabelGraphics
4720 [
4721 text "target reference Transition"
4722 fontSize 14
4723 fontName "Consolas"
4724 configuration "AutoFlippingLabel"
4725 model "six_pos"
4726 position "thead"
4727 ]
4728 ]
4729 edge
4730 [
4731 source 34
4732 target 13
4733 graphics
4734 [
4735 fill "#000000"
4736 targetArrow "standard"
4737 ]
4738 LabelGraphics
4739 [
4740 text "target reference Transition"
4741 fontSize 14
4742 fontName "Consolas"
4743 configuration "AutoFlippingLabel"
4744 model "six_pos"
4745 position "thead"
4746 ]
4747 ]
4748 edge
4749 [
4750 source 33
4751 target 24
4752 graphics
4753 [
4754 fill "#000000"
4755 targetArrow "standard"
4756 ]
4757 LabelGraphics
4758 [
4759 text "target reference Transition"
4760 fontSize 14
4761 fontName "Consolas"
4762 configuration "AutoFlippingLabel"
4763 model "six_pos"
4764 position "thead"
4765 ]
4766 ]
4767 edge
4768 [
4769 source 35
4770 target 22
4771 graphics
4772 [
4773 fill "#000000"
4774 targetArrow "standard"
4775 ]
4776 LabelGraphics
4777 [
4778 text "target reference Transition"
4779 fontSize 14
4780 fontName "Consolas"
4781 configuration "AutoFlippingLabel"
4782 model "six_pos"
4783 position "thead"
4784 ]
4785 ]
4786 edge
4787 [
4788 source 38
4789 target 17
4790 graphics
4791 [
4792 fill "#000000"
4793 targetArrow "standard"
4794 ]
4795 LabelGraphics
4796 [
4797 text "target reference Transition"
4798 fontSize 14
4799 fontName "Consolas"
4800 configuration "AutoFlippingLabel"
4801 model "six_pos"
4802 position "thead"
4803 ]
4804 ]
4805 edge
4806 [
4807 source 40
4808 target 27
4809 graphics
4810 [
4811 fill "#000000"
4812 targetArrow "standard"
4813 ]
4814 LabelGraphics
4815 [
4816 text "target reference Transition"
4817 fontSize 14
4818 fontName "Consolas"
4819 configuration "AutoFlippingLabel"
4820 model "six_pos"
4821 position "thead"
4822 ]
4823 ]
4824 edge
4825 [
4826 source 39
4827 target 27
4828 graphics
4829 [
4830 fill "#000000"
4831 targetArrow "standard"
4832 ]
4833 LabelGraphics
4834 [
4835 text "target reference Transition"
4836 fontSize 14
4837 fontName "Consolas"
4838 configuration "AutoFlippingLabel"
4839 model "six_pos"
4840 position "thead"
4841 ]
4842 ]
4843 edge
4844 [
4845 source 41
4846 target 13
4847 graphics
4848 [
4849 fill "#000000"
4850 targetArrow "standard"
4851 ]
4852 LabelGraphics
4853 [
4854 text "target reference Transition"
4855 fontSize 14
4856 fontName "Consolas"
4857 configuration "AutoFlippingLabel"
4858 model "six_pos"
4859 position "thead"
4860 ]
4861 ]
4862 edge
4863 [
4864 source 42
1594 target 6 4865 target 6
1595 graphics 4866 graphics
1596 [ 4867 [
@@ -1609,8 +4880,141 @@ graph
1609 ] 4880 ]
1610 edge 4881 edge
1611 [ 4882 [
1612 source 5 4883 source 43
1613 target 4 4884 target 27
4885 graphics
4886 [
4887 fill "#000000"
4888 targetArrow "standard"
4889 ]
4890 LabelGraphics
4891 [
4892 text "target reference Transition"
4893 fontSize 14
4894 fontName "Consolas"
4895 configuration "AutoFlippingLabel"
4896 model "six_pos"
4897 position "thead"
4898 ]
4899 ]
4900 edge
4901 [
4902 source 44
4903 target 24
4904 graphics
4905 [
4906 fill "#000000"
4907 targetArrow "standard"
4908 ]
4909 LabelGraphics
4910 [
4911 text "target reference Transition"
4912 fontSize 14
4913 fontName "Consolas"
4914 configuration "AutoFlippingLabel"
4915 model "six_pos"
4916 position "thead"
4917 ]
4918 ]
4919 edge
4920 [
4921 source 46
4922 target 22
4923 graphics
4924 [
4925 fill "#000000"
4926 targetArrow "standard"
4927 ]
4928 LabelGraphics
4929 [
4930 text "target reference Transition"
4931 fontSize 14
4932 fontName "Consolas"
4933 configuration "AutoFlippingLabel"
4934 model "six_pos"
4935 position "thead"
4936 ]
4937 ]
4938 edge
4939 [
4940 source 48
4941 target 13
4942 graphics
4943 [
4944 fill "#000000"
4945 targetArrow "standard"
4946 ]
4947 LabelGraphics
4948 [
4949 text "target reference Transition"
4950 fontSize 14
4951 fontName "Consolas"
4952 configuration "AutoFlippingLabel"
4953 model "six_pos"
4954 position "thead"
4955 ]
4956 ]
4957 edge
4958 [
4959 source 49
4960 target 45
4961 graphics
4962 [
4963 fill "#000000"
4964 targetArrow "standard"
4965 ]
4966 LabelGraphics
4967 [
4968 text "target reference Transition"
4969 fontSize 14
4970 fontName "Consolas"
4971 configuration "AutoFlippingLabel"
4972 model "six_pos"
4973 position "thead"
4974 ]
4975 ]
4976 edge
4977 [
4978 source 50
4979 target 26
4980 graphics
4981 [
4982 fill "#000000"
4983 targetArrow "standard"
4984 ]
4985 LabelGraphics
4986 [
4987 text "target reference Transition"
4988 fontSize 14
4989 fontName "Consolas"
4990 configuration "AutoFlippingLabel"
4991 model "six_pos"
4992 position "thead"
4993 ]
4994 ]
4995 edge
4996 [
4997 source 51
4998 target 27
4999 graphics
5000 [
5001 fill "#000000"
5002 targetArrow "standard"
5003 ]
5004 LabelGraphics
5005 [
5006 text "target reference Transition"
5007 fontSize 14
5008 fontName "Consolas"
5009 configuration "AutoFlippingLabel"
5010 model "six_pos"
5011 position "thead"
5012 ]
5013 ]
5014 edge
5015 [
5016 source 8
5017 target 7
1614 graphics 5018 graphics
1615 [ 5019 [
1616 fill "#000000" 5020 fill "#000000"
@@ -1628,8 +5032,540 @@ graph
1628 ] 5032 ]
1629 edge 5033 edge
1630 [ 5034 [
1631 source 7 5035 source 10
1632 target 6 5036 target 9
5037 graphics
5038 [
5039 fill "#000000"
5040 targetArrow "standard"
5041 ]
5042 LabelGraphics
5043 [
5044 text "source reference Transition"
5045 fontSize 14
5046 fontName "Consolas"
5047 configuration "AutoFlippingLabel"
5048 model "six_pos"
5049 position "thead"
5050 ]
5051 ]
5052 edge
5053 [
5054 source 12
5055 target 11
5056 graphics
5057 [
5058 fill "#000000"
5059 targetArrow "standard"
5060 ]
5061 LabelGraphics
5062 [
5063 text "source reference Transition"
5064 fontSize 14
5065 fontName "Consolas"
5066 configuration "AutoFlippingLabel"
5067 model "six_pos"
5068 position "thead"
5069 ]
5070 ]
5071 edge
5072 [
5073 source 15
5074 target 9
5075 graphics
5076 [
5077 fill "#000000"
5078 targetArrow "standard"
5079 ]
5080 LabelGraphics
5081 [
5082 text "source reference Transition"
5083 fontSize 14
5084 fontName "Consolas"
5085 configuration "AutoFlippingLabel"
5086 model "six_pos"
5087 position "thead"
5088 ]
5089 ]
5090 edge
5091 [
5092 source 16
5093 target 13
5094 graphics
5095 [
5096 fill "#000000"
5097 targetArrow "standard"
5098 ]
5099 LabelGraphics
5100 [
5101 text "source reference Transition"
5102 fontSize 14
5103 fontName "Consolas"
5104 configuration "AutoFlippingLabel"
5105 model "six_pos"
5106 position "thead"
5107 ]
5108 ]
5109 edge
5110 [
5111 source 18
5112 target 13
5113 graphics
5114 [
5115 fill "#000000"
5116 targetArrow "standard"
5117 ]
5118 LabelGraphics
5119 [
5120 text "source reference Transition"
5121 fontSize 14
5122 fontName "Consolas"
5123 configuration "AutoFlippingLabel"
5124 model "six_pos"
5125 position "thead"
5126 ]
5127 ]
5128 edge
5129 [
5130 source 19
5131 target 11
5132 graphics
5133 [
5134 fill "#000000"
5135 targetArrow "standard"
5136 ]
5137 LabelGraphics
5138 [
5139 text "source reference Transition"
5140 fontSize 14
5141 fontName "Consolas"
5142 configuration "AutoFlippingLabel"
5143 model "six_pos"
5144 position "thead"
5145 ]
5146 ]
5147 edge
5148 [
5149 source 21
5150 target 20
5151 graphics
5152 [
5153 fill "#000000"
5154 targetArrow "standard"
5155 ]
5156 LabelGraphics
5157 [
5158 text "source reference Transition"
5159 fontSize 14
5160 fontName "Consolas"
5161 configuration "AutoFlippingLabel"
5162 model "six_pos"
5163 position "thead"
5164 ]
5165 ]
5166 edge
5167 [
5168 source 23
5169 target 13
5170 graphics
5171 [
5172 fill "#000000"
5173 targetArrow "standard"
5174 ]
5175 LabelGraphics
5176 [
5177 text "source reference Transition"
5178 fontSize 14
5179 fontName "Consolas"
5180 configuration "AutoFlippingLabel"
5181 model "six_pos"
5182 position "thead"
5183 ]
5184 ]
5185 edge
5186 [
5187 source 25
5188 target 14
5189 graphics
5190 [
5191 fill "#000000"
5192 targetArrow "standard"
5193 ]
5194 LabelGraphics
5195 [
5196 text "source reference Transition"
5197 fontSize 14
5198 fontName "Consolas"
5199 configuration "AutoFlippingLabel"
5200 model "six_pos"
5201 position "thead"
5202 ]
5203 ]
5204 edge
5205 [
5206 source 28
5207 target 11
5208 graphics
5209 [
5210 fill "#000000"
5211 targetArrow "standard"
5212 ]
5213 LabelGraphics
5214 [
5215 text "source reference Transition"
5216 fontSize 14
5217 fontName "Consolas"
5218 configuration "AutoFlippingLabel"
5219 model "six_pos"
5220 position "thead"
5221 ]
5222 ]
5223 edge
5224 [
5225 source 29
5226 target 14
5227 graphics
5228 [
5229 fill "#000000"
5230 targetArrow "standard"
5231 ]
5232 LabelGraphics
5233 [
5234 text "source reference Transition"
5235 fontSize 14
5236 fontName "Consolas"
5237 configuration "AutoFlippingLabel"
5238 model "six_pos"
5239 position "thead"
5240 ]
5241 ]
5242 edge
5243 [
5244 source 30
5245 target 20
5246 graphics
5247 [
5248 fill "#000000"
5249 targetArrow "standard"
5250 ]
5251 LabelGraphics
5252 [
5253 text "source reference Transition"
5254 fontSize 14
5255 fontName "Consolas"
5256 configuration "AutoFlippingLabel"
5257 model "six_pos"
5258 position "thead"
5259 ]
5260 ]
5261 edge
5262 [
5263 source 31
5264 target 11
5265 graphics
5266 [
5267 fill "#000000"
5268 targetArrow "standard"
5269 ]
5270 LabelGraphics
5271 [
5272 text "source reference Transition"
5273 fontSize 14
5274 fontName "Consolas"
5275 configuration "AutoFlippingLabel"
5276 model "six_pos"
5277 position "thead"
5278 ]
5279 ]
5280 edge
5281 [
5282 source 32
5283 target 11
5284 graphics
5285 [
5286 fill "#000000"
5287 targetArrow "standard"
5288 ]
5289 LabelGraphics
5290 [
5291 text "source reference Transition"
5292 fontSize 14
5293 fontName "Consolas"
5294 configuration "AutoFlippingLabel"
5295 model "six_pos"
5296 position "thead"
5297 ]
5298 ]
5299 edge
5300 [
5301 source 33
5302 target 26
5303 graphics
5304 [
5305 fill "#000000"
5306 targetArrow "standard"
5307 ]
5308 LabelGraphics
5309 [
5310 text "source reference Transition"
5311 fontSize 14
5312 fontName "Consolas"
5313 configuration "AutoFlippingLabel"
5314 model "six_pos"
5315 position "thead"
5316 ]
5317 ]
5318 edge
5319 [
5320 source 34
5321 target 11
5322 graphics
5323 [
5324 fill "#000000"
5325 targetArrow "standard"
5326 ]
5327 LabelGraphics
5328 [
5329 text "source reference Transition"
5330 fontSize 14
5331 fontName "Consolas"
5332 configuration "AutoFlippingLabel"
5333 model "six_pos"
5334 position "thead"
5335 ]
5336 ]
5337 edge
5338 [
5339 source 35
5340 target 9
5341 graphics
5342 [
5343 fill "#000000"
5344 targetArrow "standard"
5345 ]
5346 LabelGraphics
5347 [
5348 text "source reference Transition"
5349 fontSize 14
5350 fontName "Consolas"
5351 configuration "AutoFlippingLabel"
5352 model "six_pos"
5353 position "thead"
5354 ]
5355 ]
5356 edge
5357 [
5358 source 38
5359 target 14
5360 graphics
5361 [
5362 fill "#000000"
5363 targetArrow "standard"
5364 ]
5365 LabelGraphics
5366 [
5367 text "source reference Transition"
5368 fontSize 14
5369 fontName "Consolas"
5370 configuration "AutoFlippingLabel"
5371 model "six_pos"
5372 position "thead"
5373 ]
5374 ]
5375 edge
5376 [
5377 source 39
5378 target 17
5379 graphics
5380 [
5381 fill "#000000"
5382 targetArrow "standard"
5383 ]
5384 LabelGraphics
5385 [
5386 text "source reference Transition"
5387 fontSize 14
5388 fontName "Consolas"
5389 configuration "AutoFlippingLabel"
5390 model "six_pos"
5391 position "thead"
5392 ]
5393 ]
5394 edge
5395 [
5396 source 40
5397 target 20
5398 graphics
5399 [
5400 fill "#000000"
5401 targetArrow "standard"
5402 ]
5403 LabelGraphics
5404 [
5405 text "source reference Transition"
5406 fontSize 14
5407 fontName "Consolas"
5408 configuration "AutoFlippingLabel"
5409 model "six_pos"
5410 position "thead"
5411 ]
5412 ]
5413 edge
5414 [
5415 source 41
5416 target 17
5417 graphics
5418 [
5419 fill "#000000"
5420 targetArrow "standard"
5421 ]
5422 LabelGraphics
5423 [
5424 text "source reference Transition"
5425 fontSize 14
5426 fontName "Consolas"
5427 configuration "AutoFlippingLabel"
5428 model "six_pos"
5429 position "thead"
5430 ]
5431 ]
5432 edge
5433 [
5434 source 42
5435 target 26
5436 graphics
5437 [
5438 fill "#000000"
5439 targetArrow "standard"
5440 ]
5441 LabelGraphics
5442 [
5443 text "source reference Transition"
5444 fontSize 14
5445 fontName "Consolas"
5446 configuration "AutoFlippingLabel"
5447 model "six_pos"
5448 position "thead"
5449 ]
5450 ]
5451 edge
5452 [
5453 source 43
5454 target 11
5455 graphics
5456 [
5457 fill "#000000"
5458 targetArrow "standard"
5459 ]
5460 LabelGraphics
5461 [
5462 text "source reference Transition"
5463 fontSize 14
5464 fontName "Consolas"
5465 configuration "AutoFlippingLabel"
5466 model "six_pos"
5467 position "thead"
5468 ]
5469 ]
5470 edge
5471 [
5472 source 44
5473 target 14
5474 graphics
5475 [
5476 fill "#000000"
5477 targetArrow "standard"
5478 ]
5479 LabelGraphics
5480 [
5481 text "source reference Transition"
5482 fontSize 14
5483 fontName "Consolas"
5484 configuration "AutoFlippingLabel"
5485 model "six_pos"
5486 position "thead"
5487 ]
5488 ]
5489 edge
5490 [
5491 source 46
5492 target 13
5493 graphics
5494 [
5495 fill "#000000"
5496 targetArrow "standard"
5497 ]
5498 LabelGraphics
5499 [
5500 text "source reference Transition"
5501 fontSize 14
5502 fontName "Consolas"
5503 configuration "AutoFlippingLabel"
5504 model "six_pos"
5505 position "thead"
5506 ]
5507 ]
5508 edge
5509 [
5510 source 48
5511 target 17
5512 graphics
5513 [
5514 fill "#000000"
5515 targetArrow "standard"
5516 ]
5517 LabelGraphics
5518 [
5519 text "source reference Transition"
5520 fontSize 14
5521 fontName "Consolas"
5522 configuration "AutoFlippingLabel"
5523 model "six_pos"
5524 position "thead"
5525 ]
5526 ]
5527 edge
5528 [
5529 source 49
5530 target 14
5531 graphics
5532 [
5533 fill "#000000"
5534 targetArrow "standard"
5535 ]
5536 LabelGraphics
5537 [
5538 text "source reference Transition"
5539 fontSize 14
5540 fontName "Consolas"
5541 configuration "AutoFlippingLabel"
5542 model "six_pos"
5543 position "thead"
5544 ]
5545 ]
5546 edge
5547 [
5548 source 50
5549 target 47
5550 graphics
5551 [
5552 fill "#000000"
5553 targetArrow "standard"
5554 ]
5555 LabelGraphics
5556 [
5557 text "source reference Transition"
5558 fontSize 14
5559 fontName "Consolas"
5560 configuration "AutoFlippingLabel"
5561 model "six_pos"
5562 position "thead"
5563 ]
5564 ]
5565 edge
5566 [
5567 source 51
5568 target 47
1633 graphics 5569 graphics
1634 [ 5570 [
1635 fill "#000000" 5571 fill "#000000"
@@ -1818,7 +5754,7 @@ graph
1818 id 4 5754 id 4
1819 graphics 5755 graphics
1820 [ 5756 [
1821 w 154.0 5757 w 146.3
1822 h 68 5758 h 68
1823 type "rectangle" 5759 type "rectangle"
1824 fill "#FFFFFF" 5760 fill "#FFFFFF"
@@ -1839,9 +5775,9 @@ graph
1839 LabelGraphics 5775 LabelGraphics
1840 [ 5776 [
1841 text " 5777 text "
5778 Pseudostate class
1842 Vertex class 5779 Vertex class
1843 RegularState class 5780 Exit class
1844 FinalState class
1845 " 5781 "
1846 fontSize 14 5782 fontSize 14
1847 fontName "Consolas" 5783 fontName "Consolas"
@@ -1970,8 +5906,8 @@ graph
1970 id 8 5906 id 8
1971 graphics 5907 graphics
1972 [ 5908 [
1973 w 112.2 5909 w 146.3
1974 h 26 5910 h 68
1975 type "rectangle" 5911 type "rectangle"
1976 fill "#FFFFFF" 5912 fill "#FFFFFF"
1977 fill2 "#FFFFFF" 5913 fill2 "#FFFFFF"
@@ -1979,7 +5915,7 @@ graph
1979 ] 5915 ]
1980 LabelGraphics 5916 LabelGraphics
1981 [ 5917 [
1982 text "New Integers" 5918 text "null"
1983 outline "#000000" 5919 outline "#000000"
1984 fill "#FFFFFF" 5920 fill "#FFFFFF"
1985 fontSize 16 5921 fontSize 16
@@ -1991,6 +5927,9 @@ graph
1991 LabelGraphics 5927 LabelGraphics
1992 [ 5928 [
1993 text " 5929 text "
5930 Pseudostate class
5931 Vertex class
5932 Exit class
1994 " 5933 "
1995 fontSize 14 5934 fontSize 14
1996 fontName "Consolas" 5935 fontName "Consolas"
@@ -2005,8 +5944,8 @@ graph
2005 id 9 5944 id 9
2006 graphics 5945 graphics
2007 [ 5946 [
2008 w 85.80000000000001 5947 w 138.60000000000002
2009 h 26 5948 h 40
2010 type "rectangle" 5949 type "rectangle"
2011 fill "#FFFFFF" 5950 fill "#FFFFFF"
2012 fill2 "#FFFFFF" 5951 fill2 "#FFFFFF"
@@ -2014,7 +5953,7 @@ graph
2014 ] 5953 ]
2015 LabelGraphics 5954 LabelGraphics
2016 [ 5955 [
2017 text "New Reals" 5956 text "null"
2018 outline "#000000" 5957 outline "#000000"
2019 fill "#FFFFFF" 5958 fill "#FFFFFF"
2020 fontSize 16 5959 fontSize 16
@@ -2026,6 +5965,7 @@ graph
2026 LabelGraphics 5965 LabelGraphics
2027 [ 5966 [
2028 text " 5967 text "
5968 Transition class
2029 " 5969 "
2030 fontSize 14 5970 fontSize 14
2031 fontName "Consolas" 5971 fontName "Consolas"
@@ -2040,8 +5980,8 @@ graph
2040 id 10 5980 id 10
2041 graphics 5981 graphics
2042 [ 5982 [
2043 w 103.4 5983 w 154.0
2044 h 26 5984 h 68
2045 type "rectangle" 5985 type "rectangle"
2046 fill "#FFFFFF" 5986 fill "#FFFFFF"
2047 fill2 "#FFFFFF" 5987 fill2 "#FFFFFF"
@@ -2049,7 +5989,7 @@ graph
2049 ] 5989 ]
2050 LabelGraphics 5990 LabelGraphics
2051 [ 5991 [
2052 text "New Strings" 5992 text "null"
2053 outline "#000000" 5993 outline "#000000"
2054 fill "#FFFFFF" 5994 fill "#FFFFFF"
2055 fontSize 16 5995 fontSize 16
@@ -2061,6 +6001,9 @@ graph
2061 LabelGraphics 6001 LabelGraphics
2062 [ 6002 [
2063 text " 6003 text "
6004 Vertex class
6005 RegularState class
6006 FinalState class
2064 " 6007 "
2065 fontSize 14 6008 fontSize 14
2066 fontName "Consolas" 6009 fontName "Consolas"
@@ -2075,8 +6018,8 @@ graph
2075 id 11 6018 id 11
2076 graphics 6019 graphics
2077 [ 6020 [
2078 w 103.4 6021 w 154.0
2079 h 26 6022 h 68
2080 type "rectangle" 6023 type "rectangle"
2081 fill "#FFFFFF" 6024 fill "#FFFFFF"
2082 fill2 "#FFFFFF" 6025 fill2 "#FFFFFF"
@@ -2084,7 +6027,7 @@ graph
2084 ] 6027 ]
2085 LabelGraphics 6028 LabelGraphics
2086 [ 6029 [
2087 text "New Objects" 6030 text "null"
2088 outline "#000000" 6031 outline "#000000"
2089 fill "#FFFFFF" 6032 fill "#FFFFFF"
2090 fontSize 16 6033 fontSize 16
@@ -2096,6 +6039,9 @@ graph
2096 LabelGraphics 6039 LabelGraphics
2097 [ 6040 [
2098 text " 6041 text "
6042 Vertex class
6043 RegularState class
6044 FinalState class
2099 " 6045 "
2100 fontSize 14 6046 fontSize 14
2101 fontName "Consolas" 6047 fontName "Consolas"
@@ -2104,173 +6050,278 @@ graph
2104 borderDistance 6 6050 borderDistance 6
2105 ] 6051 ]
2106 ] 6052 ]
2107 edge 6053
2108 [ 6054 node
2109 source 6
2110 target 7
2111 graphics
2112 [
2113 fill "#000000"
2114 targetArrow "standard"
2115 ]
2116 LabelGraphics
2117 [
2118 text "incomingTransitions reference Vertex"
2119 fontSize 14
2120 fontName "Consolas"
2121 configuration "AutoFlippingLabel"
2122 model "six_pos"
2123 position "thead"
2124 ]
2125 ]
2126 edge
2127 [
2128 source 5
2129 target 7
2130 graphics
2131 [
2132 fill "#000000"
2133 width 3
2134 targetArrow "standard"
2135 ]
2136 LabelGraphics
2137 [
2138 text "outgoingTransitions reference Vertex"
2139 fontSize 14
2140 fontName "Consolas"
2141 configuration "AutoFlippingLabel"
2142 model "six_pos"
2143 position "thead"
2144 ]
2145 ]
2146 edge
2147 [
2148 source 3
2149 target 4
2150 graphics
2151 [
2152 fill "#000000"
2153 width 3
2154 targetArrow "standard"
2155 ]
2156 LabelGraphics
2157 [
2158 text "vertices reference Region"
2159 fontSize 14
2160 fontName "Consolas"
2161 configuration "AutoFlippingLabel"
2162 model "six_pos"
2163 position "thead"
2164 ]
2165 ]
2166 edge
2167 [
2168 source 3
2169 target 5
2170 graphics
2171 [
2172 fill "#000000"
2173 width 3
2174 targetArrow "standard"
2175 ]
2176 LabelGraphics
2177 [
2178 text "vertices reference Region"
2179 fontSize 14
2180 fontName "Consolas"
2181 configuration "AutoFlippingLabel"
2182 model "six_pos"
2183 position "thead"
2184 ]
2185 ]
2186 edge
2187 [
2188 source 3
2189 target 6
2190 graphics
2191 [
2192 fill "#000000"
2193 width 3
2194 targetArrow "standard"
2195 ]
2196 LabelGraphics
2197 [ 6055 [
2198 text "vertices reference Region" 6056 id 12
2199 fontSize 14 6057 graphics
2200 fontName "Consolas" 6058 [
2201 configuration "AutoFlippingLabel" 6059 w 154.0
2202 model "six_pos" 6060 h 68
2203 position "thead" 6061 type "rectangle"
6062 fill "#FFFFFF"
6063 fill2 "#FFFFFF"
6064 outline "#000000"
6065 ]
6066 LabelGraphics
6067 [
6068 text "null"
6069 outline "#000000"
6070 fill "#FFFFFF"
6071 fontSize 16
6072 fontName "Monospace"
6073 autoSizePolicy "node_width"
6074 anchor "t"
6075 borderDistance 0.0
6076 ]
6077 LabelGraphics
6078 [
6079 text "
6080 Vertex class
6081 RegularState class
6082 FinalState class
6083 "
6084 fontSize 14
6085 fontName "Consolas"
6086 alignment "left"
6087 anchor "tl"
6088 borderDistance 6
6089 ]
2204 ] 6090 ]
2205 ] 6091
2206 edge 6092 node
2207 [
2208 source 7
2209 target 6
2210 graphics
2211 [ 6093 [
2212 fill "#000000" 6094 id 13
2213 targetArrow "standard" 6095 graphics
6096 [
6097 w 138.60000000000002
6098 h 40
6099 type "rectangle"
6100 fill "#FFFFFF"
6101 fill2 "#FFFFFF"
6102 outline "#000000"
6103 ]
6104 LabelGraphics
6105 [
6106 text "null"
6107 outline "#000000"
6108 fill "#FFFFFF"
6109 fontSize 16
6110 fontName "Monospace"
6111 autoSizePolicy "node_width"
6112 anchor "t"
6113 borderDistance 0.0
6114 ]
6115 LabelGraphics
6116 [
6117 text "
6118 Transition class
6119 "
6120 fontSize 14
6121 fontName "Consolas"
6122 alignment "left"
6123 anchor "tl"
6124 borderDistance 6
6125 ]
2214 ] 6126 ]
2215 LabelGraphics 6127
6128 node
2216 [ 6129 [
2217 text "target reference Transition" 6130 id 14
2218 fontSize 14 6131 graphics
2219 fontName "Consolas" 6132 [
2220 configuration "AutoFlippingLabel" 6133 w 146.3
2221 model "six_pos" 6134 h 68
2222 position "thead" 6135 type "rectangle"
6136 fill "#FFFFFF"
6137 fill2 "#FFFFFF"
6138 outline "#000000"
6139 ]
6140 LabelGraphics
6141 [
6142 text "null"
6143 outline "#000000"
6144 fill "#FFFFFF"
6145 fontSize 16
6146 fontName "Monospace"
6147 autoSizePolicy "node_width"
6148 anchor "t"
6149 borderDistance 0.0
6150 ]
6151 LabelGraphics
6152 [
6153 text "
6154 Pseudostate class
6155 Vertex class
6156 Exit class
6157 "
6158 fontSize 14
6159 fontName "Consolas"
6160 alignment "left"
6161 anchor "tl"
6162 borderDistance 6
6163 ]
2223 ] 6164 ]
2224 ] 6165
2225 edge 6166 node
2226 [
2227 source 7
2228 target 5
2229 graphics
2230 [ 6167 [
2231 fill "#000000" 6168 id 15
2232 targetArrow "standard" 6169 graphics
6170 [
6171 w 146.3
6172 h 68
6173 type "rectangle"
6174 fill "#FFFFFF"
6175 fill2 "#FFFFFF"
6176 outline "#000000"
6177 ]
6178 LabelGraphics
6179 [
6180 text "null"
6181 outline "#000000"
6182 fill "#FFFFFF"
6183 fontSize 16
6184 fontName "Monospace"
6185 autoSizePolicy "node_width"
6186 anchor "t"
6187 borderDistance 0.0
6188 ]
6189 LabelGraphics
6190 [
6191 text "
6192 Pseudostate class
6193 Vertex class
6194 Exit class
6195 "
6196 fontSize 14
6197 fontName "Consolas"
6198 alignment "left"
6199 anchor "tl"
6200 borderDistance 6
6201 ]
2233 ] 6202 ]
2234 LabelGraphics 6203
6204 node
2235 [ 6205 [
2236 text "source reference Transition" 6206 id 16
2237 fontSize 14 6207 graphics
2238 fontName "Consolas" 6208 [
2239 configuration "AutoFlippingLabel" 6209 w 154.0
2240 model "six_pos" 6210 h 68
2241 position "thead" 6211 type "rectangle"
6212 fill "#FFFFFF"
6213 fill2 "#FFFFFF"
6214 outline "#000000"
6215 ]
6216 LabelGraphics
6217 [
6218 text "null"
6219 outline "#000000"
6220 fill "#FFFFFF"
6221 fontSize 16
6222 fontName "Monospace"
6223 autoSizePolicy "node_width"
6224 anchor "t"
6225 borderDistance 0.0
6226 ]
6227 LabelGraphics
6228 [
6229 text "
6230 Vertex class
6231 RegularState class
6232 FinalState class
6233 "
6234 fontSize 14
6235 fontName "Consolas"
6236 alignment "left"
6237 anchor "tl"
6238 borderDistance 6
6239 ]
2242 ] 6240 ]
2243 ] 6241
2244 edge 6242 node
2245 [
2246 source 0
2247 target 3
2248 graphics
2249 [ 6243 [
2250 fill "#000000" 6244 id 17
2251 width 3 6245 graphics
2252 targetArrow "standard" 6246 [
6247 w 146.3
6248 h 68
6249 type "rectangle"
6250 fill "#FFFFFF"
6251 fill2 "#FFFFFF"
6252 outline "#000000"
6253 ]
6254 LabelGraphics
6255 [
6256 text "null"
6257 outline "#000000"
6258 fill "#FFFFFF"
6259 fontSize 16
6260 fontName "Monospace"
6261 autoSizePolicy "node_width"
6262 anchor "t"
6263 borderDistance 0.0
6264 ]
6265 LabelGraphics
6266 [
6267 text "
6268 Pseudostate class
6269 Vertex class
6270 Exit class
6271 "
6272 fontSize 14
6273 fontName "Consolas"
6274 alignment "left"
6275 anchor "tl"
6276 borderDistance 6
6277 ]
2253 ] 6278 ]
2254 LabelGraphics 6279
6280 node
2255 [ 6281 [
2256 text "regions reference CompositeElement" 6282 id 18
2257 fontSize 14 6283 graphics
2258 fontName "Consolas" 6284 [
2259 configuration "AutoFlippingLabel" 6285 w 146.3
2260 model "six_pos" 6286 h 68
2261 position "thead" 6287 type "rectangle"
6288 fill "#FFFFFF"
6289 fill2 "#FFFFFF"
6290 outline "#000000"
6291 ]
6292 LabelGraphics
6293 [
6294 text "null"
6295 outline "#000000"
6296 fill "#FFFFFF"
6297 fontSize 16
6298 fontName "Monospace"
6299 autoSizePolicy "node_width"
6300 anchor "t"
6301 borderDistance 0.0
6302 ]
6303 LabelGraphics
6304 [
6305 text "
6306 Pseudostate class
6307 Vertex class
6308 Exit class
6309 "
6310 fontSize 14
6311 fontName "Consolas"
6312 alignment "left"
6313 anchor "tl"
6314 borderDistance 6
6315 ]
2262 ] 6316 ]
2263 ] 6317
2264]
2265graph
2266[
2267 node 6318 node
2268 [ 6319 [
2269 id 0 6320 id 19
2270 graphics 6321 graphics
2271 [ 6322 [
2272 w 277.20000000000005 6323 w 154.0
2273 h 82 6324 h 68
2274 type "rectangle" 6325 type "rectangle"
2275 fill "#FFFFFF" 6326 fill "#FFFFFF"
2276 fill2 "#FFFFFF" 6327 fill2 "#FFFFFF"
@@ -2278,7 +6329,7 @@ graph
2278 ] 6329 ]
2279 LabelGraphics 6330 LabelGraphics
2280 [ 6331 [
2281 text "o 1" 6332 text "null"
2282 outline "#000000" 6333 outline "#000000"
2283 fill "#FFFFFF" 6334 fill "#FFFFFF"
2284 fontSize 16 6335 fontSize 16
@@ -2290,10 +6341,9 @@ graph
2290 LabelGraphics 6341 LabelGraphics
2291 [ 6342 [
2292 text " 6343 text "
2293 Statechart class DefinedPart 6344 Vertex class
2294 CompositeElement class DefinedPart 6345 RegularState class
2295 Statechart class 6346 FinalState class
2296 CompositeElement class
2297 " 6347 "
2298 fontSize 14 6348 fontSize 14
2299 fontName "Consolas" 6349 fontName "Consolas"
@@ -2305,11 +6355,11 @@ graph
2305 6355
2306 node 6356 node
2307 [ 6357 [
2308 id 1 6358 id 20
2309 graphics 6359 graphics
2310 [ 6360 [
2311 w 41.800000000000004 6361 w 292.6
2312 h 26 6362 h 96
2313 type "rectangle" 6363 type "rectangle"
2314 fill "#FFFFFF" 6364 fill "#FFFFFF"
2315 fill2 "#FFFFFF" 6365 fill2 "#FFFFFF"
@@ -2317,7 +6367,7 @@ graph
2317 ] 6367 ]
2318 LabelGraphics 6368 LabelGraphics
2319 [ 6369 [
2320 text "true" 6370 text "null"
2321 outline "#000000" 6371 outline "#000000"
2322 fill "#FFFFFF" 6372 fill "#FFFFFF"
2323 fontSize 16 6373 fontSize 16
@@ -2329,6 +6379,11 @@ graph
2329 LabelGraphics 6379 LabelGraphics
2330 [ 6380 [
2331 text " 6381 text "
6382 Vertex class
6383 State class
6384 RegularState class
6385 CompositeElement class
6386 CompositeElement class UndefinedPart
2332 " 6387 "
2333 fontSize 14 6388 fontSize 14
2334 fontName "Consolas" 6389 fontName "Consolas"
@@ -2340,11 +6395,11 @@ graph
2340 6395
2341 node 6396 node
2342 [ 6397 [
2343 id 2 6398 id 21
2344 graphics 6399 graphics
2345 [ 6400 [
2346 w 50.6 6401 w 138.60000000000002
2347 h 26 6402 h 40
2348 type "rectangle" 6403 type "rectangle"
2349 fill "#FFFFFF" 6404 fill "#FFFFFF"
2350 fill2 "#FFFFFF" 6405 fill2 "#FFFFFF"
@@ -2352,7 +6407,7 @@ graph
2352 ] 6407 ]
2353 LabelGraphics 6408 LabelGraphics
2354 [ 6409 [
2355 text "false" 6410 text "null"
2356 outline "#000000" 6411 outline "#000000"
2357 fill "#FFFFFF" 6412 fill "#FFFFFF"
2358 fontSize 16 6413 fontSize 16
@@ -2364,6 +6419,7 @@ graph
2364 LabelGraphics 6419 LabelGraphics
2365 [ 6420 [
2366 text " 6421 text "
6422 Transition class
2367 " 6423 "
2368 fontSize 14 6424 fontSize 14
2369 fontName "Consolas" 6425 fontName "Consolas"
@@ -2375,10 +6431,10 @@ graph
2375 6431
2376 node 6432 node
2377 [ 6433 [
2378 id 3 6434 id 22
2379 graphics 6435 graphics
2380 [ 6436 [
2381 w 107.80000000000001 6437 w 138.60000000000002
2382 h 40 6438 h 40
2383 type "rectangle" 6439 type "rectangle"
2384 fill "#FFFFFF" 6440 fill "#FFFFFF"
@@ -2399,7 +6455,7 @@ graph
2399 LabelGraphics 6455 LabelGraphics
2400 [ 6456 [
2401 text " 6457 text "
2402 Region class 6458 Transition class
2403 " 6459 "
2404 fontSize 14 6460 fontSize 14
2405 fontName "Consolas" 6461 fontName "Consolas"
@@ -2411,11 +6467,11 @@ graph
2411 6467
2412 node 6468 node
2413 [ 6469 [
2414 id 4 6470 id 23
2415 graphics 6471 graphics
2416 [ 6472 [
2417 w 146.3 6473 w 292.6
2418 h 68 6474 h 96
2419 type "rectangle" 6475 type "rectangle"
2420 fill "#FFFFFF" 6476 fill "#FFFFFF"
2421 fill2 "#FFFFFF" 6477 fill2 "#FFFFFF"
@@ -2435,9 +6491,11 @@ graph
2435 LabelGraphics 6491 LabelGraphics
2436 [ 6492 [
2437 text " 6493 text "
2438 Pseudostate class
2439 Vertex class 6494 Vertex class
2440 Exit class 6495 State class
6496 RegularState class
6497 CompositeElement class
6498 CompositeElement class UndefinedPart
2441 " 6499 "
2442 fontSize 14 6500 fontSize 14
2443 fontName "Consolas" 6501 fontName "Consolas"
@@ -2449,7 +6507,7 @@ graph
2449 6507
2450 node 6508 node
2451 [ 6509 [
2452 id 5 6510 id 24
2453 graphics 6511 graphics
2454 [ 6512 [
2455 w 146.3 6513 w 146.3
@@ -2475,7 +6533,7 @@ graph
2475 text " 6533 text "
2476 Pseudostate class 6534 Pseudostate class
2477 Vertex class 6535 Vertex class
2478 Entry class 6536 Exit class
2479 " 6537 "
2480 fontSize 14 6538 fontSize 14
2481 fontName "Consolas" 6539 fontName "Consolas"
@@ -2487,7 +6545,7 @@ graph
2487 6545
2488 node 6546 node
2489 [ 6547 [
2490 id 6 6548 id 25
2491 graphics 6549 graphics
2492 [ 6550 [
2493 w 292.6 6551 w 292.6
@@ -2527,7 +6585,7 @@ graph
2527 6585
2528 node 6586 node
2529 [ 6587 [
2530 id 7 6588 id 26
2531 graphics 6589 graphics
2532 [ 6590 [
2533 w 138.60000000000002 6591 w 138.60000000000002
@@ -2563,11 +6621,11 @@ graph
2563 6621
2564 node 6622 node
2565 [ 6623 [
2566 id 8 6624 id 27
2567 graphics 6625 graphics
2568 [ 6626 [
2569 w 112.2 6627 w 154.0
2570 h 26 6628 h 68
2571 type "rectangle" 6629 type "rectangle"
2572 fill "#FFFFFF" 6630 fill "#FFFFFF"
2573 fill2 "#FFFFFF" 6631 fill2 "#FFFFFF"
@@ -2575,7 +6633,7 @@ graph
2575 ] 6633 ]
2576 LabelGraphics 6634 LabelGraphics
2577 [ 6635 [
2578 text "New Integers" 6636 text "null"
2579 outline "#000000" 6637 outline "#000000"
2580 fill "#FFFFFF" 6638 fill "#FFFFFF"
2581 fontSize 16 6639 fontSize 16
@@ -2587,6 +6645,9 @@ graph
2587 LabelGraphics 6645 LabelGraphics
2588 [ 6646 [
2589 text " 6647 text "
6648 Vertex class
6649 RegularState class
6650 FinalState class
2590 " 6651 "
2591 fontSize 14 6652 fontSize 14
2592 fontName "Consolas" 6653 fontName "Consolas"
@@ -2598,11 +6659,11 @@ graph
2598 6659
2599 node 6660 node
2600 [ 6661 [
2601 id 9 6662 id 28
2602 graphics 6663 graphics
2603 [ 6664 [
2604 w 85.80000000000001 6665 w 138.60000000000002
2605 h 26 6666 h 40
2606 type "rectangle" 6667 type "rectangle"
2607 fill "#FFFFFF" 6668 fill "#FFFFFF"
2608 fill2 "#FFFFFF" 6669 fill2 "#FFFFFF"
@@ -2610,7 +6671,7 @@ graph
2610 ] 6671 ]
2611 LabelGraphics 6672 LabelGraphics
2612 [ 6673 [
2613 text "New Reals" 6674 text "null"
2614 outline "#000000" 6675 outline "#000000"
2615 fill "#FFFFFF" 6676 fill "#FFFFFF"
2616 fontSize 16 6677 fontSize 16
@@ -2622,6 +6683,7 @@ graph
2622 LabelGraphics 6683 LabelGraphics
2623 [ 6684 [
2624 text " 6685 text "
6686 Transition class
2625 " 6687 "
2626 fontSize 14 6688 fontSize 14
2627 fontName "Consolas" 6689 fontName "Consolas"
@@ -2633,11 +6695,11 @@ graph
2633 6695
2634 node 6696 node
2635 [ 6697 [
2636 id 10 6698 id 29
2637 graphics 6699 graphics
2638 [ 6700 [
2639 w 103.4 6701 w 138.60000000000002
2640 h 26 6702 h 40
2641 type "rectangle" 6703 type "rectangle"
2642 fill "#FFFFFF" 6704 fill "#FFFFFF"
2643 fill2 "#FFFFFF" 6705 fill2 "#FFFFFF"
@@ -2645,7 +6707,7 @@ graph
2645 ] 6707 ]
2646 LabelGraphics 6708 LabelGraphics
2647 [ 6709 [
2648 text "New Strings" 6710 text "null"
2649 outline "#000000" 6711 outline "#000000"
2650 fill "#FFFFFF" 6712 fill "#FFFFFF"
2651 fontSize 16 6713 fontSize 16
@@ -2657,6 +6719,7 @@ graph
2657 LabelGraphics 6719 LabelGraphics
2658 [ 6720 [
2659 text " 6721 text "
6722 Transition class
2660 " 6723 "
2661 fontSize 14 6724 fontSize 14
2662 fontName "Consolas" 6725 fontName "Consolas"
@@ -2668,11 +6731,11 @@ graph
2668 6731
2669 node 6732 node
2670 [ 6733 [
2671 id 11 6734 id 30
2672 graphics 6735 graphics
2673 [ 6736 [
2674 w 103.4 6737 w 154.0
2675 h 26 6738 h 68
2676 type "rectangle" 6739 type "rectangle"
2677 fill "#FFFFFF" 6740 fill "#FFFFFF"
2678 fill2 "#FFFFFF" 6741 fill2 "#FFFFFF"
@@ -2680,7 +6743,7 @@ graph
2680 ] 6743 ]
2681 LabelGraphics 6744 LabelGraphics
2682 [ 6745 [
2683 text "New Objects" 6746 text "null"
2684 outline "#000000" 6747 outline "#000000"
2685 fill "#FFFFFF" 6748 fill "#FFFFFF"
2686 fontSize 16 6749 fontSize 16
@@ -2692,6 +6755,9 @@ graph
2692 LabelGraphics 6755 LabelGraphics
2693 [ 6756 [
2694 text " 6757 text "
6758 Vertex class
6759 RegularState class
6760 FinalState class
2695 " 6761 "
2696 fontSize 14 6762 fontSize 14
2697 fontName "Consolas" 6763 fontName "Consolas"
@@ -2700,173 +6766,532 @@ graph
2700 borderDistance 6 6766 borderDistance 6
2701 ] 6767 ]
2702 ] 6768 ]
2703 edge 6769
2704 [ 6770 node
2705 source 6
2706 target 7
2707 graphics
2708 [
2709 fill "#000000"
2710 targetArrow "standard"
2711 ]
2712 LabelGraphics
2713 [
2714 text "incomingTransitions reference Vertex"
2715 fontSize 14
2716 fontName "Consolas"
2717 configuration "AutoFlippingLabel"
2718 model "six_pos"
2719 position "thead"
2720 ]
2721 ]
2722 edge
2723 [
2724 source 5
2725 target 7
2726 graphics
2727 [ 6771 [
2728 fill "#000000" 6772 id 31
2729 width 3 6773 graphics
2730 targetArrow "standard" 6774 [
6775 w 138.60000000000002
6776 h 40
6777 type "rectangle"
6778 fill "#FFFFFF"
6779 fill2 "#FFFFFF"
6780 outline "#000000"
6781 ]
6782 LabelGraphics
6783 [
6784 text "null"
6785 outline "#000000"
6786 fill "#FFFFFF"
6787 fontSize 16
6788 fontName "Monospace"
6789 autoSizePolicy "node_width"
6790 anchor "t"
6791 borderDistance 0.0
6792 ]
6793 LabelGraphics
6794 [
6795 text "
6796 Transition class
6797 "
6798 fontSize 14
6799 fontName "Consolas"
6800 alignment "left"
6801 anchor "tl"
6802 borderDistance 6
6803 ]
2731 ] 6804 ]
2732 LabelGraphics 6805
6806 node
2733 [ 6807 [
2734 text "outgoingTransitions reference Vertex" 6808 id 32
2735 fontSize 14 6809 graphics
2736 fontName "Consolas" 6810 [
2737 configuration "AutoFlippingLabel" 6811 w 154.0
2738 model "six_pos" 6812 h 68
2739 position "thead" 6813 type "rectangle"
6814 fill "#FFFFFF"
6815 fill2 "#FFFFFF"
6816 outline "#000000"
6817 ]
6818 LabelGraphics
6819 [
6820 text "null"
6821 outline "#000000"
6822 fill "#FFFFFF"
6823 fontSize 16
6824 fontName "Monospace"
6825 autoSizePolicy "node_width"
6826 anchor "t"
6827 borderDistance 0.0
6828 ]
6829 LabelGraphics
6830 [
6831 text "
6832 Vertex class
6833 RegularState class
6834 FinalState class
6835 "
6836 fontSize 14
6837 fontName "Consolas"
6838 alignment "left"
6839 anchor "tl"
6840 borderDistance 6
6841 ]
2740 ] 6842 ]
2741 ] 6843
2742 edge 6844 node
2743 [
2744 source 3
2745 target 4
2746 graphics
2747 [ 6845 [
2748 fill "#000000" 6846 id 33
2749 width 3 6847 graphics
2750 targetArrow "standard" 6848 [
6849 w 154.0
6850 h 68
6851 type "rectangle"
6852 fill "#FFFFFF"
6853 fill2 "#FFFFFF"
6854 outline "#000000"
6855 ]
6856 LabelGraphics
6857 [
6858 text "null"
6859 outline "#000000"
6860 fill "#FFFFFF"
6861 fontSize 16
6862 fontName "Monospace"
6863 autoSizePolicy "node_width"
6864 anchor "t"
6865 borderDistance 0.0
6866 ]
6867 LabelGraphics
6868 [
6869 text "
6870 Vertex class
6871 RegularState class
6872 FinalState class
6873 "
6874 fontSize 14
6875 fontName "Consolas"
6876 alignment "left"
6877 anchor "tl"
6878 borderDistance 6
6879 ]
2751 ] 6880 ]
2752 LabelGraphics 6881
6882 node
2753 [ 6883 [
2754 text "vertices reference Region" 6884 id 34
2755 fontSize 14 6885 graphics
2756 fontName "Consolas" 6886 [
2757 configuration "AutoFlippingLabel" 6887 w 146.3
2758 model "six_pos" 6888 h 68
2759 position "thead" 6889 type "rectangle"
6890 fill "#FFFFFF"
6891 fill2 "#FFFFFF"
6892 outline "#000000"
6893 ]
6894 LabelGraphics
6895 [
6896 text "null"
6897 outline "#000000"
6898 fill "#FFFFFF"
6899 fontSize 16
6900 fontName "Monospace"
6901 autoSizePolicy "node_width"
6902 anchor "t"
6903 borderDistance 0.0
6904 ]
6905 LabelGraphics
6906 [
6907 text "
6908 Pseudostate class
6909 Vertex class
6910 Exit class
6911 "
6912 fontSize 14
6913 fontName "Consolas"
6914 alignment "left"
6915 anchor "tl"
6916 borderDistance 6
6917 ]
2760 ] 6918 ]
2761 ] 6919
2762 edge 6920 node
2763 [
2764 source 3
2765 target 5
2766 graphics
2767 [ 6921 [
2768 fill "#000000" 6922 id 35
2769 width 3 6923 graphics
2770 targetArrow "standard" 6924 [
6925 w 292.6
6926 h 96
6927 type "rectangle"
6928 fill "#FFFFFF"
6929 fill2 "#FFFFFF"
6930 outline "#000000"
6931 ]
6932 LabelGraphics
6933 [
6934 text "null"
6935 outline "#000000"
6936 fill "#FFFFFF"
6937 fontSize 16
6938 fontName "Monospace"
6939 autoSizePolicy "node_width"
6940 anchor "t"
6941 borderDistance 0.0
6942 ]
6943 LabelGraphics
6944 [
6945 text "
6946 Vertex class
6947 State class
6948 RegularState class
6949 CompositeElement class
6950 CompositeElement class UndefinedPart
6951 "
6952 fontSize 14
6953 fontName "Consolas"
6954 alignment "left"
6955 anchor "tl"
6956 borderDistance 6
6957 ]
2771 ] 6958 ]
2772 LabelGraphics 6959
6960 node
2773 [ 6961 [
2774 text "vertices reference Region" 6962 id 36
2775 fontSize 14 6963 graphics
2776 fontName "Consolas" 6964 [
2777 configuration "AutoFlippingLabel" 6965 w 138.60000000000002
2778 model "six_pos" 6966 h 40
2779 position "thead" 6967 type "rectangle"
6968 fill "#FFFFFF"
6969 fill2 "#FFFFFF"
6970 outline "#000000"
6971 ]
6972 LabelGraphics
6973 [
6974 text "null"
6975 outline "#000000"
6976 fill "#FFFFFF"
6977 fontSize 16
6978 fontName "Monospace"
6979 autoSizePolicy "node_width"
6980 anchor "t"
6981 borderDistance 0.0
6982 ]
6983 LabelGraphics
6984 [
6985 text "
6986 Transition class
6987 "
6988 fontSize 14
6989 fontName "Consolas"
6990 alignment "left"
6991 anchor "tl"
6992 borderDistance 6
6993 ]
2780 ] 6994 ]
2781 ] 6995
2782 edge 6996 node
2783 [
2784 source 3
2785 target 6
2786 graphics
2787 [ 6997 [
2788 fill "#000000" 6998 id 37
2789 width 3 6999 graphics
2790 targetArrow "standard" 7000 [
7001 w 138.60000000000002
7002 h 40
7003 type "rectangle"
7004 fill "#FFFFFF"
7005 fill2 "#FFFFFF"
7006 outline "#000000"
7007 ]
7008 LabelGraphics
7009 [
7010 text "null"
7011 outline "#000000"
7012 fill "#FFFFFF"
7013 fontSize 16
7014 fontName "Monospace"
7015 autoSizePolicy "node_width"
7016 anchor "t"
7017 borderDistance 0.0
7018 ]
7019 LabelGraphics
7020 [
7021 text "
7022 Transition class
7023 "
7024 fontSize 14
7025 fontName "Consolas"
7026 alignment "left"
7027 anchor "tl"
7028 borderDistance 6
7029 ]
2791 ] 7030 ]
2792 LabelGraphics 7031
7032 node
2793 [ 7033 [
2794 text "vertices reference Region" 7034 id 38
2795 fontSize 14 7035 graphics
2796 fontName "Consolas" 7036 [
2797 configuration "AutoFlippingLabel" 7037 w 138.60000000000002
2798 model "six_pos" 7038 h 40
2799 position "thead" 7039 type "rectangle"
7040 fill "#FFFFFF"
7041 fill2 "#FFFFFF"
7042 outline "#000000"
7043 ]
7044 LabelGraphics
7045 [
7046 text "null"
7047 outline "#000000"
7048 fill "#FFFFFF"
7049 fontSize 16
7050 fontName "Monospace"
7051 autoSizePolicy "node_width"
7052 anchor "t"
7053 borderDistance 0.0
7054 ]
7055 LabelGraphics
7056 [
7057 text "
7058 Transition class
7059 "
7060 fontSize 14
7061 fontName "Consolas"
7062 alignment "left"
7063 anchor "tl"
7064 borderDistance 6
7065 ]
2800 ] 7066 ]
2801 ] 7067
2802 edge 7068 node
2803 [
2804 source 7
2805 target 6
2806 graphics
2807 [ 7069 [
2808 fill "#000000" 7070 id 39
2809 targetArrow "standard" 7071 graphics
7072 [
7073 w 138.60000000000002
7074 h 40
7075 type "rectangle"
7076 fill "#FFFFFF"
7077 fill2 "#FFFFFF"
7078 outline "#000000"
7079 ]
7080 LabelGraphics
7081 [
7082 text "null"
7083 outline "#000000"
7084 fill "#FFFFFF"
7085 fontSize 16
7086 fontName "Monospace"
7087 autoSizePolicy "node_width"
7088 anchor "t"
7089 borderDistance 0.0
7090 ]
7091 LabelGraphics
7092 [
7093 text "
7094 Transition class
7095 "
7096 fontSize 14
7097 fontName "Consolas"
7098 alignment "left"
7099 anchor "tl"
7100 borderDistance 6
7101 ]
2810 ] 7102 ]
2811 LabelGraphics 7103
7104 node
2812 [ 7105 [
2813 text "target reference Transition" 7106 id 40
2814 fontSize 14 7107 graphics
2815 fontName "Consolas" 7108 [
2816 configuration "AutoFlippingLabel" 7109 w 138.60000000000002
2817 model "six_pos" 7110 h 40
2818 position "thead" 7111 type "rectangle"
7112 fill "#FFFFFF"
7113 fill2 "#FFFFFF"
7114 outline "#000000"
7115 ]
7116 LabelGraphics
7117 [
7118 text "null"
7119 outline "#000000"
7120 fill "#FFFFFF"
7121 fontSize 16
7122 fontName "Monospace"
7123 autoSizePolicy "node_width"
7124 anchor "t"
7125 borderDistance 0.0
7126 ]
7127 LabelGraphics
7128 [
7129 text "
7130 Transition class
7131 "
7132 fontSize 14
7133 fontName "Consolas"
7134 alignment "left"
7135 anchor "tl"
7136 borderDistance 6
7137 ]
2819 ] 7138 ]
2820 ] 7139
2821 edge 7140 node
2822 [
2823 source 7
2824 target 5
2825 graphics
2826 [ 7141 [
2827 fill "#000000" 7142 id 41
2828 targetArrow "standard" 7143 graphics
7144 [
7145 w 292.6
7146 h 96
7147 type "rectangle"
7148 fill "#FFFFFF"
7149 fill2 "#FFFFFF"
7150 outline "#000000"
7151 ]
7152 LabelGraphics
7153 [
7154 text "null"
7155 outline "#000000"
7156 fill "#FFFFFF"
7157 fontSize 16
7158 fontName "Monospace"
7159 autoSizePolicy "node_width"
7160 anchor "t"
7161 borderDistance 0.0
7162 ]
7163 LabelGraphics
7164 [
7165 text "
7166 Vertex class
7167 State class
7168 RegularState class
7169 CompositeElement class
7170 CompositeElement class UndefinedPart
7171 "
7172 fontSize 14
7173 fontName "Consolas"
7174 alignment "left"
7175 anchor "tl"
7176 borderDistance 6
7177 ]
2829 ] 7178 ]
2830 LabelGraphics 7179
7180 node
2831 [ 7181 [
2832 text "source reference Transition" 7182 id 42
2833 fontSize 14 7183 graphics
2834 fontName "Consolas" 7184 [
2835 configuration "AutoFlippingLabel" 7185 w 138.60000000000002
2836 model "six_pos" 7186 h 40
2837 position "thead" 7187 type "rectangle"
7188 fill "#FFFFFF"
7189 fill2 "#FFFFFF"
7190 outline "#000000"
7191 ]
7192 LabelGraphics
7193 [
7194 text "null"
7195 outline "#000000"
7196 fill "#FFFFFF"
7197 fontSize 16
7198 fontName "Monospace"
7199 autoSizePolicy "node_width"
7200 anchor "t"
7201 borderDistance 0.0
7202 ]
7203 LabelGraphics
7204 [
7205 text "
7206 Transition class
7207 "
7208 fontSize 14
7209 fontName "Consolas"
7210 alignment "left"
7211 anchor "tl"
7212 borderDistance 6
7213 ]
2838 ] 7214 ]
2839 ] 7215
2840 edge 7216 node
2841 [
2842 source 0
2843 target 3
2844 graphics
2845 [ 7217 [
2846 fill "#000000" 7218 id 43
2847 width 3 7219 graphics
2848 targetArrow "standard" 7220 [
7221 w 138.60000000000002
7222 h 40
7223 type "rectangle"
7224 fill "#FFFFFF"
7225 fill2 "#FFFFFF"
7226 outline "#000000"
7227 ]
7228 LabelGraphics
7229 [
7230 text "null"
7231 outline "#000000"
7232 fill "#FFFFFF"
7233 fontSize 16
7234 fontName "Monospace"
7235 autoSizePolicy "node_width"
7236 anchor "t"
7237 borderDistance 0.0
7238 ]
7239 LabelGraphics
7240 [
7241 text "
7242 Transition class
7243 "
7244 fontSize 14
7245 fontName "Consolas"
7246 alignment "left"
7247 anchor "tl"
7248 borderDistance 6
7249 ]
2849 ] 7250 ]
2850 LabelGraphics 7251
7252 node
2851 [ 7253 [
2852 text "regions reference CompositeElement" 7254 id 44
2853 fontSize 14 7255 graphics
2854 fontName "Consolas" 7256 [
2855 configuration "AutoFlippingLabel" 7257 w 138.60000000000002
2856 model "six_pos" 7258 h 40
2857 position "thead" 7259 type "rectangle"
7260 fill "#FFFFFF"
7261 fill2 "#FFFFFF"
7262 outline "#000000"
7263 ]
7264 LabelGraphics
7265 [
7266 text "null"
7267 outline "#000000"
7268 fill "#FFFFFF"
7269 fontSize 16
7270 fontName "Monospace"
7271 autoSizePolicy "node_width"
7272 anchor "t"
7273 borderDistance 0.0
7274 ]
7275 LabelGraphics
7276 [
7277 text "
7278 Transition class
7279 "
7280 fontSize 14
7281 fontName "Consolas"
7282 alignment "left"
7283 anchor "tl"
7284 borderDistance 6
7285 ]
2858 ] 7286 ]
2859 ] 7287
2860]
2861graph
2862[
2863 node 7288 node
2864 [ 7289 [
2865 id 0 7290 id 45
2866 graphics 7291 graphics
2867 [ 7292 [
2868 w 192.50000000000003 7293 w 138.60000000000002
2869 h 54 7294 h 40
2870 type "rectangle" 7295 type "rectangle"
2871 fill "#FFFFFF" 7296 fill "#FFFFFF"
2872 fill2 "#FFFFFF" 7297 fill2 "#FFFFFF"
@@ -2874,7 +7299,7 @@ graph
2874 ] 7299 ]
2875 LabelGraphics 7300 LabelGraphics
2876 [ 7301 [
2877 text "o 1" 7302 text "null"
2878 outline "#000000" 7303 outline "#000000"
2879 fill "#FFFFFF" 7304 fill "#FFFFFF"
2880 fontSize 16 7305 fontSize 16
@@ -2886,8 +7311,7 @@ graph
2886 LabelGraphics 7311 LabelGraphics
2887 [ 7312 [
2888 text " 7313 text "
2889 Model class DefinedPart 7314 Transition class
2890 Model class
2891 " 7315 "
2892 fontSize 14 7316 fontSize 14
2893 fontName "Consolas" 7317 fontName "Consolas"
@@ -2899,11 +7323,11 @@ graph
2899 7323
2900 node 7324 node
2901 [ 7325 [
2902 id 1 7326 id 46
2903 graphics 7327 graphics
2904 [ 7328 [
2905 w 41.800000000000004 7329 w 138.60000000000002
2906 h 26 7330 h 40
2907 type "rectangle" 7331 type "rectangle"
2908 fill "#FFFFFF" 7332 fill "#FFFFFF"
2909 fill2 "#FFFFFF" 7333 fill2 "#FFFFFF"
@@ -2911,7 +7335,7 @@ graph
2911 ] 7335 ]
2912 LabelGraphics 7336 LabelGraphics
2913 [ 7337 [
2914 text "true" 7338 text "null"
2915 outline "#000000" 7339 outline "#000000"
2916 fill "#FFFFFF" 7340 fill "#FFFFFF"
2917 fontSize 16 7341 fontSize 16
@@ -2923,6 +7347,7 @@ graph
2923 LabelGraphics 7347 LabelGraphics
2924 [ 7348 [
2925 text " 7349 text "
7350 Transition class
2926 " 7351 "
2927 fontSize 14 7352 fontSize 14
2928 fontName "Consolas" 7353 fontName "Consolas"
@@ -2934,11 +7359,11 @@ graph
2934 7359
2935 node 7360 node
2936 [ 7361 [
2937 id 2 7362 id 47
2938 graphics 7363 graphics
2939 [ 7364 [
2940 w 50.6 7365 w 138.60000000000002
2941 h 26 7366 h 40
2942 type "rectangle" 7367 type "rectangle"
2943 fill "#FFFFFF" 7368 fill "#FFFFFF"
2944 fill2 "#FFFFFF" 7369 fill2 "#FFFFFF"
@@ -2946,7 +7371,7 @@ graph
2946 ] 7371 ]
2947 LabelGraphics 7372 LabelGraphics
2948 [ 7373 [
2949 text "false" 7374 text "null"
2950 outline "#000000" 7375 outline "#000000"
2951 fill "#FFFFFF" 7376 fill "#FFFFFF"
2952 fontSize 16 7377 fontSize 16
@@ -2958,6 +7383,7 @@ graph
2958 LabelGraphics 7383 LabelGraphics
2959 [ 7384 [
2960 text " 7385 text "
7386 Transition class
2961 " 7387 "
2962 fontSize 14 7388 fontSize 14
2963 fontName "Consolas" 7389 fontName "Consolas"
@@ -2969,11 +7395,11 @@ graph
2969 7395
2970 node 7396 node
2971 [ 7397 [
2972 id 3 7398 id 48
2973 graphics 7399 graphics
2974 [ 7400 [
2975 w 123.20000000000002 7401 w 138.60000000000002
2976 h 54 7402 h 40
2977 type "rectangle" 7403 type "rectangle"
2978 fill "#FFFFFF" 7404 fill "#FFFFFF"
2979 fill2 "#FFFFFF" 7405 fill2 "#FFFFFF"
@@ -2993,8 +7419,7 @@ graph
2993 LabelGraphics 7419 LabelGraphics
2994 [ 7420 [
2995 text " 7421 text "
2996 FSObject class 7422 Transition class
2997 Dir class
2998 " 7423 "
2999 fontSize 14 7424 fontSize 14
3000 fontName "Consolas" 7425 fontName "Consolas"
@@ -3006,11 +7431,11 @@ graph
3006 7431
3007 node 7432 node
3008 [ 7433 [
3009 id 4 7434 id 49
3010 graphics 7435 graphics
3011 [ 7436 [
3012 w 123.20000000000002 7437 w 138.60000000000002
3013 h 54 7438 h 40
3014 type "rectangle" 7439 type "rectangle"
3015 fill "#FFFFFF" 7440 fill "#FFFFFF"
3016 fill2 "#FFFFFF" 7441 fill2 "#FFFFFF"
@@ -3030,8 +7455,7 @@ graph
3030 LabelGraphics 7455 LabelGraphics
3031 [ 7456 [
3032 text " 7457 text "
3033 FSObject class 7458 Transition class
3034 File class
3035 " 7459 "
3036 fontSize 14 7460 fontSize 14
3037 fontName "Consolas" 7461 fontName "Consolas"
@@ -3043,7 +7467,7 @@ graph
3043 7467
3044 node 7468 node
3045 [ 7469 [
3046 id 5 7470 id 50
3047 graphics 7471 graphics
3048 [ 7472 [
3049 w 138.60000000000002 7473 w 138.60000000000002
@@ -3067,7 +7491,7 @@ graph
3067 LabelGraphics 7491 LabelGraphics
3068 [ 7492 [
3069 text " 7493 text "
3070 FileSystem class 7494 Transition class
3071 " 7495 "
3072 fontSize 14 7496 fontSize 14
3073 fontName "Consolas" 7497 fontName "Consolas"
@@ -3079,11 +7503,11 @@ graph
3079 7503
3080 node 7504 node
3081 [ 7505 [
3082 id 6 7506 id 51
3083 graphics 7507 graphics
3084 [ 7508 [
3085 w 123.20000000000002 7509 w 138.60000000000002
3086 h 54 7510 h 40
3087 type "rectangle" 7511 type "rectangle"
3088 fill "#FFFFFF" 7512 fill "#FFFFFF"
3089 fill2 "#FFFFFF" 7513 fill2 "#FFFFFF"
@@ -3103,8 +7527,7 @@ graph
3103 LabelGraphics 7527 LabelGraphics
3104 [ 7528 [
3105 text " 7529 text "
3106 FSObject class 7530 Transition class
3107 Dir class
3108 " 7531 "
3109 fontSize 14 7532 fontSize 14
3110 fontName "Consolas" 7533 fontName "Consolas"
@@ -3116,7 +7539,7 @@ graph
3116 7539
3117 node 7540 node
3118 [ 7541 [
3119 id 7 7542 id 52
3120 graphics 7543 graphics
3121 [ 7544 [
3122 w 112.2 7545 w 112.2
@@ -3151,7 +7574,7 @@ graph
3151 7574
3152 node 7575 node
3153 [ 7576 [
3154 id 8 7577 id 53
3155 graphics 7578 graphics
3156 [ 7579 [
3157 w 85.80000000000001 7580 w 85.80000000000001
@@ -3186,7 +7609,7 @@ graph
3186 7609
3187 node 7610 node
3188 [ 7611 [
3189 id 9 7612 id 54
3190 graphics 7613 graphics
3191 [ 7614 [
3192 w 103.4 7615 w 103.4
@@ -3221,7 +7644,7 @@ graph
3221 7644
3222 node 7645 node
3223 [ 7646 [
3224 id 10 7647 id 55
3225 graphics 7648 graphics
3226 [ 7649 [
3227 w 103.4 7650 w 103.4
@@ -3255,8 +7678,464 @@ graph
3255 ] 7678 ]
3256 edge 7679 edge
3257 [ 7680 [
7681 source 6
7682 target 7
7683 graphics
7684 [
7685 fill "#000000"
7686 targetArrow "standard"
7687 ]
7688 LabelGraphics
7689 [
7690 text "incomingTransitions reference Vertex"
7691 fontSize 14
7692 fontName "Consolas"
7693 configuration "AutoFlippingLabel"
7694 model "six_pos"
7695 position "thead"
7696 ]
7697 ]
7698 edge
7699 [
7700 source 4
7701 target 9
7702 graphics
7703 [
7704 fill "#000000"
7705 targetArrow "standard"
7706 ]
7707 LabelGraphics
7708 [
7709 text "incomingTransitions reference Vertex"
7710 fontSize 14
7711 fontName "Consolas"
7712 configuration "AutoFlippingLabel"
7713 model "six_pos"
7714 position "thead"
7715 ]
7716 ]
7717 edge
7718 [
7719 source 11
7720 target 13
7721 graphics
7722 [
7723 fill "#000000"
7724 targetArrow "standard"
7725 ]
7726 LabelGraphics
7727 [
7728 text "incomingTransitions reference Vertex"
7729 fontSize 14
7730 fontName "Consolas"
7731 configuration "AutoFlippingLabel"
7732 model "six_pos"
7733 position "thead"
7734 ]
7735 ]
7736 edge
7737 [
7738 source 18
7739 target 21
7740 graphics
7741 [
7742 fill "#000000"
7743 targetArrow "standard"
7744 ]
7745 LabelGraphics
7746 [
7747 text "incomingTransitions reference Vertex"
7748 fontSize 14
7749 fontName "Consolas"
7750 configuration "AutoFlippingLabel"
7751 model "six_pos"
7752 position "thead"
7753 ]
7754 ]
7755 edge
7756 [
7757 source 11
7758 target 22
7759 graphics
7760 [
7761 fill "#000000"
7762 targetArrow "standard"
7763 ]
7764 LabelGraphics
7765 [
7766 text "incomingTransitions reference Vertex"
7767 fontSize 14
7768 fontName "Consolas"
7769 configuration "AutoFlippingLabel"
7770 model "six_pos"
7771 position "thead"
7772 ]
7773 ]
7774 edge
7775 [
7776 source 23
7777 target 26
7778 graphics
7779 [
7780 fill "#000000"
7781 targetArrow "standard"
7782 ]
7783 LabelGraphics
7784 [
7785 text "incomingTransitions reference Vertex"
7786 fontSize 14
7787 fontName "Consolas"
7788 configuration "AutoFlippingLabel"
7789 model "six_pos"
7790 position "thead"
7791 ]
7792 ]
7793 edge
7794 [
7795 source 17
7796 target 28
7797 graphics
7798 [
7799 fill "#000000"
7800 targetArrow "standard"
7801 ]
7802 LabelGraphics
7803 [
7804 text "incomingTransitions reference Vertex"
7805 fontSize 14
7806 fontName "Consolas"
7807 configuration "AutoFlippingLabel"
7808 model "six_pos"
7809 position "thead"
7810 ]
7811 ]
7812 edge
7813 [
7814 source 18
7815 target 29
7816 graphics
7817 [
7818 fill "#000000"
7819 targetArrow "standard"
7820 ]
7821 LabelGraphics
7822 [
7823 text "incomingTransitions reference Vertex"
7824 fontSize 14
7825 fontName "Consolas"
7826 configuration "AutoFlippingLabel"
7827 model "six_pos"
7828 position "thead"
7829 ]
7830 ]
7831 edge
7832 [
7833 source 18
7834 target 31
7835 graphics
7836 [
7837 fill "#000000"
7838 targetArrow "standard"
7839 ]
7840 LabelGraphics
7841 [
7842 text "incomingTransitions reference Vertex"
7843 fontSize 14
7844 fontName "Consolas"
7845 configuration "AutoFlippingLabel"
7846 model "six_pos"
7847 position "thead"
7848 ]
7849 ]
7850 edge
7851 [
7852 source 34
7853 target 36
7854 graphics
7855 [
7856 fill "#000000"
7857 targetArrow "standard"
7858 ]
7859 LabelGraphics
7860 [
7861 text "incomingTransitions reference Vertex"
7862 fontSize 14
7863 fontName "Consolas"
7864 configuration "AutoFlippingLabel"
7865 model "six_pos"
7866 position "thead"
7867 ]
7868 ]
7869 edge
7870 [
7871 source 34
7872 target 37
7873 graphics
7874 [
7875 fill "#000000"
7876 targetArrow "standard"
7877 ]
7878 LabelGraphics
7879 [
7880 text "incomingTransitions reference Vertex"
7881 fontSize 14
7882 fontName "Consolas"
7883 configuration "AutoFlippingLabel"
7884 model "six_pos"
7885 position "thead"
7886 ]
7887 ]
7888 edge
7889 [
7890 source 8
7891 target 38
7892 graphics
7893 [
7894 fill "#000000"
7895 targetArrow "standard"
7896 ]
7897 LabelGraphics
7898 [
7899 text "incomingTransitions reference Vertex"
7900 fontSize 14
7901 fontName "Consolas"
7902 configuration "AutoFlippingLabel"
7903 model "six_pos"
7904 position "thead"
7905 ]
7906 ]
7907 edge
7908 [
7909 source 33
7910 target 40
7911 graphics
7912 [
7913 fill "#000000"
7914 targetArrow "standard"
7915 ]
7916 LabelGraphics
7917 [
7918 text "incomingTransitions reference Vertex"
7919 fontSize 14
7920 fontName "Consolas"
7921 configuration "AutoFlippingLabel"
7922 model "six_pos"
7923 position "thead"
7924 ]
7925 ]
7926 edge
7927 [
7928 source 6
7929 target 39
7930 graphics
7931 [
7932 fill "#000000"
7933 targetArrow "standard"
7934 ]
7935 LabelGraphics
7936 [
7937 text "incomingTransitions reference Vertex"
7938 fontSize 14
7939 fontName "Consolas"
7940 configuration "AutoFlippingLabel"
7941 model "six_pos"
7942 position "thead"
7943 ]
7944 ]
7945 edge
7946 [
7947 source 11
7948 target 42
7949 graphics
7950 [
7951 fill "#000000"
7952 targetArrow "standard"
7953 ]
7954 LabelGraphics
7955 [
7956 text "incomingTransitions reference Vertex"
7957 fontSize 14
7958 fontName "Consolas"
7959 configuration "AutoFlippingLabel"
7960 model "six_pos"
7961 position "thead"
7962 ]
7963 ]
7964 edge
7965 [
7966 source 32
7967 target 43
7968 graphics
7969 [
7970 fill "#000000"
7971 targetArrow "standard"
7972 ]
7973 LabelGraphics
7974 [
7975 text "incomingTransitions reference Vertex"
7976 fontSize 14
7977 fontName "Consolas"
7978 configuration "AutoFlippingLabel"
7979 model "six_pos"
7980 position "thead"
7981 ]
7982 ]
7983 edge
7984 [
7985 source 6
7986 target 44
7987 graphics
7988 [
7989 fill "#000000"
7990 targetArrow "standard"
7991 ]
7992 LabelGraphics
7993 [
7994 text "incomingTransitions reference Vertex"
7995 fontSize 14
7996 fontName "Consolas"
7997 configuration "AutoFlippingLabel"
7998 model "six_pos"
7999 position "thead"
8000 ]
8001 ]
8002 edge
8003 [
8004 source 19
8005 target 45
8006 graphics
8007 [
8008 fill "#000000"
8009 targetArrow "standard"
8010 ]
8011 LabelGraphics
8012 [
8013 text "incomingTransitions reference Vertex"
8014 fontSize 14
8015 fontName "Consolas"
8016 configuration "AutoFlippingLabel"
8017 model "six_pos"
8018 position "thead"
8019 ]
8020 ]
8021 edge
8022 [
8023 source 20
8024 target 46
8025 graphics
8026 [
8027 fill "#000000"
8028 targetArrow "standard"
8029 ]
8030 LabelGraphics
8031 [
8032 text "incomingTransitions reference Vertex"
8033 fontSize 14
8034 fontName "Consolas"
8035 configuration "AutoFlippingLabel"
8036 model "six_pos"
8037 position "thead"
8038 ]
8039 ]
8040 edge
8041 [
8042 source 8
8043 target 47
8044 graphics
8045 [
8046 fill "#000000"
8047 targetArrow "standard"
8048 ]
8049 LabelGraphics
8050 [
8051 text "incomingTransitions reference Vertex"
8052 fontSize 14
8053 fontName "Consolas"
8054 configuration "AutoFlippingLabel"
8055 model "six_pos"
8056 position "thead"
8057 ]
8058 ]
8059 edge
8060 [
8061 source 23
8062 target 48
8063 graphics
8064 [
8065 fill "#000000"
8066 targetArrow "standard"
8067 ]
8068 LabelGraphics
8069 [
8070 text "incomingTransitions reference Vertex"
8071 fontSize 14
8072 fontName "Consolas"
8073 configuration "AutoFlippingLabel"
8074 model "six_pos"
8075 position "thead"
8076 ]
8077 ]
8078 edge
8079 [
8080 source 25
8081 target 49
8082 graphics
8083 [
8084 fill "#000000"
8085 targetArrow "standard"
8086 ]
8087 LabelGraphics
8088 [
8089 text "incomingTransitions reference Vertex"
8090 fontSize 14
8091 fontName "Consolas"
8092 configuration "AutoFlippingLabel"
8093 model "six_pos"
8094 position "thead"
8095 ]
8096 ]
8097 edge
8098 [
8099 source 10
8100 target 50
8101 graphics
8102 [
8103 fill "#000000"
8104 targetArrow "standard"
8105 ]
8106 LabelGraphics
8107 [
8108 text "incomingTransitions reference Vertex"
8109 fontSize 14
8110 fontName "Consolas"
8111 configuration "AutoFlippingLabel"
8112 model "six_pos"
8113 position "thead"
8114 ]
8115 ]
8116 edge
8117 [
8118 source 14
8119 target 51
8120 graphics
8121 [
8122 fill "#000000"
8123 targetArrow "standard"
8124 ]
8125 LabelGraphics
8126 [
8127 text "incomingTransitions reference Vertex"
8128 fontSize 14
8129 fontName "Consolas"
8130 configuration "AutoFlippingLabel"
8131 model "six_pos"
8132 position "thead"
8133 ]
8134 ]
8135 edge
8136 [
3258 source 5 8137 source 5
3259 target 6 8138 target 7
3260 graphics 8139 graphics
3261 [ 8140 [
3262 fill "#000000" 8141 fill "#000000"
@@ -3265,7 +8144,7 @@ graph
3265 ] 8144 ]
3266 LabelGraphics 8145 LabelGraphics
3267 [ 8146 [
3268 text "root reference FileSystem" 8147 text "outgoingTransitions reference Vertex"
3269 fontSize 14 8148 fontSize 14
3270 fontName "Consolas" 8149 fontName "Consolas"
3271 configuration "AutoFlippingLabel" 8150 configuration "AutoFlippingLabel"
@@ -3275,7 +8154,487 @@ graph
3275 ] 8154 ]
3276 edge 8155 edge
3277 [ 8156 [
3278 source 0 8157 source 6
8158 target 9
8159 graphics
8160 [
8161 fill "#000000"
8162 width 3
8163 targetArrow "standard"
8164 ]
8165 LabelGraphics
8166 [
8167 text "outgoingTransitions reference Vertex"
8168 fontSize 14
8169 fontName "Consolas"
8170 configuration "AutoFlippingLabel"
8171 model "six_pos"
8172 position "thead"
8173 ]
8174 ]
8175 edge
8176 [
8177 source 6
8178 target 13
8179 graphics
8180 [
8181 fill "#000000"
8182 width 3
8183 targetArrow "standard"
8184 ]
8185 LabelGraphics
8186 [
8187 text "outgoingTransitions reference Vertex"
8188 fontSize 14
8189 fontName "Consolas"
8190 configuration "AutoFlippingLabel"
8191 model "six_pos"
8192 position "thead"
8193 ]
8194 ]
8195 edge
8196 [
8197 source 6
8198 target 21
8199 graphics
8200 [
8201 fill "#000000"
8202 width 3
8203 targetArrow "standard"
8204 ]
8205 LabelGraphics
8206 [
8207 text "outgoingTransitions reference Vertex"
8208 fontSize 14
8209 fontName "Consolas"
8210 configuration "AutoFlippingLabel"
8211 model "six_pos"
8212 position "thead"
8213 ]
8214 ]
8215 edge
8216 [
8217 source 20
8218 target 22
8219 graphics
8220 [
8221 fill "#000000"
8222 width 3
8223 targetArrow "standard"
8224 ]
8225 LabelGraphics
8226 [
8227 text "outgoingTransitions reference Vertex"
8228 fontSize 14
8229 fontName "Consolas"
8230 configuration "AutoFlippingLabel"
8231 model "six_pos"
8232 position "thead"
8233 ]
8234 ]
8235 edge
8236 [
8237 source 25
8238 target 26
8239 graphics
8240 [
8241 fill "#000000"
8242 width 3
8243 targetArrow "standard"
8244 ]
8245 LabelGraphics
8246 [
8247 text "outgoingTransitions reference Vertex"
8248 fontSize 14
8249 fontName "Consolas"
8250 configuration "AutoFlippingLabel"
8251 model "six_pos"
8252 position "thead"
8253 ]
8254 ]
8255 edge
8256 [
8257 source 6
8258 target 28
8259 graphics
8260 [
8261 fill "#000000"
8262 width 3
8263 targetArrow "standard"
8264 ]
8265 LabelGraphics
8266 [
8267 text "outgoingTransitions reference Vertex"
8268 fontSize 14
8269 fontName "Consolas"
8270 configuration "AutoFlippingLabel"
8271 model "six_pos"
8272 position "thead"
8273 ]
8274 ]
8275 edge
8276 [
8277 source 25
8278 target 29
8279 graphics
8280 [
8281 fill "#000000"
8282 width 3
8283 targetArrow "standard"
8284 ]
8285 LabelGraphics
8286 [
8287 text "outgoingTransitions reference Vertex"
8288 fontSize 14
8289 fontName "Consolas"
8290 configuration "AutoFlippingLabel"
8291 model "six_pos"
8292 position "thead"
8293 ]
8294 ]
8295 edge
8296 [
8297 source 23
8298 target 31
8299 graphics
8300 [
8301 fill "#000000"
8302 width 3
8303 targetArrow "standard"
8304 ]
8305 LabelGraphics
8306 [
8307 text "outgoingTransitions reference Vertex"
8308 fontSize 14
8309 fontName "Consolas"
8310 configuration "AutoFlippingLabel"
8311 model "six_pos"
8312 position "thead"
8313 ]
8314 ]
8315 edge
8316 [
8317 source 23
8318 target 36
8319 graphics
8320 [
8321 fill "#000000"
8322 width 3
8323 targetArrow "standard"
8324 ]
8325 LabelGraphics
8326 [
8327 text "outgoingTransitions reference Vertex"
8328 fontSize 14
8329 fontName "Consolas"
8330 configuration "AutoFlippingLabel"
8331 model "six_pos"
8332 position "thead"
8333 ]
8334 ]
8335 edge
8336 [
8337 source 20
8338 target 37
8339 graphics
8340 [
8341 fill "#000000"
8342 width 3
8343 targetArrow "standard"
8344 ]
8345 LabelGraphics
8346 [
8347 text "outgoingTransitions reference Vertex"
8348 fontSize 14
8349 fontName "Consolas"
8350 configuration "AutoFlippingLabel"
8351 model "six_pos"
8352 position "thead"
8353 ]
8354 ]
8355 edge
8356 [
8357 source 6
8358 target 38
8359 graphics
8360 [
8361 fill "#000000"
8362 width 3
8363 targetArrow "standard"
8364 ]
8365 LabelGraphics
8366 [
8367 text "outgoingTransitions reference Vertex"
8368 fontSize 14
8369 fontName "Consolas"
8370 configuration "AutoFlippingLabel"
8371 model "six_pos"
8372 position "thead"
8373 ]
8374 ]
8375 edge
8376 [
8377 source 25
8378 target 39
8379 graphics
8380 [
8381 fill "#000000"
8382 width 3
8383 targetArrow "standard"
8384 ]
8385 LabelGraphics
8386 [
8387 text "outgoingTransitions reference Vertex"
8388 fontSize 14
8389 fontName "Consolas"
8390 configuration "AutoFlippingLabel"
8391 model "six_pos"
8392 position "thead"
8393 ]
8394 ]
8395 edge
8396 [
8397 source 23
8398 target 40
8399 graphics
8400 [
8401 fill "#000000"
8402 width 3
8403 targetArrow "standard"
8404 ]
8405 LabelGraphics
8406 [
8407 text "outgoingTransitions reference Vertex"
8408 fontSize 14
8409 fontName "Consolas"
8410 configuration "AutoFlippingLabel"
8411 model "six_pos"
8412 position "thead"
8413 ]
8414 ]
8415 edge
8416 [
8417 source 25
8418 target 42
8419 graphics
8420 [
8421 fill "#000000"
8422 width 3
8423 targetArrow "standard"
8424 ]
8425 LabelGraphics
8426 [
8427 text "outgoingTransitions reference Vertex"
8428 fontSize 14
8429 fontName "Consolas"
8430 configuration "AutoFlippingLabel"
8431 model "six_pos"
8432 position "thead"
8433 ]
8434 ]
8435 edge
8436 [
8437 source 25
8438 target 43
8439 graphics
8440 [
8441 fill "#000000"
8442 width 3
8443 targetArrow "standard"
8444 ]
8445 LabelGraphics
8446 [
8447 text "outgoingTransitions reference Vertex"
8448 fontSize 14
8449 fontName "Consolas"
8450 configuration "AutoFlippingLabel"
8451 model "six_pos"
8452 position "thead"
8453 ]
8454 ]
8455 edge
8456 [
8457 source 25
8458 target 44
8459 graphics
8460 [
8461 fill "#000000"
8462 width 3
8463 targetArrow "standard"
8464 ]
8465 LabelGraphics
8466 [
8467 text "outgoingTransitions reference Vertex"
8468 fontSize 14
8469 fontName "Consolas"
8470 configuration "AutoFlippingLabel"
8471 model "six_pos"
8472 position "thead"
8473 ]
8474 ]
8475 edge
8476 [
8477 source 35
8478 target 45
8479 graphics
8480 [
8481 fill "#000000"
8482 width 3
8483 targetArrow "standard"
8484 ]
8485 LabelGraphics
8486 [
8487 text "outgoingTransitions reference Vertex"
8488 fontSize 14
8489 fontName "Consolas"
8490 configuration "AutoFlippingLabel"
8491 model "six_pos"
8492 position "thead"
8493 ]
8494 ]
8495 edge
8496 [
8497 source 35
8498 target 46
8499 graphics
8500 [
8501 fill "#000000"
8502 width 3
8503 targetArrow "standard"
8504 ]
8505 LabelGraphics
8506 [
8507 text "outgoingTransitions reference Vertex"
8508 fontSize 14
8509 fontName "Consolas"
8510 configuration "AutoFlippingLabel"
8511 model "six_pos"
8512 position "thead"
8513 ]
8514 ]
8515 edge
8516 [
8517 source 20
8518 target 47
8519 graphics
8520 [
8521 fill "#000000"
8522 width 3
8523 targetArrow "standard"
8524 ]
8525 LabelGraphics
8526 [
8527 text "outgoingTransitions reference Vertex"
8528 fontSize 14
8529 fontName "Consolas"
8530 configuration "AutoFlippingLabel"
8531 model "six_pos"
8532 position "thead"
8533 ]
8534 ]
8535 edge
8536 [
8537 source 20
8538 target 48
8539 graphics
8540 [
8541 fill "#000000"
8542 width 3
8543 targetArrow "standard"
8544 ]
8545 LabelGraphics
8546 [
8547 text "outgoingTransitions reference Vertex"
8548 fontSize 14
8549 fontName "Consolas"
8550 configuration "AutoFlippingLabel"
8551 model "six_pos"
8552 position "thead"
8553 ]
8554 ]
8555 edge
8556 [
8557 source 35
8558 target 49
8559 graphics
8560 [
8561 fill "#000000"
8562 width 3
8563 targetArrow "standard"
8564 ]
8565 LabelGraphics
8566 [
8567 text "outgoingTransitions reference Vertex"
8568 fontSize 14
8569 fontName "Consolas"
8570 configuration "AutoFlippingLabel"
8571 model "six_pos"
8572 position "thead"
8573 ]
8574 ]
8575 edge
8576 [
8577 source 35
8578 target 50
8579 graphics
8580 [
8581 fill "#000000"
8582 width 3
8583 targetArrow "standard"
8584 ]
8585 LabelGraphics
8586 [
8587 text "outgoingTransitions reference Vertex"
8588 fontSize 14
8589 fontName "Consolas"
8590 configuration "AutoFlippingLabel"
8591 model "six_pos"
8592 position "thead"
8593 ]
8594 ]
8595 edge
8596 [
8597 source 41
8598 target 51
8599 graphics
8600 [
8601 fill "#000000"
8602 width 3
8603 targetArrow "standard"
8604 ]
8605 LabelGraphics
8606 [
8607 text "outgoingTransitions reference Vertex"
8608 fontSize 14
8609 fontName "Consolas"
8610 configuration "AutoFlippingLabel"
8611 model "six_pos"
8612 position "thead"
8613 ]
8614 ]
8615 edge
8616 [
8617 source 3
8618 target 4
8619 graphics
8620 [
8621 fill "#000000"
8622 width 3
8623 targetArrow "standard"
8624 ]
8625 LabelGraphics
8626 [
8627 text "vertices reference Region"
8628 fontSize 14
8629 fontName "Consolas"
8630 configuration "AutoFlippingLabel"
8631 model "six_pos"
8632 position "thead"
8633 ]
8634 ]
8635 edge
8636 [
8637 source 3
3279 target 5 8638 target 5
3280 graphics 8639 graphics
3281 [ 8640 [
@@ -3285,7 +8644,7 @@ graph
3285 ] 8644 ]
3286 LabelGraphics 8645 LabelGraphics
3287 [ 8646 [
3288 text "filesystems reference Model" 8647 text "vertices reference Region"
3289 fontSize 14 8648 fontSize 14
3290 fontName "Consolas" 8649 fontName "Consolas"
3291 configuration "AutoFlippingLabel" 8650 configuration "AutoFlippingLabel"
@@ -3295,8 +8654,8 @@ graph
3295 ] 8654 ]
3296 edge 8655 edge
3297 [ 8656 [
3298 source 0 8657 source 3
3299 target 3 8658 target 6
3300 graphics 8659 graphics
3301 [ 8660 [
3302 fill "#000000" 8661 fill "#000000"
@@ -3305,7 +8664,7 @@ graph
3305 ] 8664 ]
3306 LabelGraphics 8665 LabelGraphics
3307 [ 8666 [
3308 text "otherFSObjects reference Model" 8667 text "vertices reference Region"
3309 fontSize 14 8668 fontSize 14
3310 fontName "Consolas" 8669 fontName "Consolas"
3311 configuration "AutoFlippingLabel" 8670 configuration "AutoFlippingLabel"
@@ -3315,17 +8674,1349 @@ graph
3315 ] 8674 ]
3316 edge 8675 edge
3317 [ 8676 [
3318 source 0 8677 source 3
8678 target 8
8679 graphics
8680 [
8681 fill "#000000"
8682 width 3
8683 targetArrow "standard"
8684 ]
8685 LabelGraphics
8686 [
8687 text "vertices reference Region"
8688 fontSize 14
8689 fontName "Consolas"
8690 configuration "AutoFlippingLabel"
8691 model "six_pos"
8692 position "thead"
8693 ]
8694 ]
8695 edge
8696 [
8697 source 3
8698 target 10
8699 graphics
8700 [
8701 fill "#000000"
8702 width 3
8703 targetArrow "standard"
8704 ]
8705 LabelGraphics
8706 [
8707 text "vertices reference Region"
8708 fontSize 14
8709 fontName "Consolas"
8710 configuration "AutoFlippingLabel"
8711 model "six_pos"
8712 position "thead"
8713 ]
8714 ]
8715 edge
8716 [
8717 source 3
8718 target 11
8719 graphics
8720 [
8721 fill "#000000"
8722 width 3
8723 targetArrow "standard"
8724 ]
8725 LabelGraphics
8726 [
8727 text "vertices reference Region"
8728 fontSize 14
8729 fontName "Consolas"
8730 configuration "AutoFlippingLabel"
8731 model "six_pos"
8732 position "thead"
8733 ]
8734 ]
8735 edge
8736 [
8737 source 3
8738 target 12
8739 graphics
8740 [
8741 fill "#000000"
8742 width 3
8743 targetArrow "standard"
8744 ]
8745 LabelGraphics
8746 [
8747 text "vertices reference Region"
8748 fontSize 14
8749 fontName "Consolas"
8750 configuration "AutoFlippingLabel"
8751 model "six_pos"
8752 position "thead"
8753 ]
8754 ]
8755 edge
8756 [
8757 source 3
8758 target 14
8759 graphics
8760 [
8761 fill "#000000"
8762 width 3
8763 targetArrow "standard"
8764 ]
8765 LabelGraphics
8766 [
8767 text "vertices reference Region"
8768 fontSize 14
8769 fontName "Consolas"
8770 configuration "AutoFlippingLabel"
8771 model "six_pos"
8772 position "thead"
8773 ]
8774 ]
8775 edge
8776 [
8777 source 3
8778 target 15
8779 graphics
8780 [
8781 fill "#000000"
8782 width 3
8783 targetArrow "standard"
8784 ]
8785 LabelGraphics
8786 [
8787 text "vertices reference Region"
8788 fontSize 14
8789 fontName "Consolas"
8790 configuration "AutoFlippingLabel"
8791 model "six_pos"
8792 position "thead"
8793 ]
8794 ]
8795 edge
8796 [
8797 source 3
8798 target 16
8799 graphics
8800 [
8801 fill "#000000"
8802 width 3
8803 targetArrow "standard"
8804 ]
8805 LabelGraphics
8806 [
8807 text "vertices reference Region"
8808 fontSize 14
8809 fontName "Consolas"
8810 configuration "AutoFlippingLabel"
8811 model "six_pos"
8812 position "thead"
8813 ]
8814 ]
8815 edge
8816 [
8817 source 3
8818 target 17
8819 graphics
8820 [
8821 fill "#000000"
8822 width 3
8823 targetArrow "standard"
8824 ]
8825 LabelGraphics
8826 [
8827 text "vertices reference Region"
8828 fontSize 14
8829 fontName "Consolas"
8830 configuration "AutoFlippingLabel"
8831 model "six_pos"
8832 position "thead"
8833 ]
8834 ]
8835 edge
8836 [
8837 source 3
8838 target 18
8839 graphics
8840 [
8841 fill "#000000"
8842 width 3
8843 targetArrow "standard"
8844 ]
8845 LabelGraphics
8846 [
8847 text "vertices reference Region"
8848 fontSize 14
8849 fontName "Consolas"
8850 configuration "AutoFlippingLabel"
8851 model "six_pos"
8852 position "thead"
8853 ]
8854 ]
8855 edge
8856 [
8857 source 3
8858 target 19
8859 graphics
8860 [
8861 fill "#000000"
8862 width 3
8863 targetArrow "standard"
8864 ]
8865 LabelGraphics
8866 [
8867 text "vertices reference Region"
8868 fontSize 14
8869 fontName "Consolas"
8870 configuration "AutoFlippingLabel"
8871 model "six_pos"
8872 position "thead"
8873 ]
8874 ]
8875 edge
8876 [
8877 source 3
8878 target 20
8879 graphics
8880 [
8881 fill "#000000"
8882 width 3
8883 targetArrow "standard"
8884 ]
8885 LabelGraphics
8886 [
8887 text "vertices reference Region"
8888 fontSize 14
8889 fontName "Consolas"
8890 configuration "AutoFlippingLabel"
8891 model "six_pos"
8892 position "thead"
8893 ]
8894 ]
8895 edge
8896 [
8897 source 3
8898 target 23
8899 graphics
8900 [
8901 fill "#000000"
8902 width 3
8903 targetArrow "standard"
8904 ]
8905 LabelGraphics
8906 [
8907 text "vertices reference Region"
8908 fontSize 14
8909 fontName "Consolas"
8910 configuration "AutoFlippingLabel"
8911 model "six_pos"
8912 position "thead"
8913 ]
8914 ]
8915 edge
8916 [
8917 source 3
8918 target 24
8919 graphics
8920 [
8921 fill "#000000"
8922 width 3
8923 targetArrow "standard"
8924 ]
8925 LabelGraphics
8926 [
8927 text "vertices reference Region"
8928 fontSize 14
8929 fontName "Consolas"
8930 configuration "AutoFlippingLabel"
8931 model "six_pos"
8932 position "thead"
8933 ]
8934 ]
8935 edge
8936 [
8937 source 3
8938 target 25
8939 graphics
8940 [
8941 fill "#000000"
8942 width 3
8943 targetArrow "standard"
8944 ]
8945 LabelGraphics
8946 [
8947 text "vertices reference Region"
8948 fontSize 14
8949 fontName "Consolas"
8950 configuration "AutoFlippingLabel"
8951 model "six_pos"
8952 position "thead"
8953 ]
8954 ]
8955 edge
8956 [
8957 source 3
8958 target 27
8959 graphics
8960 [
8961 fill "#000000"
8962 width 3
8963 targetArrow "standard"
8964 ]
8965 LabelGraphics
8966 [
8967 text "vertices reference Region"
8968 fontSize 14
8969 fontName "Consolas"
8970 configuration "AutoFlippingLabel"
8971 model "six_pos"
8972 position "thead"
8973 ]
8974 ]
8975 edge
8976 [
8977 source 3
8978 target 30
8979 graphics
8980 [
8981 fill "#000000"
8982 width 3
8983 targetArrow "standard"
8984 ]
8985 LabelGraphics
8986 [
8987 text "vertices reference Region"
8988 fontSize 14
8989 fontName "Consolas"
8990 configuration "AutoFlippingLabel"
8991 model "six_pos"
8992 position "thead"
8993 ]
8994 ]
8995 edge
8996 [
8997 source 3
8998 target 32
8999 graphics
9000 [
9001 fill "#000000"
9002 width 3
9003 targetArrow "standard"
9004 ]
9005 LabelGraphics
9006 [
9007 text "vertices reference Region"
9008 fontSize 14
9009 fontName "Consolas"
9010 configuration "AutoFlippingLabel"
9011 model "six_pos"
9012 position "thead"
9013 ]
9014 ]
9015 edge
9016 [
9017 source 3
9018 target 33
9019 graphics
9020 [
9021 fill "#000000"
9022 width 3
9023 targetArrow "standard"
9024 ]
9025 LabelGraphics
9026 [
9027 text "vertices reference Region"
9028 fontSize 14
9029 fontName "Consolas"
9030 configuration "AutoFlippingLabel"
9031 model "six_pos"
9032 position "thead"
9033 ]
9034 ]
9035 edge
9036 [
9037 source 3
9038 target 34
9039 graphics
9040 [
9041 fill "#000000"
9042 width 3
9043 targetArrow "standard"
9044 ]
9045 LabelGraphics
9046 [
9047 text "vertices reference Region"
9048 fontSize 14
9049 fontName "Consolas"
9050 configuration "AutoFlippingLabel"
9051 model "six_pos"
9052 position "thead"
9053 ]
9054 ]
9055 edge
9056 [
9057 source 3
9058 target 35
9059 graphics
9060 [
9061 fill "#000000"
9062 width 3
9063 targetArrow "standard"
9064 ]
9065 LabelGraphics
9066 [
9067 text "vertices reference Region"
9068 fontSize 14
9069 fontName "Consolas"
9070 configuration "AutoFlippingLabel"
9071 model "six_pos"
9072 position "thead"
9073 ]
9074 ]
9075 edge
9076 [
9077 source 3
9078 target 41
9079 graphics
9080 [
9081 fill "#000000"
9082 width 3
9083 targetArrow "standard"
9084 ]
9085 LabelGraphics
9086 [
9087 text "vertices reference Region"
9088 fontSize 14
9089 fontName "Consolas"
9090 configuration "AutoFlippingLabel"
9091 model "six_pos"
9092 position "thead"
9093 ]
9094 ]
9095 edge
9096 [
9097 source 7
9098 target 6
9099 graphics
9100 [
9101 fill "#000000"
9102 targetArrow "standard"
9103 ]
9104 LabelGraphics
9105 [
9106 text "target reference Transition"
9107 fontSize 14
9108 fontName "Consolas"
9109 configuration "AutoFlippingLabel"
9110 model "six_pos"
9111 position "thead"
9112 ]
9113 ]
9114 edge
9115 [
9116 source 9
3319 target 4 9117 target 4
3320 graphics 9118 graphics
3321 [ 9119 [
3322 fill "#000000" 9120 fill "#000000"
9121 targetArrow "standard"
9122 ]
9123 LabelGraphics
9124 [
9125 text "target reference Transition"
9126 fontSize 14
9127 fontName "Consolas"
9128 configuration "AutoFlippingLabel"
9129 model "six_pos"
9130 position "thead"
9131 ]
9132 ]
9133 edge
9134 [
9135 source 13
9136 target 11
9137 graphics
9138 [
9139 fill "#000000"
9140 targetArrow "standard"
9141 ]
9142 LabelGraphics
9143 [
9144 text "target reference Transition"
9145 fontSize 14
9146 fontName "Consolas"
9147 configuration "AutoFlippingLabel"
9148 model "six_pos"
9149 position "thead"
9150 ]
9151 ]
9152 edge
9153 [
9154 source 21
9155 target 18
9156 graphics
9157 [
9158 fill "#000000"
9159 targetArrow "standard"
9160 ]
9161 LabelGraphics
9162 [
9163 text "target reference Transition"
9164 fontSize 14
9165 fontName "Consolas"
9166 configuration "AutoFlippingLabel"
9167 model "six_pos"
9168 position "thead"
9169 ]
9170 ]
9171 edge
9172 [
9173 source 22
9174 target 11
9175 graphics
9176 [
9177 fill "#000000"
9178 targetArrow "standard"
9179 ]
9180 LabelGraphics
9181 [
9182 text "target reference Transition"
9183 fontSize 14
9184 fontName "Consolas"
9185 configuration "AutoFlippingLabel"
9186 model "six_pos"
9187 position "thead"
9188 ]
9189 ]
9190 edge
9191 [
9192 source 26
9193 target 23
9194 graphics
9195 [
9196 fill "#000000"
9197 targetArrow "standard"
9198 ]
9199 LabelGraphics
9200 [
9201 text "target reference Transition"
9202 fontSize 14
9203 fontName "Consolas"
9204 configuration "AutoFlippingLabel"
9205 model "six_pos"
9206 position "thead"
9207 ]
9208 ]
9209 edge
9210 [
9211 source 28
9212 target 17
9213 graphics
9214 [
9215 fill "#000000"
9216 targetArrow "standard"
9217 ]
9218 LabelGraphics
9219 [
9220 text "target reference Transition"
9221 fontSize 14
9222 fontName "Consolas"
9223 configuration "AutoFlippingLabel"
9224 model "six_pos"
9225 position "thead"
9226 ]
9227 ]
9228 edge
9229 [
9230 source 29
9231 target 18
9232 graphics
9233 [
9234 fill "#000000"
9235 targetArrow "standard"
9236 ]
9237 LabelGraphics
9238 [
9239 text "target reference Transition"
9240 fontSize 14
9241 fontName "Consolas"
9242 configuration "AutoFlippingLabel"
9243 model "six_pos"
9244 position "thead"
9245 ]
9246 ]
9247 edge
9248 [
9249 source 31
9250 target 18
9251 graphics
9252 [
9253 fill "#000000"
9254 targetArrow "standard"
9255 ]
9256 LabelGraphics
9257 [
9258 text "target reference Transition"
9259 fontSize 14
9260 fontName "Consolas"
9261 configuration "AutoFlippingLabel"
9262 model "six_pos"
9263 position "thead"
9264 ]
9265 ]
9266 edge
9267 [
9268 source 36
9269 target 34
9270 graphics
9271 [
9272 fill "#000000"
9273 targetArrow "standard"
9274 ]
9275 LabelGraphics
9276 [
9277 text "target reference Transition"
9278 fontSize 14
9279 fontName "Consolas"
9280 configuration "AutoFlippingLabel"
9281 model "six_pos"
9282 position "thead"
9283 ]
9284 ]
9285 edge
9286 [
9287 source 37
9288 target 34
9289 graphics
9290 [
9291 fill "#000000"
9292 targetArrow "standard"
9293 ]
9294 LabelGraphics
9295 [
9296 text "target reference Transition"
9297 fontSize 14
9298 fontName "Consolas"
9299 configuration "AutoFlippingLabel"
9300 model "six_pos"
9301 position "thead"
9302 ]
9303 ]
9304 edge
9305 [
9306 source 38
9307 target 8
9308 graphics
9309 [
9310 fill "#000000"
9311 targetArrow "standard"
9312 ]
9313 LabelGraphics
9314 [
9315 text "target reference Transition"
9316 fontSize 14
9317 fontName "Consolas"
9318 configuration "AutoFlippingLabel"
9319 model "six_pos"
9320 position "thead"
9321 ]
9322 ]
9323 edge
9324 [
9325 source 40
9326 target 33
9327 graphics
9328 [
9329 fill "#000000"
9330 targetArrow "standard"
9331 ]
9332 LabelGraphics
9333 [
9334 text "target reference Transition"
9335 fontSize 14
9336 fontName "Consolas"
9337 configuration "AutoFlippingLabel"
9338 model "six_pos"
9339 position "thead"
9340 ]
9341 ]
9342 edge
9343 [
9344 source 39
9345 target 6
9346 graphics
9347 [
9348 fill "#000000"
9349 targetArrow "standard"
9350 ]
9351 LabelGraphics
9352 [
9353 text "target reference Transition"
9354 fontSize 14
9355 fontName "Consolas"
9356 configuration "AutoFlippingLabel"
9357 model "six_pos"
9358 position "thead"
9359 ]
9360 ]
9361 edge
9362 [
9363 source 42
9364 target 11
9365 graphics
9366 [
9367 fill "#000000"
9368 targetArrow "standard"
9369 ]
9370 LabelGraphics
9371 [
9372 text "target reference Transition"
9373 fontSize 14
9374 fontName "Consolas"
9375 configuration "AutoFlippingLabel"
9376 model "six_pos"
9377 position "thead"
9378 ]
9379 ]
9380 edge
9381 [
9382 source 43
9383 target 32
9384 graphics
9385 [
9386 fill "#000000"
9387 targetArrow "standard"
9388 ]
9389 LabelGraphics
9390 [
9391 text "target reference Transition"
9392 fontSize 14
9393 fontName "Consolas"
9394 configuration "AutoFlippingLabel"
9395 model "six_pos"
9396 position "thead"
9397 ]
9398 ]
9399 edge
9400 [
9401 source 44
9402 target 6
9403 graphics
9404 [
9405 fill "#000000"
9406 targetArrow "standard"
9407 ]
9408 LabelGraphics
9409 [
9410 text "target reference Transition"
9411 fontSize 14
9412 fontName "Consolas"
9413 configuration "AutoFlippingLabel"
9414 model "six_pos"
9415 position "thead"
9416 ]
9417 ]
9418 edge
9419 [
9420 source 45
9421 target 19
9422 graphics
9423 [
9424 fill "#000000"
9425 targetArrow "standard"
9426 ]
9427 LabelGraphics
9428 [
9429 text "target reference Transition"
9430 fontSize 14
9431 fontName "Consolas"
9432 configuration "AutoFlippingLabel"
9433 model "six_pos"
9434 position "thead"
9435 ]
9436 ]
9437 edge
9438 [
9439 source 46
9440 target 20
9441 graphics
9442 [
9443 fill "#000000"
9444 targetArrow "standard"
9445 ]
9446 LabelGraphics
9447 [
9448 text "target reference Transition"
9449 fontSize 14
9450 fontName "Consolas"
9451 configuration "AutoFlippingLabel"
9452 model "six_pos"
9453 position "thead"
9454 ]
9455 ]
9456 edge
9457 [
9458 source 47
9459 target 8
9460 graphics
9461 [
9462 fill "#000000"
9463 targetArrow "standard"
9464 ]
9465 LabelGraphics
9466 [
9467 text "target reference Transition"
9468 fontSize 14
9469 fontName "Consolas"
9470 configuration "AutoFlippingLabel"
9471 model "six_pos"
9472 position "thead"
9473 ]
9474 ]
9475 edge
9476 [
9477 source 48
9478 target 23
9479 graphics
9480 [
9481 fill "#000000"
9482 targetArrow "standard"
9483 ]
9484 LabelGraphics
9485 [
9486 text "target reference Transition"
9487 fontSize 14
9488 fontName "Consolas"
9489 configuration "AutoFlippingLabel"
9490 model "six_pos"
9491 position "thead"
9492 ]
9493 ]
9494 edge
9495 [
9496 source 49
9497 target 25
9498 graphics
9499 [
9500 fill "#000000"
9501 targetArrow "standard"
9502 ]
9503 LabelGraphics
9504 [
9505 text "target reference Transition"
9506 fontSize 14
9507 fontName "Consolas"
9508 configuration "AutoFlippingLabel"
9509 model "six_pos"
9510 position "thead"
9511 ]
9512 ]
9513 edge
9514 [
9515 source 50
9516 target 10
9517 graphics
9518 [
9519 fill "#000000"
9520 targetArrow "standard"
9521 ]
9522 LabelGraphics
9523 [
9524 text "target reference Transition"
9525 fontSize 14
9526 fontName "Consolas"
9527 configuration "AutoFlippingLabel"
9528 model "six_pos"
9529 position "thead"
9530 ]
9531 ]
9532 edge
9533 [
9534 source 51
9535 target 14
9536 graphics
9537 [
9538 fill "#000000"
9539 targetArrow "standard"
9540 ]
9541 LabelGraphics
9542 [
9543 text "target reference Transition"
9544 fontSize 14
9545 fontName "Consolas"
9546 configuration "AutoFlippingLabel"
9547 model "six_pos"
9548 position "thead"
9549 ]
9550 ]
9551 edge
9552 [
9553 source 7
9554 target 5
9555 graphics
9556 [
9557 fill "#000000"
9558 targetArrow "standard"
9559 ]
9560 LabelGraphics
9561 [
9562 text "source reference Transition"
9563 fontSize 14
9564 fontName "Consolas"
9565 configuration "AutoFlippingLabel"
9566 model "six_pos"
9567 position "thead"
9568 ]
9569 ]
9570 edge
9571 [
9572 source 9
9573 target 6
9574 graphics
9575 [
9576 fill "#000000"
9577 targetArrow "standard"
9578 ]
9579 LabelGraphics
9580 [
9581 text "source reference Transition"
9582 fontSize 14
9583 fontName "Consolas"
9584 configuration "AutoFlippingLabel"
9585 model "six_pos"
9586 position "thead"
9587 ]
9588 ]
9589 edge
9590 [
9591 source 13
9592 target 6
9593 graphics
9594 [
9595 fill "#000000"
9596 targetArrow "standard"
9597 ]
9598 LabelGraphics
9599 [
9600 text "source reference Transition"
9601 fontSize 14
9602 fontName "Consolas"
9603 configuration "AutoFlippingLabel"
9604 model "six_pos"
9605 position "thead"
9606 ]
9607 ]
9608 edge
9609 [
9610 source 21
9611 target 6
9612 graphics
9613 [
9614 fill "#000000"
9615 targetArrow "standard"
9616 ]
9617 LabelGraphics
9618 [
9619 text "source reference Transition"
9620 fontSize 14
9621 fontName "Consolas"
9622 configuration "AutoFlippingLabel"
9623 model "six_pos"
9624 position "thead"
9625 ]
9626 ]
9627 edge
9628 [
9629 source 22
9630 target 20
9631 graphics
9632 [
9633 fill "#000000"
9634 targetArrow "standard"
9635 ]
9636 LabelGraphics
9637 [
9638 text "source reference Transition"
9639 fontSize 14
9640 fontName "Consolas"
9641 configuration "AutoFlippingLabel"
9642 model "six_pos"
9643 position "thead"
9644 ]
9645 ]
9646 edge
9647 [
9648 source 26
9649 target 25
9650 graphics
9651 [
9652 fill "#000000"
9653 targetArrow "standard"
9654 ]
9655 LabelGraphics
9656 [
9657 text "source reference Transition"
9658 fontSize 14
9659 fontName "Consolas"
9660 configuration "AutoFlippingLabel"
9661 model "six_pos"
9662 position "thead"
9663 ]
9664 ]
9665 edge
9666 [
9667 source 28
9668 target 6
9669 graphics
9670 [
9671 fill "#000000"
9672 targetArrow "standard"
9673 ]
9674 LabelGraphics
9675 [
9676 text "source reference Transition"
9677 fontSize 14
9678 fontName "Consolas"
9679 configuration "AutoFlippingLabel"
9680 model "six_pos"
9681 position "thead"
9682 ]
9683 ]
9684 edge
9685 [
9686 source 29
9687 target 25
9688 graphics
9689 [
9690 fill "#000000"
9691 targetArrow "standard"
9692 ]
9693 LabelGraphics
9694 [
9695 text "source reference Transition"
9696 fontSize 14
9697 fontName "Consolas"
9698 configuration "AutoFlippingLabel"
9699 model "six_pos"
9700 position "thead"
9701 ]
9702 ]
9703 edge
9704 [
9705 source 31
9706 target 23
9707 graphics
9708 [
9709 fill "#000000"
9710 targetArrow "standard"
9711 ]
9712 LabelGraphics
9713 [
9714 text "source reference Transition"
9715 fontSize 14
9716 fontName "Consolas"
9717 configuration "AutoFlippingLabel"
9718 model "six_pos"
9719 position "thead"
9720 ]
9721 ]
9722 edge
9723 [
9724 source 36
9725 target 23
9726 graphics
9727 [
9728 fill "#000000"
9729 targetArrow "standard"
9730 ]
9731 LabelGraphics
9732 [
9733 text "source reference Transition"
9734 fontSize 14
9735 fontName "Consolas"
9736 configuration "AutoFlippingLabel"
9737 model "six_pos"
9738 position "thead"
9739 ]
9740 ]
9741 edge
9742 [
9743 source 37
9744 target 20
9745 graphics
9746 [
9747 fill "#000000"
9748 targetArrow "standard"
9749 ]
9750 LabelGraphics
9751 [
9752 text "source reference Transition"
9753 fontSize 14
9754 fontName "Consolas"
9755 configuration "AutoFlippingLabel"
9756 model "six_pos"
9757 position "thead"
9758 ]
9759 ]
9760 edge
9761 [
9762 source 38
9763 target 6
9764 graphics
9765 [
9766 fill "#000000"
9767 targetArrow "standard"
9768 ]
9769 LabelGraphics
9770 [
9771 text "source reference Transition"
9772 fontSize 14
9773 fontName "Consolas"
9774 configuration "AutoFlippingLabel"
9775 model "six_pos"
9776 position "thead"
9777 ]
9778 ]
9779 edge
9780 [
9781 source 39
9782 target 25
9783 graphics
9784 [
9785 fill "#000000"
9786 targetArrow "standard"
9787 ]
9788 LabelGraphics
9789 [
9790 text "source reference Transition"
9791 fontSize 14
9792 fontName "Consolas"
9793 configuration "AutoFlippingLabel"
9794 model "six_pos"
9795 position "thead"
9796 ]
9797 ]
9798 edge
9799 [
9800 source 40
9801 target 23
9802 graphics
9803 [
9804 fill "#000000"
9805 targetArrow "standard"
9806 ]
9807 LabelGraphics
9808 [
9809 text "source reference Transition"
9810 fontSize 14
9811 fontName "Consolas"
9812 configuration "AutoFlippingLabel"
9813 model "six_pos"
9814 position "thead"
9815 ]
9816 ]
9817 edge
9818 [
9819 source 42
9820 target 25
9821 graphics
9822 [
9823 fill "#000000"
9824 targetArrow "standard"
9825 ]
9826 LabelGraphics
9827 [
9828 text "source reference Transition"
9829 fontSize 14
9830 fontName "Consolas"
9831 configuration "AutoFlippingLabel"
9832 model "six_pos"
9833 position "thead"
9834 ]
9835 ]
9836 edge
9837 [
9838 source 43
9839 target 25
9840 graphics
9841 [
9842 fill "#000000"
9843 targetArrow "standard"
9844 ]
9845 LabelGraphics
9846 [
9847 text "source reference Transition"
9848 fontSize 14
9849 fontName "Consolas"
9850 configuration "AutoFlippingLabel"
9851 model "six_pos"
9852 position "thead"
9853 ]
9854 ]
9855 edge
9856 [
9857 source 44
9858 target 25
9859 graphics
9860 [
9861 fill "#000000"
9862 targetArrow "standard"
9863 ]
9864 LabelGraphics
9865 [
9866 text "source reference Transition"
9867 fontSize 14
9868 fontName "Consolas"
9869 configuration "AutoFlippingLabel"
9870 model "six_pos"
9871 position "thead"
9872 ]
9873 ]
9874 edge
9875 [
9876 source 45
9877 target 35
9878 graphics
9879 [
9880 fill "#000000"
9881 targetArrow "standard"
9882 ]
9883 LabelGraphics
9884 [
9885 text "source reference Transition"
9886 fontSize 14
9887 fontName "Consolas"
9888 configuration "AutoFlippingLabel"
9889 model "six_pos"
9890 position "thead"
9891 ]
9892 ]
9893 edge
9894 [
9895 source 46
9896 target 35
9897 graphics
9898 [
9899 fill "#000000"
9900 targetArrow "standard"
9901 ]
9902 LabelGraphics
9903 [
9904 text "source reference Transition"
9905 fontSize 14
9906 fontName "Consolas"
9907 configuration "AutoFlippingLabel"
9908 model "six_pos"
9909 position "thead"
9910 ]
9911 ]
9912 edge
9913 [
9914 source 47
9915 target 20
9916 graphics
9917 [
9918 fill "#000000"
9919 targetArrow "standard"
9920 ]
9921 LabelGraphics
9922 [
9923 text "source reference Transition"
9924 fontSize 14
9925 fontName "Consolas"
9926 configuration "AutoFlippingLabel"
9927 model "six_pos"
9928 position "thead"
9929 ]
9930 ]
9931 edge
9932 [
9933 source 48
9934 target 20
9935 graphics
9936 [
9937 fill "#000000"
9938 targetArrow "standard"
9939 ]
9940 LabelGraphics
9941 [
9942 text "source reference Transition"
9943 fontSize 14
9944 fontName "Consolas"
9945 configuration "AutoFlippingLabel"
9946 model "six_pos"
9947 position "thead"
9948 ]
9949 ]
9950 edge
9951 [
9952 source 49
9953 target 35
9954 graphics
9955 [
9956 fill "#000000"
9957 targetArrow "standard"
9958 ]
9959 LabelGraphics
9960 [
9961 text "source reference Transition"
9962 fontSize 14
9963 fontName "Consolas"
9964 configuration "AutoFlippingLabel"
9965 model "six_pos"
9966 position "thead"
9967 ]
9968 ]
9969 edge
9970 [
9971 source 50
9972 target 35
9973 graphics
9974 [
9975 fill "#000000"
9976 targetArrow "standard"
9977 ]
9978 LabelGraphics
9979 [
9980 text "source reference Transition"
9981 fontSize 14
9982 fontName "Consolas"
9983 configuration "AutoFlippingLabel"
9984 model "six_pos"
9985 position "thead"
9986 ]
9987 ]
9988 edge
9989 [
9990 source 51
9991 target 41
9992 graphics
9993 [
9994 fill "#000000"
9995 targetArrow "standard"
9996 ]
9997 LabelGraphics
9998 [
9999 text "source reference Transition"
10000 fontSize 14
10001 fontName "Consolas"
10002 configuration "AutoFlippingLabel"
10003 model "six_pos"
10004 position "thead"
10005 ]
10006 ]
10007 edge
10008 [
10009 source 0
10010 target 3
10011 graphics
10012 [
10013 fill "#000000"
3323 width 3 10014 width 3
3324 targetArrow "standard" 10015 targetArrow "standard"
3325 ] 10016 ]
3326 LabelGraphics 10017 LabelGraphics
3327 [ 10018 [
3328 text "otherFSObjects reference Model" 10019 text "regions reference CompositeElement"
3329 fontSize 14 10020 fontSize 14
3330 fontName "Consolas" 10021 fontName "Consolas"
3331 configuration "AutoFlippingLabel" 10022 configuration "AutoFlippingLabel"
@@ -3341,8 +10032,8 @@ graph
3341 id 0 10032 id 0
3342 graphics 10033 graphics
3343 [ 10034 [
3344 w 192.50000000000003 10035 w 277.20000000000005
3345 h 54 10036 h 82
3346 type "rectangle" 10037 type "rectangle"
3347 fill "#FFFFFF" 10038 fill "#FFFFFF"
3348 fill2 "#FFFFFF" 10039 fill2 "#FFFFFF"
@@ -3362,8 +10053,10 @@ graph
3362 LabelGraphics 10053 LabelGraphics
3363 [ 10054 [
3364 text " 10055 text "
3365 Model class DefinedPart 10056 Statechart class DefinedPart
3366 Model class 10057 CompositeElement class DefinedPart
10058 Statechart class
10059 CompositeElement class
3367 " 10060 "
3368 fontSize 14 10061 fontSize 14
3369 fontName "Consolas" 10062 fontName "Consolas"
@@ -3448,8 +10141,8 @@ graph
3448 id 3 10141 id 3
3449 graphics 10142 graphics
3450 [ 10143 [
3451 w 123.20000000000002 10144 w 107.80000000000001
3452 h 54 10145 h 40
3453 type "rectangle" 10146 type "rectangle"
3454 fill "#FFFFFF" 10147 fill "#FFFFFF"
3455 fill2 "#FFFFFF" 10148 fill2 "#FFFFFF"
@@ -3469,8 +10162,7 @@ graph
3469 LabelGraphics 10162 LabelGraphics
3470 [ 10163 [
3471 text " 10164 text "
3472 FSObject class 10165 Region class
3473 File class
3474 " 10166 "
3475 fontSize 14 10167 fontSize 14
3476 fontName "Consolas" 10168 fontName "Consolas"
@@ -3485,8 +10177,8 @@ graph
3485 id 4 10177 id 4
3486 graphics 10178 graphics
3487 [ 10179 [
3488 w 138.60000000000002 10180 w 154.0
3489 h 40 10181 h 68
3490 type "rectangle" 10182 type "rectangle"
3491 fill "#FFFFFF" 10183 fill "#FFFFFF"
3492 fill2 "#FFFFFF" 10184 fill2 "#FFFFFF"
@@ -3506,7 +10198,9 @@ graph
3506 LabelGraphics 10198 LabelGraphics
3507 [ 10199 [
3508 text " 10200 text "
3509 FileSystem class 10201 Vertex class
10202 RegularState class
10203 FinalState class
3510 " 10204 "
3511 fontSize 14 10205 fontSize 14
3512 fontName "Consolas" 10206 fontName "Consolas"
@@ -3521,8 +10215,8 @@ graph
3521 id 5 10215 id 5
3522 graphics 10216 graphics
3523 [ 10217 [
3524 w 123.20000000000002 10218 w 146.3
3525 h 54 10219 h 68
3526 type "rectangle" 10220 type "rectangle"
3527 fill "#FFFFFF" 10221 fill "#FFFFFF"
3528 fill2 "#FFFFFF" 10222 fill2 "#FFFFFF"
@@ -3542,8 +10236,9 @@ graph
3542 LabelGraphics 10236 LabelGraphics
3543 [ 10237 [
3544 text " 10238 text "
3545 FSObject class 10239 Pseudostate class
3546 Dir class 10240 Vertex class
10241 Entry class
3547 " 10242 "
3548 fontSize 14 10243 fontSize 14
3549 fontName "Consolas" 10244 fontName "Consolas"
@@ -3558,8 +10253,8 @@ graph
3558 id 6 10253 id 6
3559 graphics 10254 graphics
3560 [ 10255 [
3561 w 123.20000000000002 10256 w 292.6
3562 h 54 10257 h 96
3563 type "rectangle" 10258 type "rectangle"
3564 fill "#FFFFFF" 10259 fill "#FFFFFF"
3565 fill2 "#FFFFFF" 10260 fill2 "#FFFFFF"
@@ -3579,8 +10274,11 @@ graph
3579 LabelGraphics 10274 LabelGraphics
3580 [ 10275 [
3581 text " 10276 text "
3582 FSObject class 10277 Vertex class
3583 Dir class 10278 State class
10279 RegularState class
10280 CompositeElement class
10281 CompositeElement class UndefinedPart
3584 " 10282 "
3585 fontSize 14 10283 fontSize 14
3586 fontName "Consolas" 10284 fontName "Consolas"
@@ -3595,6 +10293,194 @@ graph
3595 id 7 10293 id 7
3596 graphics 10294 graphics
3597 [ 10295 [
10296 w 138.60000000000002
10297 h 40
10298 type "rectangle"
10299 fill "#FFFFFF"
10300 fill2 "#FFFFFF"
10301 outline "#000000"
10302 ]
10303 LabelGraphics
10304 [
10305 text "null"
10306 outline "#000000"
10307 fill "#FFFFFF"
10308 fontSize 16
10309 fontName "Monospace"
10310 autoSizePolicy "node_width"
10311 anchor "t"
10312 borderDistance 0.0
10313 ]
10314 LabelGraphics
10315 [
10316 text "
10317 Transition class
10318 "
10319 fontSize 14
10320 fontName "Consolas"
10321 alignment "left"
10322 anchor "tl"
10323 borderDistance 6
10324 ]
10325 ]
10326
10327 node
10328 [
10329 id 8
10330 graphics
10331 [
10332 w 292.6
10333 h 96
10334 type "rectangle"
10335 fill "#FFFFFF"
10336 fill2 "#FFFFFF"
10337 outline "#000000"
10338 ]
10339 LabelGraphics
10340 [
10341 text "null"
10342 outline "#000000"
10343 fill "#FFFFFF"
10344 fontSize 16
10345 fontName "Monospace"
10346 autoSizePolicy "node_width"
10347 anchor "t"
10348 borderDistance 0.0
10349 ]
10350 LabelGraphics
10351 [
10352 text "
10353 Vertex class
10354 State class
10355 RegularState class
10356 CompositeElement class
10357 CompositeElement class UndefinedPart
10358 "
10359 fontSize 14
10360 fontName "Consolas"
10361 alignment "left"
10362 anchor "tl"
10363 borderDistance 6
10364 ]
10365 ]
10366
10367 node
10368 [
10369 id 9
10370 graphics
10371 [
10372 w 154.0
10373 h 68
10374 type "rectangle"
10375 fill "#FFFFFF"
10376 fill2 "#FFFFFF"
10377 outline "#000000"
10378 ]
10379 LabelGraphics
10380 [
10381 text "null"
10382 outline "#000000"
10383 fill "#FFFFFF"
10384 fontSize 16
10385 fontName "Monospace"
10386 autoSizePolicy "node_width"
10387 anchor "t"
10388 borderDistance 0.0
10389 ]
10390 LabelGraphics
10391 [
10392 text "
10393 Vertex class
10394 RegularState class
10395 FinalState class
10396 "
10397 fontSize 14
10398 fontName "Consolas"
10399 alignment "left"
10400 anchor "tl"
10401 borderDistance 6
10402 ]
10403 ]
10404
10405 node
10406 [
10407 id 10
10408 graphics
10409 [
10410 w 154.0
10411 h 68
10412 type "rectangle"
10413 fill "#FFFFFF"
10414 fill2 "#FFFFFF"
10415 outline "#000000"
10416 ]
10417 LabelGraphics
10418 [
10419 text "null"
10420 outline "#000000"
10421 fill "#FFFFFF"
10422 fontSize 16
10423 fontName "Monospace"
10424 autoSizePolicy "node_width"
10425 anchor "t"
10426 borderDistance 0.0
10427 ]
10428 LabelGraphics
10429 [
10430 text "
10431 Vertex class
10432 RegularState class
10433 FinalState class
10434 "
10435 fontSize 14
10436 fontName "Consolas"
10437 alignment "left"
10438 anchor "tl"
10439 borderDistance 6
10440 ]
10441 ]
10442
10443 node
10444 [
10445 id 11
10446 graphics
10447 [
10448 w 138.60000000000002
10449 h 40
10450 type "rectangle"
10451 fill "#FFFFFF"
10452 fill2 "#FFFFFF"
10453 outline "#000000"
10454 ]
10455 LabelGraphics
10456 [
10457 text "null"
10458 outline "#000000"
10459 fill "#FFFFFF"
10460 fontSize 16
10461 fontName "Monospace"
10462 autoSizePolicy "node_width"
10463 anchor "t"
10464 borderDistance 0.0
10465 ]
10466 LabelGraphics
10467 [
10468 text "
10469 Transition class
10470 "
10471 fontSize 14
10472 fontName "Consolas"
10473 alignment "left"
10474 anchor "tl"
10475 borderDistance 6
10476 ]
10477 ]
10478
10479 node
10480 [
10481 id 12
10482 graphics
10483 [
3598 w 112.2 10484 w 112.2
3599 h 26 10485 h 26
3600 type "rectangle" 10486 type "rectangle"
@@ -3627,7 +10513,7 @@ graph
3627 10513
3628 node 10514 node
3629 [ 10515 [
3630 id 8 10516 id 13
3631 graphics 10517 graphics
3632 [ 10518 [
3633 w 85.80000000000001 10519 w 85.80000000000001
@@ -3662,7 +10548,7 @@ graph
3662 10548
3663 node 10549 node
3664 [ 10550 [
3665 id 9 10551 id 14
3666 graphics 10552 graphics
3667 [ 10553 [
3668 w 103.4 10554 w 103.4
@@ -3697,7 +10583,7 @@ graph
3697 10583
3698 node 10584 node
3699 [ 10585 [
3700 id 10 10586 id 15
3701 graphics 10587 graphics
3702 [ 10588 [
3703 w 103.4 10589 w 103.4
@@ -3731,8 +10617,46 @@ graph
3731 ] 10617 ]
3732 edge 10618 edge
3733 [ 10619 [
3734 source 4 10620 source 6
3735 target 6 10621 target 7
10622 graphics
10623 [
10624 fill "#000000"
10625 targetArrow "standard"
10626 ]
10627 LabelGraphics
10628 [
10629 text "incomingTransitions reference Vertex"
10630 fontSize 14
10631 fontName "Consolas"
10632 configuration "AutoFlippingLabel"
10633 model "six_pos"
10634 position "thead"
10635 ]
10636 ]
10637 edge
10638 [
10639 source 8
10640 target 11
10641 graphics
10642 [
10643 fill "#000000"
10644 targetArrow "standard"
10645 ]
10646 LabelGraphics
10647 [
10648 text "incomingTransitions reference Vertex"
10649 fontSize 14
10650 fontName "Consolas"
10651 configuration "AutoFlippingLabel"
10652 model "six_pos"
10653 position "thead"
10654 ]
10655 ]
10656 edge
10657 [
10658 source 5
10659 target 7
3736 graphics 10660 graphics
3737 [ 10661 [
3738 fill "#000000" 10662 fill "#000000"
@@ -3741,7 +10665,7 @@ graph
3741 ] 10665 ]
3742 LabelGraphics 10666 LabelGraphics
3743 [ 10667 [
3744 text "root reference FileSystem" 10668 text "outgoingTransitions reference Vertex"
3745 fontSize 14 10669 fontSize 14
3746 fontName "Consolas" 10670 fontName "Consolas"
3747 configuration "AutoFlippingLabel" 10671 configuration "AutoFlippingLabel"
@@ -3751,7 +10675,27 @@ graph
3751 ] 10675 ]
3752 edge 10676 edge
3753 [ 10677 [
3754 source 0 10678 source 6
10679 target 11
10680 graphics
10681 [
10682 fill "#000000"
10683 width 3
10684 targetArrow "standard"
10685 ]
10686 LabelGraphics
10687 [
10688 text "outgoingTransitions reference Vertex"
10689 fontSize 14
10690 fontName "Consolas"
10691 configuration "AutoFlippingLabel"
10692 model "six_pos"
10693 position "thead"
10694 ]
10695 ]
10696 edge
10697 [
10698 source 3
3755 target 4 10699 target 4
3756 graphics 10700 graphics
3757 [ 10701 [
@@ -3761,7 +10705,7 @@ graph
3761 ] 10705 ]
3762 LabelGraphics 10706 LabelGraphics
3763 [ 10707 [
3764 text "filesystems reference Model" 10708 text "vertices reference Region"
3765 fontSize 14 10709 fontSize 14
3766 fontName "Consolas" 10710 fontName "Consolas"
3767 configuration "AutoFlippingLabel" 10711 configuration "AutoFlippingLabel"
@@ -3771,8 +10715,8 @@ graph
3771 ] 10715 ]
3772 edge 10716 edge
3773 [ 10717 [
3774 source 0 10718 source 3
3775 target 3 10719 target 5
3776 graphics 10720 graphics
3777 [ 10721 [
3778 fill "#000000" 10722 fill "#000000"
@@ -3781,7 +10725,7 @@ graph
3781 ] 10725 ]
3782 LabelGraphics 10726 LabelGraphics
3783 [ 10727 [
3784 text "otherFSObjects reference Model" 10728 text "vertices reference Region"
3785 fontSize 14 10729 fontSize 14
3786 fontName "Consolas" 10730 fontName "Consolas"
3787 configuration "AutoFlippingLabel" 10731 configuration "AutoFlippingLabel"
@@ -3791,17 +10735,173 @@ graph
3791 ] 10735 ]
3792 edge 10736 edge
3793 [ 10737 [
3794 source 0 10738 source 3
10739 target 6
10740 graphics
10741 [
10742 fill "#000000"
10743 width 3
10744 targetArrow "standard"
10745 ]
10746 LabelGraphics
10747 [
10748 text "vertices reference Region"
10749 fontSize 14
10750 fontName "Consolas"
10751 configuration "AutoFlippingLabel"
10752 model "six_pos"
10753 position "thead"
10754 ]
10755 ]
10756 edge
10757 [
10758 source 3
10759 target 8
10760 graphics
10761 [
10762 fill "#000000"
10763 width 3
10764 targetArrow "standard"
10765 ]
10766 LabelGraphics
10767 [
10768 text "vertices reference Region"
10769 fontSize 14
10770 fontName "Consolas"
10771 configuration "AutoFlippingLabel"
10772 model "six_pos"
10773 position "thead"
10774 ]
10775 ]
10776 edge
10777 [
10778 source 3
10779 target 9
10780 graphics
10781 [
10782 fill "#000000"
10783 width 3
10784 targetArrow "standard"
10785 ]
10786 LabelGraphics
10787 [
10788 text "vertices reference Region"
10789 fontSize 14
10790 fontName "Consolas"
10791 configuration "AutoFlippingLabel"
10792 model "six_pos"
10793 position "thead"
10794 ]
10795 ]
10796 edge
10797 [
10798 source 3
10799 target 10
10800 graphics
10801 [
10802 fill "#000000"
10803 width 3
10804 targetArrow "standard"
10805 ]
10806 LabelGraphics
10807 [
10808 text "vertices reference Region"
10809 fontSize 14
10810 fontName "Consolas"
10811 configuration "AutoFlippingLabel"
10812 model "six_pos"
10813 position "thead"
10814 ]
10815 ]
10816 edge
10817 [
10818 source 7
10819 target 6
10820 graphics
10821 [
10822 fill "#000000"
10823 targetArrow "standard"
10824 ]
10825 LabelGraphics
10826 [
10827 text "target reference Transition"
10828 fontSize 14
10829 fontName "Consolas"
10830 configuration "AutoFlippingLabel"
10831 model "six_pos"
10832 position "thead"
10833 ]
10834 ]
10835 edge
10836 [
10837 source 11
10838 target 8
10839 graphics
10840 [
10841 fill "#000000"
10842 targetArrow "standard"
10843 ]
10844 LabelGraphics
10845 [
10846 text "target reference Transition"
10847 fontSize 14
10848 fontName "Consolas"
10849 configuration "AutoFlippingLabel"
10850 model "six_pos"
10851 position "thead"
10852 ]
10853 ]
10854 edge
10855 [
10856 source 7
3795 target 5 10857 target 5
3796 graphics 10858 graphics
3797 [ 10859 [
3798 fill "#000000" 10860 fill "#000000"
10861 targetArrow "standard"
10862 ]
10863 LabelGraphics
10864 [
10865 text "source reference Transition"
10866 fontSize 14
10867 fontName "Consolas"
10868 configuration "AutoFlippingLabel"
10869 model "six_pos"
10870 position "thead"
10871 ]
10872 ]
10873 edge
10874 [
10875 source 11
10876 target 6
10877 graphics
10878 [
10879 fill "#000000"
10880 targetArrow "standard"
10881 ]
10882 LabelGraphics
10883 [
10884 text "source reference Transition"
10885 fontSize 14
10886 fontName "Consolas"
10887 configuration "AutoFlippingLabel"
10888 model "six_pos"
10889 position "thead"
10890 ]
10891 ]
10892 edge
10893 [
10894 source 0
10895 target 3
10896 graphics
10897 [
10898 fill "#000000"
3799 width 3 10899 width 3
3800 targetArrow "standard" 10900 targetArrow "standard"
3801 ] 10901 ]
3802 LabelGraphics 10902 LabelGraphics
3803 [ 10903 [
3804 text "otherFSObjects reference Model" 10904 text "regions reference CompositeElement"
3805 fontSize 14 10905 fontSize 14
3806 fontName "Consolas" 10906 fontName "Consolas"
3807 configuration "AutoFlippingLabel" 10907 configuration "AutoFlippingLabel"
@@ -3817,8 +10917,8 @@ graph
3817 id 0 10917 id 0
3818 graphics 10918 graphics
3819 [ 10919 [
3820 w 192.50000000000003 10920 w 277.20000000000005
3821 h 54 10921 h 82
3822 type "rectangle" 10922 type "rectangle"
3823 fill "#FFFFFF" 10923 fill "#FFFFFF"
3824 fill2 "#FFFFFF" 10924 fill2 "#FFFFFF"
@@ -3838,8 +10938,10 @@ graph
3838 LabelGraphics 10938 LabelGraphics
3839 [ 10939 [
3840 text " 10940 text "
3841 Model class DefinedPart 10941 Statechart class DefinedPart
3842 Model class 10942 CompositeElement class DefinedPart
10943 Statechart class
10944 CompositeElement class
3843 " 10945 "
3844 fontSize 14 10946 fontSize 14
3845 fontName "Consolas" 10947 fontName "Consolas"
@@ -3924,8 +11026,8 @@ graph
3924 id 3 11026 id 3
3925 graphics 11027 graphics
3926 [ 11028 [
3927 w 123.20000000000002 11029 w 107.80000000000001
3928 h 54 11030 h 40
3929 type "rectangle" 11031 type "rectangle"
3930 fill "#FFFFFF" 11032 fill "#FFFFFF"
3931 fill2 "#FFFFFF" 11033 fill2 "#FFFFFF"
@@ -3945,8 +11047,7 @@ graph
3945 LabelGraphics 11047 LabelGraphics
3946 [ 11048 [
3947 text " 11049 text "
3948 FSObject class 11050 Region class
3949 File class
3950 " 11051 "
3951 fontSize 14 11052 fontSize 14
3952 fontName "Consolas" 11053 fontName "Consolas"
@@ -3961,8 +11062,8 @@ graph
3961 id 4 11062 id 4
3962 graphics 11063 graphics
3963 [ 11064 [
3964 w 123.20000000000002 11065 w 146.3
3965 h 54 11066 h 68
3966 type "rectangle" 11067 type "rectangle"
3967 fill "#FFFFFF" 11068 fill "#FFFFFF"
3968 fill2 "#FFFFFF" 11069 fill2 "#FFFFFF"
@@ -3982,8 +11083,9 @@ graph
3982 LabelGraphics 11083 LabelGraphics
3983 [ 11084 [
3984 text " 11085 text "
3985 FSObject class 11086 Pseudostate class
3986 File class 11087 Vertex class
11088 Exit class
3987 " 11089 "
3988 fontSize 14 11090 fontSize 14
3989 fontName "Consolas" 11091 fontName "Consolas"
@@ -3998,8 +11100,8 @@ graph
3998 id 5 11100 id 5
3999 graphics 11101 graphics
4000 [ 11102 [
4001 w 138.60000000000002 11103 w 292.6
4002 h 40 11104 h 96
4003 type "rectangle" 11105 type "rectangle"
4004 fill "#FFFFFF" 11106 fill "#FFFFFF"
4005 fill2 "#FFFFFF" 11107 fill2 "#FFFFFF"
@@ -4019,7 +11121,11 @@ graph
4019 LabelGraphics 11121 LabelGraphics
4020 [ 11122 [
4021 text " 11123 text "
4022 FileSystem class 11124 Vertex class
11125 State class
11126 RegularState class
11127 CompositeElement class
11128 CompositeElement class UndefinedPart
4023 " 11129 "
4024 fontSize 14 11130 fontSize 14
4025 fontName "Consolas" 11131 fontName "Consolas"
@@ -4034,8 +11140,8 @@ graph
4034 id 6 11140 id 6
4035 graphics 11141 graphics
4036 [ 11142 [
4037 w 123.20000000000002 11143 w 138.60000000000002
4038 h 54 11144 h 40
4039 type "rectangle" 11145 type "rectangle"
4040 fill "#FFFFFF" 11146 fill "#FFFFFF"
4041 fill2 "#FFFFFF" 11147 fill2 "#FFFFFF"
@@ -4055,8 +11161,7 @@ graph
4055 LabelGraphics 11161 LabelGraphics
4056 [ 11162 [
4057 text " 11163 text "
4058 FSObject class 11164 Transition class
4059 Dir class
4060 " 11165 "
4061 fontSize 14 11166 fontSize 14
4062 fontName "Consolas" 11167 fontName "Consolas"
@@ -4071,6 +11176,194 @@ graph
4071 id 7 11176 id 7
4072 graphics 11177 graphics
4073 [ 11178 [
11179 w 138.60000000000002
11180 h 40
11181 type "rectangle"
11182 fill "#FFFFFF"
11183 fill2 "#FFFFFF"
11184 outline "#000000"
11185 ]
11186 LabelGraphics
11187 [
11188 text "null"
11189 outline "#000000"
11190 fill "#FFFFFF"
11191 fontSize 16
11192 fontName "Monospace"
11193 autoSizePolicy "node_width"
11194 anchor "t"
11195 borderDistance 0.0
11196 ]
11197 LabelGraphics
11198 [
11199 text "
11200 Transition class
11201 "
11202 fontSize 14
11203 fontName "Consolas"
11204 alignment "left"
11205 anchor "tl"
11206 borderDistance 6
11207 ]
11208 ]
11209
11210 node
11211 [
11212 id 8
11213 graphics
11214 [
11215 w 292.6
11216 h 96
11217 type "rectangle"
11218 fill "#FFFFFF"
11219 fill2 "#FFFFFF"
11220 outline "#000000"
11221 ]
11222 LabelGraphics
11223 [
11224 text "null"
11225 outline "#000000"
11226 fill "#FFFFFF"
11227 fontSize 16
11228 fontName "Monospace"
11229 autoSizePolicy "node_width"
11230 anchor "t"
11231 borderDistance 0.0
11232 ]
11233 LabelGraphics
11234 [
11235 text "
11236 Vertex class
11237 State class
11238 RegularState class
11239 CompositeElement class
11240 CompositeElement class UndefinedPart
11241 "
11242 fontSize 14
11243 fontName "Consolas"
11244 alignment "left"
11245 anchor "tl"
11246 borderDistance 6
11247 ]
11248 ]
11249
11250 node
11251 [
11252 id 9
11253 graphics
11254 [
11255 w 146.3
11256 h 68
11257 type "rectangle"
11258 fill "#FFFFFF"
11259 fill2 "#FFFFFF"
11260 outline "#000000"
11261 ]
11262 LabelGraphics
11263 [
11264 text "null"
11265 outline "#000000"
11266 fill "#FFFFFF"
11267 fontSize 16
11268 fontName "Monospace"
11269 autoSizePolicy "node_width"
11270 anchor "t"
11271 borderDistance 0.0
11272 ]
11273 LabelGraphics
11274 [
11275 text "
11276 Pseudostate class
11277 Vertex class
11278 Exit class
11279 "
11280 fontSize 14
11281 fontName "Consolas"
11282 alignment "left"
11283 anchor "tl"
11284 borderDistance 6
11285 ]
11286 ]
11287
11288 node
11289 [
11290 id 10
11291 graphics
11292 [
11293 w 146.3
11294 h 68
11295 type "rectangle"
11296 fill "#FFFFFF"
11297 fill2 "#FFFFFF"
11298 outline "#000000"
11299 ]
11300 LabelGraphics
11301 [
11302 text "null"
11303 outline "#000000"
11304 fill "#FFFFFF"
11305 fontSize 16
11306 fontName "Monospace"
11307 autoSizePolicy "node_width"
11308 anchor "t"
11309 borderDistance 0.0
11310 ]
11311 LabelGraphics
11312 [
11313 text "
11314 Pseudostate class
11315 Vertex class
11316 Entry class
11317 "
11318 fontSize 14
11319 fontName "Consolas"
11320 alignment "left"
11321 anchor "tl"
11322 borderDistance 6
11323 ]
11324 ]
11325
11326 node
11327 [
11328 id 11
11329 graphics
11330 [
11331 w 138.60000000000002
11332 h 40
11333 type "rectangle"
11334 fill "#FFFFFF"
11335 fill2 "#FFFFFF"
11336 outline "#000000"
11337 ]
11338 LabelGraphics
11339 [
11340 text "null"
11341 outline "#000000"
11342 fill "#FFFFFF"
11343 fontSize 16
11344 fontName "Monospace"
11345 autoSizePolicy "node_width"
11346 anchor "t"
11347 borderDistance 0.0
11348 ]
11349 LabelGraphics
11350 [
11351 text "
11352 Transition class
11353 "
11354 fontSize 14
11355 fontName "Consolas"
11356 alignment "left"
11357 anchor "tl"
11358 borderDistance 6
11359 ]
11360 ]
11361
11362 node
11363 [
11364 id 12
11365 graphics
11366 [
4074 w 112.2 11367 w 112.2
4075 h 26 11368 h 26
4076 type "rectangle" 11369 type "rectangle"
@@ -4103,7 +11396,7 @@ graph
4103 11396
4104 node 11397 node
4105 [ 11398 [
4106 id 8 11399 id 13
4107 graphics 11400 graphics
4108 [ 11401 [
4109 w 85.80000000000001 11402 w 85.80000000000001
@@ -4138,7 +11431,7 @@ graph
4138 11431
4139 node 11432 node
4140 [ 11433 [
4141 id 9 11434 id 14
4142 graphics 11435 graphics
4143 [ 11436 [
4144 w 103.4 11437 w 103.4
@@ -4173,7 +11466,7 @@ graph
4173 11466
4174 node 11467 node
4175 [ 11468 [
4176 id 10 11469 id 15
4177 graphics 11470 graphics
4178 [ 11471 [
4179 w 103.4 11472 w 103.4
@@ -4208,6 +11501,63 @@ graph
4208 edge 11501 edge
4209 [ 11502 [
4210 source 5 11503 source 5
11504 target 7
11505 graphics
11506 [
11507 fill "#000000"
11508 targetArrow "standard"
11509 ]
11510 LabelGraphics
11511 [
11512 text "incomingTransitions reference Vertex"
11513 fontSize 14
11514 fontName "Consolas"
11515 configuration "AutoFlippingLabel"
11516 model "six_pos"
11517 position "thead"
11518 ]
11519 ]
11520 edge
11521 [
11522 source 8
11523 target 11
11524 graphics
11525 [
11526 fill "#000000"
11527 targetArrow "standard"
11528 ]
11529 LabelGraphics
11530 [
11531 text "incomingTransitions reference Vertex"
11532 fontSize 14
11533 fontName "Consolas"
11534 configuration "AutoFlippingLabel"
11535 model "six_pos"
11536 position "thead"
11537 ]
11538 ]
11539 edge
11540 [
11541 source 9
11542 target 6
11543 graphics
11544 [
11545 fill "#000000"
11546 targetArrow "standard"
11547 ]
11548 LabelGraphics
11549 [
11550 text "incomingTransitions reference Vertex"
11551 fontSize 14
11552 fontName "Consolas"
11553 configuration "AutoFlippingLabel"
11554 model "six_pos"
11555 position "thead"
11556 ]
11557 ]
11558 edge
11559 [
11560 source 5
4211 target 6 11561 target 6
4212 graphics 11562 graphics
4213 [ 11563 [
@@ -4217,7 +11567,7 @@ graph
4217 ] 11567 ]
4218 LabelGraphics 11568 LabelGraphics
4219 [ 11569 [
4220 text "root reference FileSystem" 11570 text "outgoingTransitions reference Vertex"
4221 fontSize 14 11571 fontSize 14
4222 fontName "Consolas" 11572 fontName "Consolas"
4223 configuration "AutoFlippingLabel" 11573 configuration "AutoFlippingLabel"
@@ -4227,7 +11577,67 @@ graph
4227 ] 11577 ]
4228 edge 11578 edge
4229 [ 11579 [
4230 source 0 11580 source 5
11581 target 7
11582 graphics
11583 [
11584 fill "#000000"
11585 width 3
11586 targetArrow "standard"
11587 ]
11588 LabelGraphics
11589 [
11590 text "outgoingTransitions reference Vertex"
11591 fontSize 14
11592 fontName "Consolas"
11593 configuration "AutoFlippingLabel"
11594 model "six_pos"
11595 position "thead"
11596 ]
11597 ]
11598 edge
11599 [
11600 source 10
11601 target 11
11602 graphics
11603 [
11604 fill "#000000"
11605 width 3
11606 targetArrow "standard"
11607 ]
11608 LabelGraphics
11609 [
11610 text "outgoingTransitions reference Vertex"
11611 fontSize 14
11612 fontName "Consolas"
11613 configuration "AutoFlippingLabel"
11614 model "six_pos"
11615 position "thead"
11616 ]
11617 ]
11618 edge
11619 [
11620 source 3
11621 target 4
11622 graphics
11623 [
11624 fill "#000000"
11625 width 3
11626 targetArrow "standard"
11627 ]
11628 LabelGraphics
11629 [
11630 text "vertices reference Region"
11631 fontSize 14
11632 fontName "Consolas"
11633 configuration "AutoFlippingLabel"
11634 model "six_pos"
11635 position "thead"
11636 ]
11637 ]
11638 edge
11639 [
11640 source 3
4231 target 5 11641 target 5
4232 graphics 11642 graphics
4233 [ 11643 [
@@ -4237,7 +11647,7 @@ graph
4237 ] 11647 ]
4238 LabelGraphics 11648 LabelGraphics
4239 [ 11649 [
4240 text "filesystems reference Model" 11650 text "vertices reference Region"
4241 fontSize 14 11651 fontSize 14
4242 fontName "Consolas" 11652 fontName "Consolas"
4243 configuration "AutoFlippingLabel" 11653 configuration "AutoFlippingLabel"
@@ -4247,8 +11657,8 @@ graph
4247 ] 11657 ]
4248 edge 11658 edge
4249 [ 11659 [
4250 source 0 11660 source 3
4251 target 3 11661 target 8
4252 graphics 11662 graphics
4253 [ 11663 [
4254 fill "#000000" 11664 fill "#000000"
@@ -4257,7 +11667,161 @@ graph
4257 ] 11667 ]
4258 LabelGraphics 11668 LabelGraphics
4259 [ 11669 [
4260 text "otherFSObjects reference Model" 11670 text "vertices reference Region"
11671 fontSize 14
11672 fontName "Consolas"
11673 configuration "AutoFlippingLabel"
11674 model "six_pos"
11675 position "thead"
11676 ]
11677 ]
11678 edge
11679 [
11680 source 3
11681 target 9
11682 graphics
11683 [
11684 fill "#000000"
11685 width 3
11686 targetArrow "standard"
11687 ]
11688 LabelGraphics
11689 [
11690 text "vertices reference Region"
11691 fontSize 14
11692 fontName "Consolas"
11693 configuration "AutoFlippingLabel"
11694 model "six_pos"
11695 position "thead"
11696 ]
11697 ]
11698 edge
11699 [
11700 source 3
11701 target 10
11702 graphics
11703 [
11704 fill "#000000"
11705 width 3
11706 targetArrow "standard"
11707 ]
11708 LabelGraphics
11709 [
11710 text "vertices reference Region"
11711 fontSize 14
11712 fontName "Consolas"
11713 configuration "AutoFlippingLabel"
11714 model "six_pos"
11715 position "thead"
11716 ]
11717 ]
11718 edge
11719 [
11720 source 7
11721 target 5
11722 graphics
11723 [
11724 fill "#000000"
11725 targetArrow "standard"
11726 ]
11727 LabelGraphics
11728 [
11729 text "target reference Transition"
11730 fontSize 14
11731 fontName "Consolas"
11732 configuration "AutoFlippingLabel"
11733 model "six_pos"
11734 position "thead"
11735 ]
11736 ]
11737 edge
11738 [
11739 source 11
11740 target 8
11741 graphics
11742 [
11743 fill "#000000"
11744 targetArrow "standard"
11745 ]
11746 LabelGraphics
11747 [
11748 text "target reference Transition"
11749 fontSize 14
11750 fontName "Consolas"
11751 configuration "AutoFlippingLabel"
11752 model "six_pos"
11753 position "thead"
11754 ]
11755 ]
11756 edge
11757 [
11758 source 6
11759 target 9
11760 graphics
11761 [
11762 fill "#000000"
11763 targetArrow "standard"
11764 ]
11765 LabelGraphics
11766 [
11767 text "target reference Transition"
11768 fontSize 14
11769 fontName "Consolas"
11770 configuration "AutoFlippingLabel"
11771 model "six_pos"
11772 position "thead"
11773 ]
11774 ]
11775 edge
11776 [
11777 source 6
11778 target 5
11779 graphics
11780 [
11781 fill "#000000"
11782 targetArrow "standard"
11783 ]
11784 LabelGraphics
11785 [
11786 text "source reference Transition"
11787 fontSize 14
11788 fontName "Consolas"
11789 configuration "AutoFlippingLabel"
11790 model "six_pos"
11791 position "thead"
11792 ]
11793 ]
11794 edge
11795 [
11796 source 7
11797 target 5
11798 graphics
11799 [
11800 fill "#000000"
11801 targetArrow "standard"
11802 ]
11803 LabelGraphics
11804 [
11805 text "source reference Transition"
11806 fontSize 14
11807 fontName "Consolas"
11808 configuration "AutoFlippingLabel"
11809 model "six_pos"
11810 position "thead"
11811 ]
11812 ]
11813 edge
11814 [
11815 source 11
11816 target 10
11817 graphics
11818 [
11819 fill "#000000"
11820 targetArrow "standard"
11821 ]
11822 LabelGraphics
11823 [
11824 text "source reference Transition"
4261 fontSize 14 11825 fontSize 14
4262 fontName "Consolas" 11826 fontName "Consolas"
4263 configuration "AutoFlippingLabel" 11827 configuration "AutoFlippingLabel"
@@ -4268,7 +11832,7 @@ graph
4268 edge 11832 edge
4269 [ 11833 [
4270 source 0 11834 source 0
4271 target 4 11835 target 3
4272 graphics 11836 graphics
4273 [ 11837 [
4274 fill "#000000" 11838 fill "#000000"
@@ -4277,7 +11841,7 @@ graph
4277 ] 11841 ]
4278 LabelGraphics 11842 LabelGraphics
4279 [ 11843 [
4280 text "otherFSObjects reference Model" 11844 text "regions reference CompositeElement"
4281 fontSize 14 11845 fontSize 14
4282 fontName "Consolas" 11846 fontName "Consolas"
4283 configuration "AutoFlippingLabel" 11847 configuration "AutoFlippingLabel"
@@ -4293,8 +11857,8 @@ graph
4293 id 0 11857 id 0
4294 graphics 11858 graphics
4295 [ 11859 [
4296 w 192.50000000000003 11860 w 277.20000000000005
4297 h 54 11861 h 82
4298 type "rectangle" 11862 type "rectangle"
4299 fill "#FFFFFF" 11863 fill "#FFFFFF"
4300 fill2 "#FFFFFF" 11864 fill2 "#FFFFFF"
@@ -4314,8 +11878,10 @@ graph
4314 LabelGraphics 11878 LabelGraphics
4315 [ 11879 [
4316 text " 11880 text "
4317 Model class DefinedPart 11881 Statechart class DefinedPart
4318 Model class 11882 CompositeElement class DefinedPart
11883 Statechart class
11884 CompositeElement class
4319 " 11885 "
4320 fontSize 14 11886 fontSize 14
4321 fontName "Consolas" 11887 fontName "Consolas"
@@ -4400,7 +11966,7 @@ graph
4400 id 3 11966 id 3
4401 graphics 11967 graphics
4402 [ 11968 [
4403 w 138.60000000000002 11969 w 107.80000000000001
4404 h 40 11970 h 40
4405 type "rectangle" 11971 type "rectangle"
4406 fill "#FFFFFF" 11972 fill "#FFFFFF"
@@ -4421,7 +11987,7 @@ graph
4421 LabelGraphics 11987 LabelGraphics
4422 [ 11988 [
4423 text " 11989 text "
4424 FileSystem class 11990 Region class
4425 " 11991 "
4426 fontSize 14 11992 fontSize 14
4427 fontName "Consolas" 11993 fontName "Consolas"
@@ -4436,8 +12002,8 @@ graph
4436 id 4 12002 id 4
4437 graphics 12003 graphics
4438 [ 12004 [
4439 w 123.20000000000002 12005 w 146.3
4440 h 54 12006 h 68
4441 type "rectangle" 12007 type "rectangle"
4442 fill "#FFFFFF" 12008 fill "#FFFFFF"
4443 fill2 "#FFFFFF" 12009 fill2 "#FFFFFF"
@@ -4457,8 +12023,9 @@ graph
4457 LabelGraphics 12023 LabelGraphics
4458 [ 12024 [
4459 text " 12025 text "
4460 FSObject class 12026 Pseudostate class
4461 Dir class 12027 Vertex class
12028 Entry class
4462 " 12029 "
4463 fontSize 14 12030 fontSize 14
4464 fontName "Consolas" 12031 fontName "Consolas"
@@ -4473,8 +12040,8 @@ graph
4473 id 5 12040 id 5
4474 graphics 12041 graphics
4475 [ 12042 [
4476 w 123.20000000000002 12043 w 154.0
4477 h 54 12044 h 68
4478 type "rectangle" 12045 type "rectangle"
4479 fill "#FFFFFF" 12046 fill "#FFFFFF"
4480 fill2 "#FFFFFF" 12047 fill2 "#FFFFFF"
@@ -4494,8 +12061,9 @@ graph
4494 LabelGraphics 12061 LabelGraphics
4495 [ 12062 [
4496 text " 12063 text "
4497 FSObject class 12064 Vertex class
4498 File class 12065 RegularState class
12066 FinalState class
4499 " 12067 "
4500 fontSize 14 12068 fontSize 14
4501 fontName "Consolas" 12069 fontName "Consolas"
@@ -4510,8 +12078,8 @@ graph
4510 id 6 12078 id 6
4511 graphics 12079 graphics
4512 [ 12080 [
4513 w 123.20000000000002 12081 w 138.60000000000002
4514 h 54 12082 h 40
4515 type "rectangle" 12083 type "rectangle"
4516 fill "#FFFFFF" 12084 fill "#FFFFFF"
4517 fill2 "#FFFFFF" 12085 fill2 "#FFFFFF"
@@ -4531,8 +12099,7 @@ graph
4531 LabelGraphics 12099 LabelGraphics
4532 [ 12100 [
4533 text " 12101 text "
4534 FSObject class 12102 Transition class
4535 Dir class
4536 " 12103 "
4537 fontSize 14 12104 fontSize 14
4538 fontName "Consolas" 12105 fontName "Consolas"
@@ -4547,6 +12114,196 @@ graph
4547 id 7 12114 id 7
4548 graphics 12115 graphics
4549 [ 12116 [
12117 w 146.3
12118 h 68
12119 type "rectangle"
12120 fill "#FFFFFF"
12121 fill2 "#FFFFFF"
12122 outline "#000000"
12123 ]
12124 LabelGraphics
12125 [
12126 text "null"
12127 outline "#000000"
12128 fill "#FFFFFF"
12129 fontSize 16
12130 fontName "Monospace"
12131 autoSizePolicy "node_width"
12132 anchor "t"
12133 borderDistance 0.0
12134 ]
12135 LabelGraphics
12136 [
12137 text "
12138 Pseudostate class
12139 Vertex class
12140 Exit class
12141 "
12142 fontSize 14
12143 fontName "Consolas"
12144 alignment "left"
12145 anchor "tl"
12146 borderDistance 6
12147 ]
12148 ]
12149
12150 node
12151 [
12152 id 8
12153 graphics
12154 [
12155 w 292.6
12156 h 96
12157 type "rectangle"
12158 fill "#FFFFFF"
12159 fill2 "#FFFFFF"
12160 outline "#000000"
12161 ]
12162 LabelGraphics
12163 [
12164 text "null"
12165 outline "#000000"
12166 fill "#FFFFFF"
12167 fontSize 16
12168 fontName "Monospace"
12169 autoSizePolicy "node_width"
12170 anchor "t"
12171 borderDistance 0.0
12172 ]
12173 LabelGraphics
12174 [
12175 text "
12176 Vertex class
12177 State class
12178 RegularState class
12179 CompositeElement class
12180 CompositeElement class UndefinedPart
12181 "
12182 fontSize 14
12183 fontName "Consolas"
12184 alignment "left"
12185 anchor "tl"
12186 borderDistance 6
12187 ]
12188 ]
12189
12190 node
12191 [
12192 id 9
12193 graphics
12194 [
12195 w 292.6
12196 h 96
12197 type "rectangle"
12198 fill "#FFFFFF"
12199 fill2 "#FFFFFF"
12200 outline "#000000"
12201 ]
12202 LabelGraphics
12203 [
12204 text "null"
12205 outline "#000000"
12206 fill "#FFFFFF"
12207 fontSize 16
12208 fontName "Monospace"
12209 autoSizePolicy "node_width"
12210 anchor "t"
12211 borderDistance 0.0
12212 ]
12213 LabelGraphics
12214 [
12215 text "
12216 Vertex class
12217 State class
12218 RegularState class
12219 CompositeElement class
12220 CompositeElement class UndefinedPart
12221 "
12222 fontSize 14
12223 fontName "Consolas"
12224 alignment "left"
12225 anchor "tl"
12226 borderDistance 6
12227 ]
12228 ]
12229
12230 node
12231 [
12232 id 10
12233 graphics
12234 [
12235 w 138.60000000000002
12236 h 40
12237 type "rectangle"
12238 fill "#FFFFFF"
12239 fill2 "#FFFFFF"
12240 outline "#000000"
12241 ]
12242 LabelGraphics
12243 [
12244 text "null"
12245 outline "#000000"
12246 fill "#FFFFFF"
12247 fontSize 16
12248 fontName "Monospace"
12249 autoSizePolicy "node_width"
12250 anchor "t"
12251 borderDistance 0.0
12252 ]
12253 LabelGraphics
12254 [
12255 text "
12256 Transition class
12257 "
12258 fontSize 14
12259 fontName "Consolas"
12260 alignment "left"
12261 anchor "tl"
12262 borderDistance 6
12263 ]
12264 ]
12265
12266 node
12267 [
12268 id 11
12269 graphics
12270 [
12271 w 138.60000000000002
12272 h 40
12273 type "rectangle"
12274 fill "#FFFFFF"
12275 fill2 "#FFFFFF"
12276 outline "#000000"
12277 ]
12278 LabelGraphics
12279 [
12280 text "null"
12281 outline "#000000"
12282 fill "#FFFFFF"
12283 fontSize 16
12284 fontName "Monospace"
12285 autoSizePolicy "node_width"
12286 anchor "t"
12287 borderDistance 0.0
12288 ]
12289 LabelGraphics
12290 [
12291 text "
12292 Transition class
12293 "
12294 fontSize 14
12295 fontName "Consolas"
12296 alignment "left"
12297 anchor "tl"
12298 borderDistance 6
12299 ]
12300 ]
12301
12302 node
12303 [
12304 id 12
12305 graphics
12306 [
4550 w 112.2 12307 w 112.2
4551 h 26 12308 h 26
4552 type "rectangle" 12309 type "rectangle"
@@ -4579,7 +12336,7 @@ graph
4579 12336
4580 node 12337 node
4581 [ 12338 [
4582 id 8 12339 id 13
4583 graphics 12340 graphics
4584 [ 12341 [
4585 w 85.80000000000001 12342 w 85.80000000000001
@@ -4614,7 +12371,7 @@ graph
4614 12371
4615 node 12372 node
4616 [ 12373 [
4617 id 9 12374 id 14
4618 graphics 12375 graphics
4619 [ 12376 [
4620 w 103.4 12377 w 103.4
@@ -4649,7 +12406,7 @@ graph
4649 12406
4650 node 12407 node
4651 [ 12408 [
4652 id 10 12409 id 15
4653 graphics 12410 graphics
4654 [ 12411 [
4655 w 103.4 12412 w 103.4
@@ -4683,6 +12440,123 @@ graph
4683 ] 12440 ]
4684 edge 12441 edge
4685 [ 12442 [
12443 source 8
12444 target 6
12445 graphics
12446 [
12447 fill "#000000"
12448 targetArrow "standard"
12449 ]
12450 LabelGraphics
12451 [
12452 text "incomingTransitions reference Vertex"
12453 fontSize 14
12454 fontName "Consolas"
12455 configuration "AutoFlippingLabel"
12456 model "six_pos"
12457 position "thead"
12458 ]
12459 ]
12460 edge
12461 [
12462 source 9
12463 target 10
12464 graphics
12465 [
12466 fill "#000000"
12467 targetArrow "standard"
12468 ]
12469 LabelGraphics
12470 [
12471 text "incomingTransitions reference Vertex"
12472 fontSize 14
12473 fontName "Consolas"
12474 configuration "AutoFlippingLabel"
12475 model "six_pos"
12476 position "thead"
12477 ]
12478 ]
12479 edge
12480 [
12481 source 5
12482 target 11
12483 graphics
12484 [
12485 fill "#000000"
12486 targetArrow "standard"
12487 ]
12488 LabelGraphics
12489 [
12490 text "incomingTransitions reference Vertex"
12491 fontSize 14
12492 fontName "Consolas"
12493 configuration "AutoFlippingLabel"
12494 model "six_pos"
12495 position "thead"
12496 ]
12497 ]
12498 edge
12499 [
12500 source 4
12501 target 6
12502 graphics
12503 [
12504 fill "#000000"
12505 width 3
12506 targetArrow "standard"
12507 ]
12508 LabelGraphics
12509 [
12510 text "outgoingTransitions reference Vertex"
12511 fontSize 14
12512 fontName "Consolas"
12513 configuration "AutoFlippingLabel"
12514 model "six_pos"
12515 position "thead"
12516 ]
12517 ]
12518 edge
12519 [
12520 source 8
12521 target 10
12522 graphics
12523 [
12524 fill "#000000"
12525 width 3
12526 targetArrow "standard"
12527 ]
12528 LabelGraphics
12529 [
12530 text "outgoingTransitions reference Vertex"
12531 fontSize 14
12532 fontName "Consolas"
12533 configuration "AutoFlippingLabel"
12534 model "six_pos"
12535 position "thead"
12536 ]
12537 ]
12538 edge
12539 [
12540 source 8
12541 target 11
12542 graphics
12543 [
12544 fill "#000000"
12545 width 3
12546 targetArrow "standard"
12547 ]
12548 LabelGraphics
12549 [
12550 text "outgoingTransitions reference Vertex"
12551 fontSize 14
12552 fontName "Consolas"
12553 configuration "AutoFlippingLabel"
12554 model "six_pos"
12555 position "thead"
12556 ]
12557 ]
12558 edge
12559 [
4686 source 3 12560 source 3
4687 target 4 12561 target 4
4688 graphics 12562 graphics
@@ -4693,7 +12567,7 @@ graph
4693 ] 12567 ]
4694 LabelGraphics 12568 LabelGraphics
4695 [ 12569 [
4696 text "root reference FileSystem" 12570 text "vertices reference Region"
4697 fontSize 14 12571 fontSize 14
4698 fontName "Consolas" 12572 fontName "Consolas"
4699 configuration "AutoFlippingLabel" 12573 configuration "AutoFlippingLabel"
@@ -4703,16 +12577,17 @@ graph
4703 ] 12577 ]
4704 edge 12578 edge
4705 [ 12579 [
4706 source 6 12580 source 3
4707 target 4 12581 target 5
4708 graphics 12582 graphics
4709 [ 12583 [
4710 fill "#000000" 12584 fill "#000000"
12585 width 3
4711 targetArrow "standard" 12586 targetArrow "standard"
4712 ] 12587 ]
4713 LabelGraphics 12588 LabelGraphics
4714 [ 12589 [
4715 text "parent reference FSObject" 12590 text "vertices reference Region"
4716 fontSize 14 12591 fontSize 14
4717 fontName "Consolas" 12592 fontName "Consolas"
4718 configuration "AutoFlippingLabel" 12593 configuration "AutoFlippingLabel"
@@ -4722,8 +12597,8 @@ graph
4722 ] 12597 ]
4723 edge 12598 edge
4724 [ 12599 [
4725 source 4 12600 source 3
4726 target 6 12601 target 7
4727 graphics 12602 graphics
4728 [ 12603 [
4729 fill "#000000" 12604 fill "#000000"
@@ -4732,7 +12607,7 @@ graph
4732 ] 12607 ]
4733 LabelGraphics 12608 LabelGraphics
4734 [ 12609 [
4735 text "contents reference Dir" 12610 text "vertices reference Region"
4736 fontSize 14 12611 fontSize 14
4737 fontName "Consolas" 12612 fontName "Consolas"
4738 configuration "AutoFlippingLabel" 12613 configuration "AutoFlippingLabel"
@@ -4742,8 +12617,8 @@ graph
4742 ] 12617 ]
4743 edge 12618 edge
4744 [ 12619 [
4745 source 0 12620 source 3
4746 target 3 12621 target 8
4747 graphics 12622 graphics
4748 [ 12623 [
4749 fill "#000000" 12624 fill "#000000"
@@ -4752,7 +12627,7 @@ graph
4752 ] 12627 ]
4753 LabelGraphics 12628 LabelGraphics
4754 [ 12629 [
4755 text "filesystems reference Model" 12630 text "vertices reference Region"
4756 fontSize 14 12631 fontSize 14
4757 fontName "Consolas" 12632 fontName "Consolas"
4758 configuration "AutoFlippingLabel" 12633 configuration "AutoFlippingLabel"
@@ -4762,17 +12637,151 @@ graph
4762 ] 12637 ]
4763 edge 12638 edge
4764 [ 12639 [
4765 source 0 12640 source 3
12641 target 9
12642 graphics
12643 [
12644 fill "#000000"
12645 width 3
12646 targetArrow "standard"
12647 ]
12648 LabelGraphics
12649 [
12650 text "vertices reference Region"
12651 fontSize 14
12652 fontName "Consolas"
12653 configuration "AutoFlippingLabel"
12654 model "six_pos"
12655 position "thead"
12656 ]
12657 ]
12658 edge
12659 [
12660 source 6
12661 target 8
12662 graphics
12663 [
12664 fill "#000000"
12665 targetArrow "standard"
12666 ]
12667 LabelGraphics
12668 [
12669 text "target reference Transition"
12670 fontSize 14
12671 fontName "Consolas"
12672 configuration "AutoFlippingLabel"
12673 model "six_pos"
12674 position "thead"
12675 ]
12676 ]
12677 edge
12678 [
12679 source 10
12680 target 9
12681 graphics
12682 [
12683 fill "#000000"
12684 targetArrow "standard"
12685 ]
12686 LabelGraphics
12687 [
12688 text "target reference Transition"
12689 fontSize 14
12690 fontName "Consolas"
12691 configuration "AutoFlippingLabel"
12692 model "six_pos"
12693 position "thead"
12694 ]
12695 ]
12696 edge
12697 [
12698 source 11
4766 target 5 12699 target 5
4767 graphics 12700 graphics
4768 [ 12701 [
4769 fill "#000000" 12702 fill "#000000"
12703 targetArrow "standard"
12704 ]
12705 LabelGraphics
12706 [
12707 text "target reference Transition"
12708 fontSize 14
12709 fontName "Consolas"
12710 configuration "AutoFlippingLabel"
12711 model "six_pos"
12712 position "thead"
12713 ]
12714 ]
12715 edge
12716 [
12717 source 6
12718 target 4
12719 graphics
12720 [
12721 fill "#000000"
12722 targetArrow "standard"
12723 ]
12724 LabelGraphics
12725 [
12726 text "source reference Transition"
12727 fontSize 14
12728 fontName "Consolas"
12729 configuration "AutoFlippingLabel"
12730 model "six_pos"
12731 position "thead"
12732 ]
12733 ]
12734 edge
12735 [
12736 source 10
12737 target 8
12738 graphics
12739 [
12740 fill "#000000"
12741 targetArrow "standard"
12742 ]
12743 LabelGraphics
12744 [
12745 text "source reference Transition"
12746 fontSize 14
12747 fontName "Consolas"
12748 configuration "AutoFlippingLabel"
12749 model "six_pos"
12750 position "thead"
12751 ]
12752 ]
12753 edge
12754 [
12755 source 11
12756 target 8
12757 graphics
12758 [
12759 fill "#000000"
12760 targetArrow "standard"
12761 ]
12762 LabelGraphics
12763 [
12764 text "source reference Transition"
12765 fontSize 14
12766 fontName "Consolas"
12767 configuration "AutoFlippingLabel"
12768 model "six_pos"
12769 position "thead"
12770 ]
12771 ]
12772 edge
12773 [
12774 source 0
12775 target 3
12776 graphics
12777 [
12778 fill "#000000"
4770 width 3 12779 width 3
4771 targetArrow "standard" 12780 targetArrow "standard"
4772 ] 12781 ]
4773 LabelGraphics 12782 LabelGraphics
4774 [ 12783 [
4775 text "otherFSObjects reference Model" 12784 text "regions reference CompositeElement"
4776 fontSize 14 12785 fontSize 14
4777 fontName "Consolas" 12786 fontName "Consolas"
4778 configuration "AutoFlippingLabel" 12787 configuration "AutoFlippingLabel"
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-26 13:37:01 +0000