digraph G {
    nodesep=1
    rankdir="LR"
    IDLE,P1,P2,P3[shape=circle]
    IDLE[fontsize=10]
    IDLE->P1[label=SNO]
    P1->P2
    P2->P2[label="F1 = 0\nFC = 0"]
    P2->P3[label="F1 = 1\nFC = 0"]
    P2->IDLE[label="FC = 1\nSKO"]
    P3->P2
}