| digraph signal_theft { |
| size = "6,6" |
| node [shape=ellipse,fontsize=10] |
| edge [fontsize=10] |
| |
| "IDLE" [style=filled,fillcolor=green,peripheries=2]; |
| { |
| "REQ" [style=filled,fillcolor=salmon]; |
| "READY" [style=filled,fillcolor=green]; |
| rank=same; |
| } |
| "ACK" [style=filled,fillcolor=lightblue]; |
| "IDLE" -> "REQ" [label="need\nflush",decorate]; |
| "IDLE" -> "READY" [label="no\ncount",decorate]; |
| "REQ" -> "READY" [label="!counting",decorate]; |
| "REQ" -> "ACK" [label="counting",decorate]; |
| "ACK" -> "READY" [label="done\ncounting",decorate]; |
| "READY" -> "IDLE" [label="flushed",decorate]; |
| } |
