TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-16 00:15:01 -04:00
Code Issues Packages Projects Releases Wiki Activity

Select a proper initial marker position in the example fsm's

Browse Source
This commit is contained in:
hneemann 2020-06-01 08:13:36 +02:00
parent 28a2028ee1
commit bf622439c2
9 changed files with 89 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/main/fsm/SevenSegCounter.fsm
View File

@ -8,6 +8,7 @@
<name>0</name>
<radius>90</radius>
<isInitial>true</isInitial>
<initialAngle>8</initialAngle>
</state>
<state>
<values>S=0000110</values>
@ -16,6 +17,7 @@
<name>1</name>
<radius>90</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>S=1011011</values>
@ -24,6 +26,7 @@
<name>2</name>
<radius>90</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>S=1001111</values>
@ -32,6 +35,7 @@
<name>3</name>
<radius>90</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>S=1100110</values>
@ -40,6 +44,7 @@
<name>4</name>
<radius>90</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>S=1101101</values>
@ -48,6 +53,7 @@
<name>5</name>
<radius>90</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>S=1111101</values>
@ -56,6 +62,7 @@
<name>6</name>
<radius>90</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>S=0000111</values>
@ -64,6 +71,7 @@
<name>7</name>
<radius>90</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>S=1111111</values>
@ -72,6 +80,7 @@
<name>8</name>
<radius>90</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>S=1101111</values>
@ -80,6 +89,7 @@
<name>9</name>
<radius>90</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
</states>
<transitions>
@ -162,7 +172,7 @@
</transition>
<transition>
<values></values>
<position x="241.62161" y="-353.51352"/>
<position x="241.6216" y="-353.5135"/>
<fromState reference="../../../states/state[3]"/>
<toState reference="../../../states/state"/>
<condition>clr=1</condition>
@ -197,14 +207,14 @@
</transition>
<transition>
<values></values>
<position x="-255.42" y="-199.90616"/>
<position x="-255.42003" y="-199.90617"/>
<fromState reference="../../../states/state[8]"/>
<toState reference="../../../states/state"/>
<condition>clr=1</condition>
</transition>
<transition>
<values></values>
<position x="-241.61276" y="-353.50214"/>
<position x="-241.61275" y="-353.5021"/>
<fromState reference="../../../states/state[9]"/>
<toState reference="../../../states/state"/>
<condition>clr=1</condition>

14
src/main/fsm/counter10.fsm
View File

@ -8,6 +8,7 @@
<name></name>
<radius>70</radius>
<isInitial>true</isInitial>
<initialAngle>8</initialAngle>
</state>
<state>
<values>D=0001</values>
@ -16,6 +17,7 @@
<name></name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>D=0010</values>
@ -24,6 +26,7 @@
<name></name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>D=0011</values>
@ -32,6 +35,7 @@
<name></name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>D=0100</values>
@ -40,6 +44,7 @@
<name></name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>D=0101</values>
@ -48,6 +53,7 @@
<name></name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>D=0110</values>
@ -56,6 +62,7 @@
<name></name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>D=0111</values>
@ -64,6 +71,7 @@
<name></name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>D=1000</values>
@ -72,6 +80,7 @@
<name></name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>D=1001</values>
@ -80,6 +89,7 @@
<name></name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
</states>
<transitions>
@ -162,7 +172,7 @@
</transition>
<transition>
<values></values>
<position x="218.74466" y="-235.99146"/>
<position x="218.74463" y="-235.99142"/>
<fromState reference="../../../states/state[3]"/>
<toState reference="../../../states/state"/>
<condition>clr=1</condition>
@ -204,7 +214,7 @@
</transition>
<transition>
<values></values>
<position x="-220.57417" y="-238.91867"/>
<position x="-220.57414" y="-238.91864"/>
<fromState reference="../../../states/state[9]"/>
<toState reference="../../../states/state"/>
<condition>clr=1</condition>

7
src/main/fsm/rotDecoderMealy.fsm
View File

@ -8,6 +8,7 @@
<name>top</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values></values>
@ -16,6 +17,7 @@
<name>leftTop</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values></values>
@ -24,6 +26,7 @@
<name>leftBottom</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values></values>
@ -32,6 +35,7 @@
<name>bottom</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values></values>
@ -40,6 +44,7 @@
<name>rightBottom</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values></values>
@ -48,6 +53,7 @@
<name>rightTop</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values></values>
@ -56,6 +62,7 @@
<name>init</name>
<radius>70</radius>
<isInitial>true</isInitial>
<initialAngle>14</initialAngle>
</state>
</states>
<transitions>

19
src/main/fsm/rotDecoderMoore.fsm
View File

