digraph G {
  graph [ bgcolor=transparent, fontname=Helvetica ]
  node [ shape=none, margin=0, color=black, fontcolor=black, fontname=Helvetica ]
  edge [ color=black, fontcolor=black, fontname=Helvetica ]
    ranksep = 0.5
    rankdir = TB
    A1 [shape="note" , margin="0.20,0.05" , label="Make Tea" , style="filled" , fillcolor="cornsilk" , arrowtail="none" , arrowhead="none" , height=0.5 , fontsize=10 , ]
    A2 [shape="circle" , label="" , style="" , arrowtail="none" , arrowhead="none" , height=0.3 , width=0.3 , ]
    A3 [shape="diamond" , label="a" , style="" , arrowtail="none" , arrowhead="none" , height=0.5 , width=0.5 , fontsize=0 , ]
    A4 [shape="rectangle" , margin="0.20,0.05" , label="Fill Kettle" , style="rounded" , arrowtail="none" , arrowhead="none" , height=0.5 , fontsize=10 , ]
    A5 [shape="record" , label="<f1>|<f2>" , style="filled" , arrowtail="none" , arrowhead="none" , height=0.05 , width=0.5 , fontsize=1 , penwidth=4 , ]
    A6 [shape="rectangle" , margin="0.20,0.05" , label="Boil Kettle" , style="rounded" , arrowtail="none" , arrowhead="none" , height=0.5 , fontsize=10 , ]
    A7 [shape="record" , label="<f1>|<f2>" , style="filled" , arrowtail="none" , arrowhead="none" , height=0.05 , width=0.5 , fontsize=1 , penwidth=4 , ]
    A8 [shape="rectangle" , margin="0.20,0.05" , label="Add Tea Bag" , style="rounded" , arrowtail="none" , arrowhead="none" , height=0.5 , fontsize=10 , ]
    A9 [shape="rectangle" , margin="0.20,0.05" , label="Add Milk" , style="rounded" , arrowtail="none" , arrowhead="none" , height=0.5 , fontsize=10 , ]
    A10 [shape="rectangle" , margin="0.20,0.05" , label="Pour Water" , style="rounded" , arrowtail="none" , arrowhead="none" , height=0.5 , fontsize=10 , ]
    A11 [shape="doublecircle" , label="" , style="" , arrowtail="none" , arrowhead="none" , height=0.3 , width=0.3 , ]
    A2 -> A3 [shape="edge" , label="" , style="solid" , dir="both" , arrowtail="none" , arrowhead="vee" , labeldistance=1 , fontsize=10 , ]
    A3 -> A4 [shape="edge" , label="[kettle empty]" , style="solid" , dir="both" , arrowtail="none" , arrowhead="vee" , labeldistance=1 , fontsize=10 , ]
    A4 -> A5:f1:n [shape="edge" , label="" , style="solid" , dir="both" , arrowtail="none" , arrowhead="vee" , labeldistance=1 , fontsize=10 , ]
    A3 -> A5:f2:n [shape="edge" , label="[kettle full]" , style="solid" , dir="both" , arrowtail="none" , arrowhead="vee" , labeldistance=1 , fontsize=10 , ]
    A5 -> A6 [shape="edge" , label="" , style="solid" , dir="both" , arrowtail="none" , arrowhead="vee" , labeldistance=1 , fontsize=10 , ]
    A6 -> A7:f1:n [shape="edge" , label="" , style="solid" , dir="both" , arrowtail="none" , arrowhead="vee" , labeldistance=1 , fontsize=10 , ]
    A5 -> A8 [shape="edge" , label="" , style="solid" , dir="both" , arrowtail="none" , arrowhead="vee" , labeldistance=1 , fontsize=10 , ]
    A8 -> A9 [shape="edge" , label="" , style="solid" , dir="both" , arrowtail="none" , arrowhead="vee" , labeldistance=1 , fontsize=10 , ]
    A9 -> A7:f2:n [shape="edge" , label="" , style="solid" , dir="both" , arrowtail="none" , arrowhead="vee" , labeldistance=1 , fontsize=10 , ]
    A7 -> A10 [shape="edge" , label="" , style="solid" , dir="both" , arrowtail="none" , arrowhead="vee" , labeldistance=1 , fontsize=10 , ]
    A10 -> A11 [shape="edge" , label="" , style="solid" , dir="both" , arrowtail="none" , arrowhead="vee" , labeldistance=1 , fontsize=10 , ]
}