| digraph signal_theft { |
| size = "6,6" |
| margin = 0.0 |
| node [shape=ellipse,fontsize=10,fontname=Helvetica] |
| edge [fontsize=10,fontname=Helvetica] |
| |
| "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=true]; |
| "IDLE" -> "READY" [label="no\ncount",decorate=true]; |
| "REQ" -> "READY" [label="!counting",decorate=false]; |
| "REQ" -> "ACK" [label="counting",decorate=true]; |
| "ACK" -> "READY" [label="done\ncounting",decorate=true]; |
| "READY" -> "IDLE" [label="flushed",decorate=true]; |
| } |