@ -8,6 +8,7 @@
<name>init</name>
<radius>70</radius>
<isInitial>true</isInitial>
<initialAngle>16</initialAngle>
</state>
<state>
<values></values>
@ -16,6 +17,7 @@
<name>top</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>L=1</values>
@ -24,6 +26,7 @@
<name>topSetLeft</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values></values>
@ -32,6 +35,7 @@
<name>leftTop</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values></values>
@ -40,6 +44,7 @@
<name>leftBottom</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>R=1</values>
@ -48,6 +53,7 @@
<name>bottomSetRight</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values></values>
@ -56,6 +62,7 @@
<name>bottom</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>L=1</values>
@ -64,6 +71,7 @@
<name>bottomSetLeft</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values></values>
@ -72,6 +80,7 @@
<name>rightBottom</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values></values>
@ -80,6 +89,7 @@
<name>rightTop</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>R=1</values>
@ -88,6 +98,7 @@
<name>topSetRight</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
</states>
<transitions>
@ -107,14 +118,14 @@
</transition>
<transition>
<values></values>
<position x="198.50641" y="-300.633"/>
<position x="198.50638" y="-300.633"/>
<fromState reference="../../../states/state[2]"/>
<toState reference="../../../states/state[4]"/>
<condition>A=1 &amp; B=0</condition>
</transition>
<transition>
<values></values>
<position x="-198.50641" y="-300.633"/>
<position x="-198.50638" y="-300.633"/>
<fromState reference="../../../states/state[2]"/>
<toState reference="../../../states/state[10]"/>
<condition>A=0 &amp; B=1</condition>
@ -161,14 +172,14 @@
</transition>
<transition>
<values></values>
<position x="198.50641" y="300.633"/>
<position x="198.50638" y="300.633"/>
<fromState reference="../../../states/state[7]"/>
<toState reference="../../../states/state[5]"/>
<condition>A=1 &amp; B=0</condition>
</transition>
<transition>
<values></values>
<position x="-198.50641" y="300.633"/>
<position x="-198.50638" y="300.633"/>
<fromState reference="../../../states/state[7]"/>
<toState reference="../../../states/state[9]"/>
<condition>A=0 &amp; B=1</condition>

28
src/main/fsm/stepperHalfStep.fsm
View File

@ -8,6 +8,7 @@
<name>S0</name>
<radius>70</radius>
<isInitial>true</isInitial>
<initialAngle>8</initialAngle>
</state>
<state>
<values>P=0100</values>
@ -16,6 +17,7 @@
<name>S1</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>P=0110</values>
@ -24,6 +26,7 @@
<name>S2</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>P=0010</values>
@ -32,6 +35,7 @@
<name>S3</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>P=0011</values>
@ -40,6 +44,7 @@
<name>S4</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>P=0001</values>
@ -48,6 +53,7 @@
<name>S5</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>P=1001</values>
@ -56,6 +62,7 @@
<name>S6</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>P=1000</values>
@ -64,6 +71,7 @@
<name>S7</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>P=1100</values>
@ -72,6 +80,7 @@
<name>S1b</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>P=0110</values>
@ -80,6 +89,7 @@
<name>S3b</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>P=0011</values>
@ -88,6 +98,7 @@
<name>S5b</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>P=1001</values>
@ -96,6 +107,7 @@
<name>S7b</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
</states>
<transitions>
@ -150,7 +162,7 @@
</transition>
<transition>
<values></values>
<position x="-419.50375" y="396.8797"/>
<position x="-419.50372" y="396.87967"/>
<fromState reference="../../../states/state[11]"/>
<toState reference="../../../states/state[7]"/>
<condition>D</condition>
@ -206,14 +218,14 @@
</transition>
<transition>
<values></values>
<position x="-361.3719" y="155.78513"/>
<position x="-361.37192" y="155.78511"/>
<fromState reference="../../../states/state[7]"/>
<toState reference="../../../states/state[12]"/>
<condition>D &amp; !H</condition>
</transition>
<transition>
<values></values>
<position x="84.21428" y="-121.37142"/>
<position x="84.214294" y="-121.37143"/>
<fromState reference="../../../states/state[9]"/>
<toState reference="../../../states/state"/>
<condition>!D</condition>
@ -241,7 +253,7 @@
</transition>
<transition>
<values></values>
<position x="-84.21789" y="601.3743"/>
<position x="-84.217896" y="601.3743"/>
<fromState reference="../../../states/state[11]"/>
<toState reference="../../../states/state[5]"/>
<condition>!D</condition>
@ -262,7 +274,7 @@
</transition>
<transition>
<values></values>
<position x="-419.50067" y="83.124146"/>
<position x="-419.50067" y="83.124176"/>
<fromState reference="../../../states/state[12]"/>
<toState reference="../../../states/state[7]"/>
<condition>!D</condition>
@ -297,21 +309,21 @@
</transition>
<transition>
<values></values>
<position x="-84.214226" y="-121.37138"/>
<position x="-84.21423" y="-121.37139"/>
<fromState reference="../../../states/state"/>
<toState reference="../../../states/state[12]"/>
<condition>!D &amp; !H</condition>
</transition>
<transition>
<values></values>
<position x="-361.37515" y="324.21896"/>
<position x="-361.37518" y="324.219"/>
<fromState reference="../../../states/state[7]"/>
<toState reference="../../../states/state[11]"/>
<condition>!D &amp; !H</condition>
</transition>
<transition>
<values></values>
<position x="156.88033" y="659.5043"/>
<position x="156.88034" y="659.5043"/>
<fromState reference="../../../states/state[5]"/>
<toState reference="../../../states/state[10]"/>
<condition>!D &amp; !H</condition>

