aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindumm class diagram.svg
blob: 356969f9fb8aac0cebf02b1021870a0402b2e096 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
<?xml version="1.0" encoding="UTF-8"?><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" stroke-dasharray="none" shape-rendering="auto" font-family="'Dialog'" width="673" text-rendering="auto" fill-opacity="1" contentScriptType="text/ecmascript" color-interpolation="auto" color-rendering="auto" preserveAspectRatio="xMidYMid meet" font-size="12" viewBox="0 0 673 209" fill="black" stroke="black" image-rendering="auto" stroke-miterlimit="10" zoomAndPan="magnify" version="1.0" stroke-linecap="square" stroke-linejoin="miter" contentStyleType="text/css" font-style="normal" height="209" stroke-width="1" stroke-dashoffset="0" font-weight="normal" stroke-opacity="1">
<!--Generated by the Batik Graphics2D SVG Generator-->
<defs id="genericDefs"/>
<g>
<defs id="defs1">
<linearGradient x1="145" x2="263" y1="74" gradientUnits="userSpaceOnUse" y2="152" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient1" xlink:show="other" spreadMethod="pad">
<stop stop-opacity="1" stop-color="white" offset="0%"/>
<stop stop-opacity="1" stop-color="rgb(228,228,228)" offset="100%"/>
</linearGradient>
<linearGradient x1="350" x2="468" y1="9" gradientUnits="userSpaceOnUse" y2="87" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient2" xlink:show="other" spreadMethod="pad">
<stop stop-opacity="1" stop-color="white" offset="0%"/>
<stop stop-opacity="1" stop-color="rgb(228,228,228)" offset="100%"/>
</linearGradient>
<linearGradient x1="543" x2="661" y1="9" gradientUnits="userSpaceOnUse" y2="87" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient3" xlink:show="other" spreadMethod="pad">
<stop stop-opacity="1" stop-color="white" offset="0%"/>
<stop stop-opacity="1" stop-color="white" offset="100%"/>
</linearGradient>
<linearGradient x1="10" x2="128" y1="9" gradientUnits="userSpaceOnUse" y2="87" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient4" xlink:show="other" spreadMethod="pad">
<stop stop-opacity="1" stop-color="white" offset="0%"/>
<stop stop-opacity="1" stop-color="white" offset="100%"/>
</linearGradient>
<linearGradient x1="571" x2="659" y1="146" gradientUnits="userSpaceOnUse" y2="209" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient5" xlink:show="other" spreadMethod="pad">
<stop stop-opacity="1" stop-color="white" offset="0%"/>
<stop stop-opacity="1" stop-color="white" offset="100%"/>
</linearGradient>
<linearGradient x1="15" x2="78" y1="152" gradientUnits="userSpaceOnUse" y2="203" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient6" xlink:show="other" spreadMethod="pad">
<stop stop-opacity="1" stop-color="white" offset="0%"/>
<stop stop-opacity="1" stop-color="white" offset="100%"/>
</linearGradient>
<linearGradient x1="250" x2="371" y1="138" gradientUnits="userSpaceOnUse" y2="218" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient7" xlink:show="other" spreadMethod="pad">
<stop stop-opacity="1" stop-color="white" offset="0%"/>
<stop stop-opacity="1" stop-color="white" offset="100%"/>
</linearGradient>
<linearGradient x1="488" x2="561" y1="150" gradientUnits="userSpaceOnUse" y2="206" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient8" xlink:show="other" spreadMethod="pad">
<stop stop-opacity="1" stop-color="white" offset="0%"/>
<stop stop-opacity="1" stop-color="white" offset="100%"/>
</linearGradient>
<linearGradient x1="415" x2="533" y1="74" gradientUnits="userSpaceOnUse" y2="152" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient9" xlink:show="other" spreadMethod="pad">
<stop stop-opacity="1" stop-color="white" offset="0%"/>
<stop stop-opacity="1" stop-color="rgb(228,228,228)" offset="100%"/>
</linearGradient>
<linearGradient x1="543" x2="661" y1="74" gradientUnits="userSpaceOnUse" y2="152" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient10" xlink:show="other" spreadMethod="pad">
<stop stop-opacity="1" stop-color="white" offset="0%"/>
<stop stop-opacity="1" stop-color="rgb(228,228,228)" offset="100%"/>
</linearGradient>
<linearGradient x1="170" x2="243" y1="150" gradientUnits="userSpaceOnUse" y2="206" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient11" xlink:show="other" spreadMethod="pad">
<stop stop-opacity="1" stop-color="white" offset="0%"/>
<stop stop-opacity="1" stop-color="white" offset="100%"/>
</linearGradient>
<linearGradient x1="87" x2="158" y1="150" gradientUnits="userSpaceOnUse" y2="205" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient12" xlink:show="other" spreadMethod="pad">
<stop stop-opacity="1" stop-color="white" offset="0%"/>
<stop stop-opacity="1" stop-color="white" offset="100%"/>
</linearGradient>
<linearGradient x1="380" x2="481" y1="143" gradientUnits="userSpaceOnUse" y2="213" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient13" xlink:show="other" spreadMethod="pad">
<stop stop-opacity="1" stop-color="white" offset="0%"/>
<stop stop-opacity="1" stop-color="white" offset="100%"/>
</linearGradient>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath1">
<path d="M144 92 L266 92 L266 135 L144 135 L144 92 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath2">
<path d="M144 92 L264 92 L264 133 L144 133 L144 92 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath3">
<path d="M165 97 L242 97 L242 115 L165 115 L165 97 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath4">
<path d="M165 97 L244 97 L244 115 L165 115 L165 97 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath5">
<path d="M145 118 L263 118 L263 132 L145 132 L145 118 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath6">
<path d="M349 27 L471 27 L471 70 L349 70 L349 27 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath7">
<path d="M349 27 L469 27 L469 68 L349 68 L349 27 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath8">
<path d="M383 32 L434 32 L434 50 L383 50 L383 32 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath9">
<path d="M383 32 L436 32 L436 50 L383 50 L383 32 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath10">
<path d="M350 53 L468 53 L468 67 L350 67 L350 53 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath11">
<path d="M542 27 L664 27 L664 70 L542 70 L542 27 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath12">
<path d="M542 27 L662 27 L662 68 L542 68 L542 27 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath13">
<path d="M573 32 L631 32 L631 50 L573 50 L573 32 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath14">
<path d="M573 32 L634 32 L634 50 L573 50 L573 32 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath15">
<path d="M543 53 L661 53 L661 67 L543 67 L543 53 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath16">
<path d="M9 27 L131 27 L131 70 L9 70 L9 27 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath17">
<path d="M9 27 L129 27 L129 68 L9 68 L9 27 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath18">
<path d="M33 32 L104 32 L104 50 L33 50 L33 32 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath19">
<path d="M33 32 L106 32 L106 50 L33 50 L33 32 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath20">
<path d="M10 53 L128 53 L128 67 L10 67 L10 53 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath21">
<path d="M570 157 L662 157 L662 200 L570 200 L570 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath22">
<path d="M570 157 L660 157 L660 198 L570 198 L570 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath23">
<path d="M578 162 L651 162 L651 180 L578 180 L578 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath24">
<path d="M578 162 L653 162 L653 180 L578 180 L578 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath25">
<path d="M571 183 L659 183 L659 197 L571 197 L571 183 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath26">
<path d="M14 157 L81 157 L81 200 L14 200 L14 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath27">
<path d="M14 157 L79 157 L79 198 L14 198 L14 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath28">
<path d="M23 162 L70 162 L70 180 L23 180 L23 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath29">
<path d="M23 162 L72 162 L72 180 L23 180 L23 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath30">
<path d="M15 183 L78 183 L78 197 L15 197 L15 183 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath31">
<path d="M249 157 L374 157 L374 200 L249 200 L249 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath32">
<path d="M249 157 L372 157 L372 198 L249 198 L249 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath33">
<path d="M258 162 L362 162 L362 180 L258 180 L258 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath34">
<path d="M258 162 L364 162 L364 180 L258 180 L258 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath35">
<path d="M250 183 L371 183 L371 197 L250 197 L250 183 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath36">
<path d="M487 157 L564 157 L564 200 L487 200 L487 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath37">
<path d="M487 157 L562 157 L562 198 L487 198 L487 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath38">
<path d="M501 162 L548 162 L548 180 L501 180 L501 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath39">
<path d="M501 162 L550 162 L550 180 L501 180 L501 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath40">
<path d="M488 183 L561 183 L561 197 L488 197 L488 183 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath41">
<path d="M414 92 L536 92 L536 135 L414 135 L414 92 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath42">
<path d="M414 92 L534 92 L534 133 L414 133 L414 92 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath43">
<path d="M433 97 L514 97 L514 115 L433 115 L433 97 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath44">
<path d="M433 97 L516 97 L516 115 L433 115 L433 97 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath45">
<path d="M415 118 L533 118 L533 132 L415 132 L415 118 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath46">
<path d="M542 92 L664 92 L664 135 L542 135 L542 92 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath47">
<path d="M542 92 L662 92 L662 133 L542 133 L542 92 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath48">
<path d="M548 97 L656 97 L656 115 L548 115 L548 97 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath49">
<path d="M548 97 L658 97 L658 115 L548 115 L548 97 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath50">
<path d="M543 118 L661 118 L661 132 L543 132 L543 118 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath51">
<path d="M169 157 L246 157 L246 200 L169 200 L169 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath52">
<path d="M169 157 L244 157 L244 198 L169 198 L169 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath53">
<path d="M178 162 L234 162 L234 180 L178 180 L178 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath54">
<path d="M178 162 L236 162 L236 180 L178 180 L178 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath55">
<path d="M170 183 L243 183 L243 197 L170 197 L170 183 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath56">
<path d="M86 157 L161 157 L161 200 L86 200 L86 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath57">
<path d="M86 157 L159 157 L159 198 L86 198 L86 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath58">
<path d="M103 162 L142 162 L142 180 L103 180 L103 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath59">
<path d="M103 162 L144 162 L144 180 L103 180 L103 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath60">
<path d="M87 183 L158 183 L158 197 L87 197 L87 183 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath61">
<path d="M379 157 L484 157 L484 200 L379 200 L379 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath62">
<path d="M379 157 L482 157 L482 198 L379 198 L379 157 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath63">
<path d="M394 162 L466 162 L466 180 L394 180 L394 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath64">
<path d="M394 162 L468 162 L468 180 L394 180 L394 162 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath65">
<path d="M380 183 L481 183 L481 197 L380 197 L380 183 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath66">
<path d="M-1 -1 L674 -1 L674 210 L-1 210 L-1 -1 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath67">
<path d="M474 27 L542 27 L542 42 L474 42 L474 27 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath68">
<path d="M530 43 L545 43 L545 52 L530 52 L530 43 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath69">
<path d="M467 43 L477 43 L477 52 L467 52 L467 43 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath70">
<path d="M568 72 L637 72 L637 87 L568 87 L568 72 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath71">
<path d="M561 80 L570 80 L570 95 L561 95 L561 80 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath72">
<path d="M561 66 L570 66 L570 76 L561 76 L561 66 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath73">
<path d="M405 66 L416 66 L416 77 L405 77 L405 66 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath74">
<path d="M606 131 L617 131 L617 142 L606 142 L606 131 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath75">
<path d="M200 131 L211 131 L211 142 L200 142 L200 131 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath76">
<path d="M468 131 L479 131 L479 142 L468 142 L468 131 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath77">
<path d="M553 131 L564 131 L564 142 L553 142 L553 131 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath78">
<path d="M289 62 L351 62 L351 77 L289 77 L289 62 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath79">
<path d="M134 62 L267 62 L267 77 L134 77 L134 62 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath80">
<path d="M342 54 L352 54 L352 63 L342 63 L342 54 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath81">
<path d="M127 54 L137 54 L137 63 L127 63 L127 54 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath82">
<path d="M287 22 L352 22 L352 37 L287 37 L287 22 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath83">
<path d="M134 22 L268 22 L268 37 L134 37 L134 22 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath84">
<path d="M337 34 L352 34 L352 43 L337 43 L337 34 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath85">
<path d="M127 34 L137 34 L137 43 L127 43 L127 34 Z"/>
</clipPath>
<clipPath clipPathUnits="userSpaceOnUse" id="clipPath86">
<path d="M430 131 L441 131 L441 142 L430 142 L430 131 Z"/>
</clipPath>
</defs>
<g font-size="11" fill="rgb(131,122,133)" font-family="'Segoe UI'" stroke-linejoin="round" font-style="italic" stroke="rgb(131,122,133)" stroke-width="0" stroke-miterlimit="0">
<rect x="146" y="94" clip-path="url(#clipPath1)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="147" y="95" clip-path="url(#clipPath1)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="145" y="93" clip-path="url(#clipPath2)" fill="url(#linearGradient1)" width="118" rx="4" ry="4" height="39" stroke="none"/>
</g>
<g stroke-linecap="butt" font-size="11" fill="rgb(125,125,125)" font-family="'Segoe UI'" font-style="italic" stroke="rgb(125,125,125)" stroke-width="1.1">
<rect x="145" y="93" clip-path="url(#clipPath2)" fill="none" width="117" rx="4" ry="4" height="38"/>
<image x="166" y="98" clip-path="url(#clipPath3)" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAA2UlEQVR42mP8//8/&#13;&#10;AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5&#13;&#10;aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1&#13;&#10;AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb&#13;&#10;qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp&#13;&#10;AmYmAi6YNPsAIynZGQCn3VpKGCzVQQAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/>
<text x="185" y="111" clip-path="url(#clipPath4)" fill="black" stroke="none" xml:space="preserve">Pseudostate</text>
<line clip-path="url(#clipPath5)" fill="none" x1="146" x2="262" y1="119" y2="119"/>
<rect x="351" y="29" clip-path="url(#clipPath6)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="352" y="30" clip-path="url(#clipPath6)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="350" y="28" clip-path="url(#clipPath7)" fill="url(#linearGradient2)" width="118" rx="4" ry="4" height="39" stroke="none"/>
<rect x="350" y="28" clip-path="url(#clipPath7)" fill="none" width="117" rx="4" ry="4" height="38"/>
<image x="384" y="33" clip-path="url(#clipPath8)" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAA2UlEQVR42mP8//8/&#13;&#10;AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5&#13;&#10;aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1&#13;&#10;AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb&#13;&#10;qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp&#13;&#10;AmYmAi6YNPsAIynZGQCn3VpKGCzVQQAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/>
<text x="403" y="46" clip-path="url(#clipPath9)" fill="black" stroke="none" xml:space="preserve">Vertex</text>
<line clip-path="url(#clipPath10)" fill="none" x1="351" x2="467" y1="54" y2="54"/>
<rect x="544" y="29" clip-path="url(#clipPath11)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="545" y="30" clip-path="url(#clipPath11)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="543" y="28" clip-path="url(#clipPath12)" fill="url(#linearGradient3)" width="118" rx="4" ry="4" height="39" stroke="none"/>
<rect x="543" y="28" clip-path="url(#clipPath12)" fill="none" width="117" rx="4" ry="4" height="38" stroke="black"/>
<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath13)" preserveAspectRatio="none" height="16" font-style="normal" x="574" y="33" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
<text x="593" y="46" clip-path="url(#clipPath14)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Region</text>
<line clip-path="url(#clipPath15)" fill="none" x1="544" x2="660" y1="54" y2="54" stroke="black"/>
<rect x="11" y="29" clip-path="url(#clipPath16)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="12" y="30" clip-path="url(#clipPath16)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="10" y="28" clip-path="url(#clipPath17)" fill="url(#linearGradient4)" width="118" rx="4" ry="4" height="39" stroke="none"/>
<rect x="10" y="28" clip-path="url(#clipPath17)" fill="none" width="117" rx="4" ry="4" height="38" stroke="black"/>
<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath18)" preserveAspectRatio="none" height="16" font-style="normal" x="34" y="33" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
<text x="53" y="46" clip-path="url(#clipPath19)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Transition</text>
<line clip-path="url(#clipPath20)" fill="none" x1="11" x2="127" y1="54" y2="54" stroke="black"/>
<rect x="572" y="159" clip-path="url(#clipPath21)" fill="rgb(131,122,133)" width="88" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="573" y="160" clip-path="url(#clipPath21)" fill="rgb(131,122,133)" width="88" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="571" y="158" clip-path="url(#clipPath22)" fill="url(#linearGradient5)" width="88" rx="4" ry="4" height="39" stroke="none"/>
<rect x="571" y="158" clip-path="url(#clipPath22)" fill="none" width="87" rx="4" ry="4" height="38" stroke="black"/>
<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath23)" preserveAspectRatio="none" height="16" font-style="normal" x="579" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
<text x="598" y="176" clip-path="url(#clipPath24)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Statechart</text>
<line clip-path="url(#clipPath25)" fill="none" x1="572" x2="658" y1="184" y2="184" stroke="black"/>
<rect x="16" y="159" clip-path="url(#clipPath26)" fill="rgb(131,122,133)" width="63" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="17" y="160" clip-path="url(#clipPath26)" fill="rgb(131,122,133)" width="63" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="15" y="158" clip-path="url(#clipPath27)" fill="url(#linearGradient6)" width="63" rx="4" ry="4" height="39" stroke="none"/>
<rect x="15" y="158" clip-path="url(#clipPath27)" fill="none" width="62" rx="4" ry="4" height="38" stroke="black"/>
<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath28)" preserveAspectRatio="none" height="16" font-style="normal" x="24" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
<text x="43" y="176" clip-path="url(#clipPath29)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Entry</text>
<line clip-path="url(#clipPath30)" fill="none" x1="16" x2="77" y1="184" y2="184" stroke="black"/>
<rect x="251" y="159" clip-path="url(#clipPath31)" fill="rgb(131,122,133)" width="121" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="252" y="160" clip-path="url(#clipPath31)" fill="rgb(131,122,133)" width="121" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="250" y="158" clip-path="url(#clipPath32)" fill="url(#linearGradient7)" width="121" rx="4" ry="4" height="39" stroke="none"/>
<rect x="250" y="158" clip-path="url(#clipPath32)" fill="none" width="120" rx="4" ry="4" height="38" stroke="black"/>
<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath33)" preserveAspectRatio="none" height="16" font-style="normal" x="259" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
<text x="278" y="176" clip-path="url(#clipPath34)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Synchronization</text>
<line clip-path="url(#clipPath35)" fill="none" x1="251" x2="370" y1="184" y2="184" stroke="black"/>
<rect x="489" y="159" clip-path="url(#clipPath36)" fill="rgb(131,122,133)" width="73" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="490" y="160" clip-path="url(#clipPath36)" fill="rgb(131,122,133)" width="73" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="488" y="158" clip-path="url(#clipPath37)" fill="url(#linearGradient8)" width="73" rx="4" ry="4" height="39" stroke="none"/>
<rect x="488" y="158" clip-path="url(#clipPath37)" fill="none" width="72" rx="4" ry="4" height="38" stroke="black"/>
<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath38)" preserveAspectRatio="none" height="16" font-style="normal" x="502" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
<text x="521" y="176" clip-path="url(#clipPath39)" fill="black" font-style="normal" stroke="none" xml:space="preserve">State</text>
<line clip-path="url(#clipPath40)" fill="none" x1="489" x2="560" y1="184" y2="184" stroke="black"/>
<rect x="416" y="94" clip-path="url(#clipPath41)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="417" y="95" clip-path="url(#clipPath41)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="415" y="93" clip-path="url(#clipPath42)" fill="url(#linearGradient9)" width="118" rx="4" ry="4" height="39" stroke="none"/>
<rect x="415" y="93" clip-path="url(#clipPath42)" fill="none" width="117" rx="4" ry="4" height="38"/>
<image x="434" y="98" clip-path="url(#clipPath43)" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAA2UlEQVR42mP8//8/&#13;&#10;AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5&#13;&#10;aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1&#13;&#10;AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb&#13;&#10;qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp&#13;&#10;AmYmAi6YNPsAIynZGQCn3VpKGCzVQQAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/>
<text x="453" y="111" clip-path="url(#clipPath44)" fill="black" stroke="none" xml:space="preserve">RegularState</text>
<line clip-path="url(#clipPath45)" fill="none" x1="416" x2="532" y1="119" y2="119"/>
<rect x="544" y="94" clip-path="url(#clipPath46)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="545" y="95" clip-path="url(#clipPath46)" fill="rgb(131,122,133)" width="118" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="543" y="93" clip-path="url(#clipPath47)" fill="url(#linearGradient10)" width="118" rx="4" ry="4" height="39" stroke="none"/>
<rect x="543" y="93" clip-path="url(#clipPath47)" fill="none" width="117" rx="4" ry="4" height="38"/>
<image x="549" y="98" clip-path="url(#clipPath48)" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAA2UlEQVR42mP8//8/&#13;&#10;AyWABUQwMjKimAI0lJFYAxgh6lFdATSQYW6NPk5NSc0XGFFcANMEtR1MR9cuwqp5&#13;&#10;aXMcpheQNRIC/9B8h9MF//+zMjDC1P6HeZaB4c9f7IEIDzhYgK5cMA2rC/78Z0I1&#13;&#10;AD3E+0pNGLJa5uL0wrSaEyh8JnQFv/8y4Q0DdHkWdAW//jKC/Q/xDmYYgOTxGvAb&#13;&#10;qKC7bzVEE7YwIGjAPyaGquIAnF5oLNxJIAz+EQiDfwTC4A+BMCDohb/AeC7OysTp&#13;&#10;AmYmAi6YNPsAIynZGQCn3VpKGCzVQQAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/>
<text x="568" y="111" clip-path="url(#clipPath49)" fill="black" stroke="none" xml:space="preserve">CompositeElement</text>
<line clip-path="url(#clipPath50)" fill="none" x1="544" x2="660" y1="119" y2="119"/>
<rect x="171" y="159" clip-path="url(#clipPath51)" fill="rgb(131,122,133)" width="73" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="172" y="160" clip-path="url(#clipPath51)" fill="rgb(131,122,133)" width="73" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="170" y="158" clip-path="url(#clipPath52)" fill="url(#linearGradient11)" width="73" rx="4" ry="4" height="39" stroke="none"/>
<rect x="170" y="158" clip-path="url(#clipPath52)" fill="none" width="72" rx="4" ry="4" height="38" stroke="black"/>
<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath53)" preserveAspectRatio="none" height="16" font-style="normal" x="179" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
<text x="198" y="176" clip-path="url(#clipPath54)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Choice</text>
<line clip-path="url(#clipPath55)" fill="none" x1="171" x2="242" y1="184" y2="184" stroke="black"/>
<rect x="88" y="159" clip-path="url(#clipPath56)" fill="rgb(131,122,133)" width="71" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="89" y="160" clip-path="url(#clipPath56)" fill="rgb(131,122,133)" width="71" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="87" y="158" clip-path="url(#clipPath57)" fill="url(#linearGradient12)" width="71" rx="4" ry="4" height="39" stroke="none"/>
<rect x="87" y="158" clip-path="url(#clipPath57)" fill="none" width="70" rx="4" ry="4" height="38" stroke="black"/>
<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath58)" preserveAspectRatio="none" height="16" font-style="normal" x="104" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
<text x="123" y="176" clip-path="url(#clipPath59)" fill="black" font-style="normal" stroke="none" xml:space="preserve">Exit</text>
<line clip-path="url(#clipPath60)" fill="none" x1="88" x2="157" y1="184" y2="184" stroke="black"/>
<rect x="381" y="159" clip-path="url(#clipPath61)" fill="rgb(131,122,133)" width="101" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="382" y="160" clip-path="url(#clipPath61)" fill="rgb(131,122,133)" width="101" rx="4" opacity="0.2549" ry="4" height="39" stroke="none"/>
<rect x="380" y="158" clip-path="url(#clipPath62)" fill="url(#linearGradient13)" width="101" rx="4" ry="4" height="39" stroke="none"/>
<rect x="380" y="158" clip-path="url(#clipPath62)" fill="none" width="100" rx="4" ry="4" height="38" stroke="black"/>
<image stroke="black" width="16" xlink:show="embed" xlink:type="simple" fill="black" clip-path="url(#clipPath63)" preserveAspectRatio="none" height="16" font-style="normal" x="395" y="163" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAtElEQVR42mNgGGjA&#13;&#10;iC4wt0b/PyFNyS0X4fpYsCmIrl2EU/PS5jgUPhO6gn//GfHaji6P4YI/fxkY/v9n&#13;&#10;hfgPpvY/1LP/IfL4DfjPxLBqwTQGXAEBksdrwO9/TAzhiak4vTCt5gT+MPj9lwlv&#13;&#10;GKDLY7jg119GvGEAksfvBaCC7r7VDLgC4Q9BA4BhUFUcgNMLjYU7CYTBPwJh8I+J&#13;&#10;UDpgJJAOCHjhLzCei7MycbqAmYmJurkRAGS/RaNk4/qhAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/>
<text x="414" y="176" clip-path="url(#clipPath64)" fill="black" font-style="normal" stroke="none" xml:space="preserve">FinalState</text>
<line clip-path="url(#clipPath65)" fill="none" x1="381" x2="480" y1="184" y2="184" stroke="black"/>
<line clip-path="url(#clipPath66)" fill="none" x1="543" x2="468" y1="47" y2="47" stroke="black"/>
<text x="475" y="40" clip-path="url(#clipPath67)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..*] vertices</text>
<polygon fill="black" clip-path="url(#clipPath68)" points=" 543 47 537 50 531 47 537 44" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath68)" points=" 543 47 537 50 531 47 537 44" stroke="black"/>
<line clip-path="url(#clipPath69)" fill="none" x1="475" x2="468" y1="44" y2="47" stroke="black"/>
<line clip-path="url(#clipPath69)" fill="none" x1="468" x2="475" y1="47" y2="50" stroke="black"/>
<line clip-path="url(#clipPath66)" fill="none" x1="565" x2="565" y1="93" y2="67" stroke="black"/>
<text x="569" y="85" clip-path="url(#clipPath70)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..*] regions</text>
<polygon fill="black" clip-path="url(#clipPath71)" points=" 565 93 562 87 565 81 568 87" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath71)" points=" 565 93 562 87 565 81 568 87" stroke="black"/>
<line clip-path="url(#clipPath72)" fill="none" x1="568" x2="565" y1="74" y2="67" stroke="black"/>
<line clip-path="url(#clipPath72)" fill="none" x1="565" x2="562" y1="67" y2="74" stroke="black"/>
<line clip-path="url(#clipPath66)" fill="none" x1="204" x2="204" y1="93" y2="85" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="204" x2="410" y1="85" y2="85" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="410" x2="410" y1="85" y2="67" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath73)" points=" 410 67 414 75 406 75" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath73)" points=" 410 67 414 75 406 75" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="611" x2="611" y1="158" y2="132" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath74)" points=" 611 132 615 140 607 140" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath74)" points=" 611 132 615 140 607 140" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="42" x2="42" y1="158" y2="150" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="42" x2="205" y1="150" y2="150" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="205" x2="205" y1="150" y2="132" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath75)" points=" 205 132 209 140 201 140" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath75)" points=" 205 132 209 140 201 140" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="309" x2="309" y1="158" y2="150" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="309" x2="205" y1="150" y2="150" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="205" x2="205" y1="150" y2="132" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath75)" points=" 205 132 209 140 201 140" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath75)" points=" 205 132 209 140 201 140" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="532" x2="532" y1="158" y2="150" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="532" x2="473" y1="150" y2="150" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="473" x2="473" y1="150" y2="132" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath76)" points=" 473 132 477 140 469 140" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath76)" points=" 473 132 477 140 469 140" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="532" x2="532" y1="158" y2="150" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="532" x2="558" y1="150" y2="150" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="558" x2="558" y1="150" y2="132" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath77)" points=" 558 132 562 140 554 140" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath77)" points=" 558 132 562 140 554 140" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="474" x2="474" y1="93" y2="85" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="474" x2="410" y1="85" y2="85" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="410" x2="410" y1="85" y2="67" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath73)" points=" 410 67 414 75 406 75" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath73)" points=" 410 67 414 75 406 75" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="350" x2="128" y1="58" y2="58" stroke="black"/>
<text x="290" y="75" clip-path="url(#clipPath78)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[1..1] target</text>
<text x="135" y="75" clip-path="url(#clipPath79)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..*] incomingTransitions</text>
<line clip-path="url(#clipPath80)" fill="none" x1="343" x2="350" y1="61" y2="58" stroke="black"/>
<line clip-path="url(#clipPath80)" fill="none" x1="350" x2="343" y1="58" y2="55" stroke="black"/>
<line clip-path="url(#clipPath81)" fill="none" x1="135" x2="128" y1="55" y2="58" stroke="black"/>
<line clip-path="url(#clipPath81)" fill="none" x1="128" x2="135" y1="58" y2="61" stroke="black"/>
<line clip-path="url(#clipPath66)" fill="none" x1="350" x2="128" y1="38" y2="38" stroke="black"/>
<text x="288" y="35" clip-path="url(#clipPath82)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..1] source</text>
<text x="135" y="35" clip-path="url(#clipPath83)" fill="black" font-style="normal" stroke="none" xml:space="preserve">[0..*] outgoingTransitions</text>
<polygon fill="black" clip-path="url(#clipPath84)" points=" 350 38 344 41 338 38 344 35" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath84)" points=" 350 38 344 41 338 38 344 35" stroke="black"/>
<line clip-path="url(#clipPath85)" fill="none" x1="135" x2="128" y1="35" y2="38" stroke="black"/>
<line clip-path="url(#clipPath85)" fill="none" x1="128" x2="135" y1="38" y2="41" stroke="black"/>
<line clip-path="url(#clipPath66)" fill="none" x1="135" x2="135" y1="158" y2="150" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="135" x2="205" y1="150" y2="150" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="205" x2="205" y1="150" y2="132" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath75)" points=" 205 132 209 140 201 140" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath75)" points=" 205 132 209 140 201 140" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="204" x2="204" y1="158" y2="150" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="204" x2="205" y1="150" y2="150" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="205" x2="205" y1="150" y2="132" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath75)" points=" 205 132 209 140 201 140" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath75)" points=" 205 132 209 140 201 140" stroke="rgb(136,136,136)"/>
<line clip-path="url(#clipPath66)" fill="none" x1="435" x2="435" y1="158" y2="132" stroke="rgb(136,136,136)"/>
<polygon fill="white" clip-path="url(#clipPath86)" points=" 435 132 439 140 431 140" stroke="none"/>
<polygon fill="none" clip-path="url(#clipPath86)" points=" 435 132 439 140 431 140" stroke="rgb(136,136,136)"/>
</g>
</g>
</svg>