summaryrefslogtreecommitdiff
path: root/fsm/traffic-light.dot
diff options
context:
space:
mode:
authorzhang <zch921005@126.com>2022-05-04 08:47:54 +0800
committerzhang <zch921005@126.com>2022-05-04 08:47:54 +0800
commit2180c68999eb8dc0c7bcec015b2703f5b8b20223 (patch)
tree3ec71623038ff8b90a5bc4e32da14a7382d42d9d /fsm/traffic-light.dot
parent70aebb73b81b50911e2107cd4519e69f09971021 (diff)
ndarray axis
Diffstat (limited to 'fsm/traffic-light.dot')
-rw-r--r--fsm/traffic-light.dot9
1 files changed, 9 insertions, 0 deletions
diff --git a/fsm/traffic-light.dot b/fsm/traffic-light.dot
new file mode 100644
index 0000000..cd602f5
--- /dev/null
+++ b/fsm/traffic-light.dot
@@ -0,0 +1,9 @@
+// traffic-light
+digraph {
+ RED -> RED [label=timer_le_20]
+ RED -> GREEN [label=timer_eq_20]
+ GREEN -> GREEN [label=timer_le_15]
+ GREEN -> YELLOW [label=timer_eq_15]
+ YELLOW -> YELLOW [label=timer_le_5]
+ YELLOW -> RED [label=timer_eq_5]
+}