digraph virtnonvirt {
    graph [nodesep=1.5, rankdir=BT];

    B1 [label = "B", shape=plaintext, height=.1, fontsize=24];
    B2 [label = "B", shape=plaintext, height=.1, fontsize=24];
    AA [shape=plaintext, height=.1, fontsize=24];
    X [shape=plaintext, height=.1, fontsize=24];
    Y [shape=plaintext, height=.1, fontsize=24];
    Z [shape=plaintext, height=.1, fontsize=24];

    subgraph {
    AA -> X;
    AA -> Y;
    X  -> B1;
    Y  -> B1;
    }

    AA -> Z [weight=0];
    Z  -> B2;
}