digraph stateMachine {
    PAID2;
    SUBMITTED;
    PAID;
    PAID3;
    CANCELED;
    FULFILLED;
    SUBMITTED -> PAID [label="PAY"];
    PAID -> FULFILLED [label="FULFILL"];
    SUBMITTED -> CANCELED [label="CANCEL"];
    PAID -> CANCELED [label="CANCEL"];
    PAID2 -> CANCELED [label=""];
    PAID3 -> CANCELED [label=""];
}