digraph states
{
graph
[
size = "3,2"
]
graph
[
rankdir = "LR"
]
node
[
shape = "ellipse"
]
empty
[
label = "Empty"
]
stolen
[
label = "Stolen"
]
waiting
[
label = "Waiting"
]
full
[
label = "Full"
]
empty -> full
[
label = "return"
]
empty -> stolen
[
label = "dispatch"
wt = "28"
]
stolen -> full
[
label = "return"
]
stolen -> waiting
[
label = "touch"
]
waiting -> full
[
label = "return"
]
}