-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathFSM.drawio
85 lines (85 loc) · 6.12 KB
/
FSM.drawio
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
<mxfile host="app.diagrams.net" modified="2023-12-29T17:59:18.312Z" agent="Mozilla/5.0 (X11; Linux x86_64; rv:122.0) Gecko/20100101 Firefox/122.0" etag="8WruI8UNYXnOK4DgegP5" version="22.1.16" type="device">
<diagram name="Page-1" id="UGpvZ74xZLi4lgI_icrL">
<mxGraphModel dx="1100" dy="540" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="850" pageHeight="1100" math="0" shadow="0">
<root>
<mxCell id="0" />
<mxCell id="1" parent="0" />
<mxCell id="KlvB3CXh17Z3U_3u1kfH-7" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="KlvB3CXh17Z3U_3u1kfH-1" target="KlvB3CXh17Z3U_3u1kfH-6">
<mxGeometry relative="1" as="geometry" />
</mxCell>
<mxCell id="KlvB3CXh17Z3U_3u1kfH-8" value="Called to F' &gt; x" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" vertex="1" connectable="0" parent="KlvB3CXh17Z3U_3u1kfH-7">
<mxGeometry x="-0.0758" y="-1" relative="1" as="geometry">
<mxPoint as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="KlvB3CXh17Z3U_3u1kfH-19" style="edgeStyle=orthogonalEdgeStyle;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;" edge="1" parent="1" source="KlvB3CXh17Z3U_3u1kfH-1" target="KlvB3CXh17Z3U_3u1kfH-16">
<mxGeometry relative="1" as="geometry" />
</mxCell>
<mxCell id="KlvB3CXh17Z3U_3u1kfH-20" value="Called to F &lt; x" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" vertex="1" connectable="0" parent="KlvB3CXh17Z3U_3u1kfH-19">
<mxGeometry x="-0.1077" y="-1" relative="1" as="geometry">
<mxPoint as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="KlvB3CXh17Z3U_3u1kfH-1" value="S0" style="ellipse;shape=doubleEllipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1">
<mxGeometry x="120" y="240" width="80" height="80" as="geometry" />
</mxCell>
<mxCell id="KlvB3CXh17Z3U_3u1kfH-3" value="F = x<br>dir = NONE<br>(F : floor)" style="text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];autosize=1;strokeColor=none;fillColor=none;" vertex="1" parent="1">
<mxGeometry x="115" y="170" width="90" height="60" as="geometry" />
</mxCell>
<mxCell id="KlvB3CXh17Z3U_3u1kfH-10" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;curved=1;entryX=1;entryY=0.5;entryDx=0;entryDy=0;" edge="1" parent="1" source="KlvB3CXh17Z3U_3u1kfH-6" target="KlvB3CXh17Z3U_3u1kfH-1">
<mxGeometry relative="1" as="geometry">
<Array as="points">
<mxPoint x="460" y="370" />
<mxPoint x="200" y="370" />
</Array>
</mxGeometry>
</mxCell>
<mxCell id="KlvB3CXh17Z3U_3u1kfH-11" value="Arrive at F' = x'" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" vertex="1" connectable="0" parent="KlvB3CXh17Z3U_3u1kfH-10">
<mxGeometry x="-0.0857" y="-1" relative="1" as="geometry">
<mxPoint as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="KlvB3CXh17Z3U_3u1kfH-6" value="S1" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1">
<mxGeometry x="420" y="240" width="80" height="80" as="geometry" />
</mxCell>
<mxCell id="KlvB3CXh17Z3U_3u1kfH-14" style="edgeStyle=orthogonalEdgeStyle;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=0;exitDx=0;exitDy=0;" edge="1" parent="1" source="KlvB3CXh17Z3U_3u1kfH-1" target="KlvB3CXh17Z3U_3u1kfH-1">
<mxGeometry relative="1" as="geometry">
<Array as="points">
<mxPoint x="160" y="220" />
<mxPoint x="80" y="220" />
<mxPoint x="80" y="340" />
<mxPoint x="120" y="340" />
</Array>
</mxGeometry>
</mxCell>
<mxCell id="KlvB3CXh17Z3U_3u1kfH-21" value="called to F = x" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" vertex="1" connectable="0" parent="KlvB3CXh17Z3U_3u1kfH-14">
<mxGeometry x="-0.0021" y="1" relative="1" as="geometry">
<mxPoint as="offset" />
</mxGeometry>
</mxCell>
<mxCell id="KlvB3CXh17Z3U_3u1kfH-15" value="F = N/A<br>dir = UP" style="text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];autosize=1;strokeColor=none;fillColor=none;" vertex="1" parent="1">
<mxGeometry x="425" y="205" width="70" height="40" as="geometry" />
</mxCell>
<mxCell id="KlvB3CXh17Z3U_3u1kfH-16" value="s2" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1">
<mxGeometry x="120" y="570" width="80" height="80" as="geometry" />
</mxCell>
<mxCell id="KlvB3CXh17Z3U_3u1kfH-17" value="F = N/A<br>dir: DOWN" style="text;html=1;align=center;verticalAlign=middle;resizable=0;points=[];autosize=1;strokeColor=none;fillColor=none;" vertex="1" parent="1">
<mxGeometry x="120" y="660" width="80" height="40" as="geometry" />
</mxCell>
<mxCell id="KlvB3CXh17Z3U_3u1kfH-22" style="edgeStyle=orthogonalEdgeStyle;curved=1;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;entryX=1.008;entryY=0.625;entryDx=0;entryDy=0;entryPerimeter=0;" edge="1" parent="1" source="KlvB3CXh17Z3U_3u1kfH-16" target="KlvB3CXh17Z3U_3u1kfH-1">
<mxGeometry relative="1" as="geometry">
<Array as="points">
<mxPoint x="220" y="590" />
<mxPoint x="220" y="290" />
</Array>
</mxGeometry>
</mxCell>
<mxCell id="KlvB3CXh17Z3U_3u1kfH-23" value="Arrive at F' = x'" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" vertex="1" connectable="0" parent="KlvB3CXh17Z3U_3u1kfH-22">
<mxGeometry x="0.0425" relative="1" as="geometry">
<mxPoint y="44" as="offset" />
</mxGeometry>
</mxCell>
</root>
</mxGraphModel>
</diagram>
</mxfile>