4
src/main/fsm/stepperSimple.fsm
View File

@ -8,6 +8,7 @@
<name>S0</name>
<radius>70</radius>
<isInitial>true</isInitial>
<initialAngle>14</initialAngle>
</state>
<state>
<values>P=0110</values>
@ -16,6 +17,7 @@
<name>S2</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>P=0011</values>
@ -24,6 +26,7 @@
<name>S4</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>P=1001</values>
@ -32,6 +35,7 @@
<name>S6</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
</states>
<transitions>

5
src/main/fsm/trafficLightBlink.fsm
View File

@ -8,6 +8,7 @@
<name>Red</name>
<radius>70</radius>
<isInitial>true</isInitial>
<initialAngle>14</initialAngle>
</state>
<state>
<values>R=1,Y=1</values>
@ -16,6 +17,7 @@
<name>Red/Yellow</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>G=1</values>
@ -24,6 +26,7 @@
<name>Green</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>Y=1</values>
@ -32,6 +35,7 @@
<name>Yellow</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values></values>
@ -40,6 +44,7 @@
<name>Off</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
</states>
<transitions>

6
src/main/fsm/trafficLightMedwedew.fsm
View File

@ -8,6 +8,7 @@
<name>Red</name>
<radius>70</radius>
<isInitial>true</isInitial>
<initialAngle>14</initialAngle>
</state>
<state>
<values>R=1,Y=1</values>
@ -16,6 +17,7 @@
<name>Red/Yellow</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>G=1</values>
@ -24,6 +26,7 @@
<name>Green</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>Y=1</values>
@ -32,12 +35,13 @@
<name>Yellow</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
</states>
<transitions>
<transition>
<values></values>
<position x="743.5" y="216.5"/>
<position x="743.5" y="216.50003"/>
<fromState reference="../../../states/state"/>
<toState reference="../../../states/state[2]"/>
<condition></condition>

12
src/main/fsm/trafficLightMoore.fsm
View File

@ -8,6 +8,7 @@
<name>Red</name>
<radius>70</radius>
<isInitial>true</isInitial>
<initialAngle>14</initialAngle>
</state>
<state>
<values>R=1,Y=1</values>
@ -16,6 +17,7 @@
<name>Red/Yellow</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>G=1</values>
@ -24,6 +26,7 @@
<name>Green</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
<state>
<values>Y=1</values>
@ -32,33 +35,34 @@
<name>Yellow</name>
<radius>70</radius>
<isInitial>false</isInitial>
<initialAngle>0</initialAngle>
</state>
</states>
<transitions>
<transition>
<values></values>
<position x="743.49994" y="216.50009"/>
<position x="733.80725" y="226.19278"/>
<fromState reference="../../../states/state"/>
<toState reference="../../../states/state[2]"/>
<condition></condition>
</transition>
<transition>
<values></values>
<position x="742.5" y="502.5"/>
<position x="733.812" y="493.812"/>
<fromState reference="../../../states/state[2]"/>
<toState reference="../../../states/state[3]"/>
<condition></condition>
</transition>
<transition>
<values></values>
<position x="459.0" y="501.0"/>
<position x="466.18964" y="493.81036"/>
<fromState reference="../../../states/state[3]"/>
<toState reference="../../../states/state[4]"/>
<condition></condition>
</transition>
<transition>
<values></values>
<position x="463.5" y="223.5"/>
<position x="466.19138" y="226.19138"/>
<fromState reference="../../../states/state[4]"/>
<toState reference="../../../states/state"/>
<condition></condition>