digraph {
rankdir=LR
node [shape=record, style=rounded, fontname="Sans Bold"]
edge [fontname="Sans"]
subgraph cluster_M {
label=<M<BR ALIGN="LEFT"/>>
shape=record
style=rounded
fontname="Sans Bold Italic"
INITIAL [label="", shape=circle, width=0.2, style=filled, fillcolor=black]
R [label=<<B>R</B>>]
S [label=<<B>S</B>>]
T [label=<<B>T</B>>]
INITIAL -> S
"*" -> "R" [label=<<FONT FACE="Sans Italic">ToR</FONT>>]
"*" -> "T" [label=<<FONT FACE="Sans Italic">ToT</FONT>>]
"T" -> "S" [label=<<FONT FACE="Sans Italic">ToS</FONT>>]
R -> "*" [style=dashed, color=gray] S -> "*" [style=dashed, color=gray] T -> "*" [style=dashed, color=gray] }
}