summaryrefslogtreecommitdiff
path: root/tools/dfagen/examples/ex1.fsm
blob: 3a8f083b766cb27f0c455ee57bb98347e9a897be (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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