Sand Box

<graph> digraph nfa {

    //{ node [shape=circle style=invis] start }
 rankdir=LR; ratio=0.5
 //node [shape=doublecircle,fixedsize=true,width=0.2,fontsize=10]; 11
 //node [shape=circle,fixedsize=true,width=0.2,fontsize=10];
 wc01 -> wc02; wc02 -> wc03; wc03 -> wc04; wc04 -> wc05; wc05 -> wc06; wc06 -> wc07; wc07 -> wc08; wc08 -> wc09; wc09 -> wc10;
 wc10 -> afsdb0; afsdb0 -> no00;
 no00 -> no01; no01 -> no02; no02 -> no03; no03 -> no04; no04 -> no05; no05 -> no06; no06 -> no07; no07 -> no08; no08 -> no09; no09 -> no10; no10 -> no11

 wc01 -> wc02; wc02 -> wc03; wc03 -> wc04; wc04 -> wc05; wc05 -> wc06; wc06 -> wc07; wc07 -> wc08; wc08 -> wc09; wc09 -> wc10;
 wc10 -> srv5; srv5 -> no00;
 no00 -> no01; no01 -> no02; no02 -> no03; no03 -> no04; no04 -> no05; no05 -> no06; no06 -> no07
 fontsize=10

} </graph>