summaryrefslogtreecommitdiff
path: root/tuer-rfid/statemachine.dot
blob: d581de893349e25cda9234821e0fe12385148b00 (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
digraph G {
  reset [shape=box];
  toggle [shape=diamond];
  btn_toggle [shape=diamond];
  cmd_toggle [shape=diamond];
  card [shape=diamond];
  card ->toggle;
  btn_toggle ->toggle;
  cmd_toggle ->toggle;
  all_states [shape=box];
  opened [shape=box];
  closed [shape=box];
  opening [shape=box];
  closing [shape=box];
  timeout_after_open [shape=box];
  timeout_after_close [shape=box];
  manual_movement [shape=box];
  error [shape=box];
  reset -> closed [label="limit_closed"];
  reset -> closing [label="limit_none"];
  reset -> opened [label="limit_opened"];
  error -> closed [label="limit_closed"];
  error -> opened [label="limit_opened"];
  error -> manual_movement [label="limit_none"];
  manual_movement -> opening [label="cmd_open"]; 
  manual_movement -> closing [label="cmd_close"]; 
  manual_movement -> closing [label="toggle"]; 
  opened -> closing [label="cmd_close"]; 
  opened -> closing [label="toggle"]; 
  closed -> opening [label="cmd_open"]; 
  closed -> opening [label="toggle"]; 
  opening -> opened [label="open_fin"];
  closing -> closed [label="close_fin"];
  closing -> timeout_after_close [label="timeout"];
  opening -> timeout_after_open [label="timeout"];
  timeout_after_open -> closing [label="cmd_close"]; 
  timeout_after_open -> closing [label="toggle"]; 
  timeout_after_open -> opened [label="limit_open"]; 
  timeout_after_open -> closed [label="limit_close"]; 
  timeout_after_close -> opening [label="cmd_open"]; 
  timeout_after_close -> opening [label="toggle"]; 
  timeout_after_close -> opened [label="limit_open"]; 
  timeout_after_close -> closed [label="limit_close"]; 
  all_states -> error [label="limit_both"]; 
}