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]
+}