digraph states { 
    compound=true;
    labelloc=t;
    fontname=Arial;
    fontsize=9;
    nodesep="0.4";
    ranksep="0.4";
    node [fontname=Arial, fontsize=9, shape=box];
    subgraph cluster2b2f05954669f88fc202d993c249f3fe { 
        label = "TopState";
        I2b2f05954669f88fc202d993c249f3fe [label="", shape=circle, style=filled, color=black, width=.2];
        Fea7b96534102a5189e42dab9dde63f8e [label="", shape=circle, style=filled, color=black, peripheries=2, width=.1];
        subgraph cluster945b44b347641e4a37331391c0e9e8b3 { 
            label = "CompositeState";
            I945b44b347641e4a37331391c0e9e8b3 [label="", shape=circle, style=filled, color=black, width=.2];
            F76e1da6c46fa995300e48a9c1a2a2f58 [label="", shape=circle, style=filled, color=black, peripheries=2, width=.1];
            S3953bd9a4a65d1d62dbace95cfce6b1e [label="SimpleState"];
         } 
     } 
    I2b2f05954669f88fc202d993c249f3fe -> I945b44b347641e4a37331391c0e9e8b3 [lhead=cluster945b44b347641e4a37331391c0e9e8b3];
    I945b44b347641e4a37331391c0e9e8b3 -> S3953bd9a4a65d1d62dbace95cfce6b1e;
    I945b44b347641e4a37331391c0e9e8b3 -> I945b44b347641e4a37331391c0e9e8b3 [ltail=cluster945b44b347641e4a37331391c0e9e8b3,lhead=cluster945b44b347641e4a37331391c0e9e8b3];
}