summaryrefslogtreecommitdiff
path: root/tools/dfagen/examples/ex1.fsm
diff options
context:
space:
mode:
Diffstat (limited to 'tools/dfagen/examples/ex1.fsm')
-rw-r--r--tools/dfagen/examples/ex1.fsm21
1 files changed, 21 insertions, 0 deletions
diff --git a/tools/dfagen/examples/ex1.fsm b/tools/dfagen/examples/ex1.fsm
new file mode 100644
index 00000000..3a8f083b
--- /dev/null
+++ b/tools/dfagen/examples/ex1.fsm
@@ -0,0 +1,21 @@
+# First FSM example.
+Example 1
+ A door which can be open or closed.
+
+States:
+ OPEN
+ The door is open
+ CLOSED
+ The door is clossed
+
+Events:
+ open
+ close
+
+OPEN:
+ close -> CLOSED
+ Close the door
+
+CLOSED:
+ open -> OPEN
+ Open the door