digraph{
    graph [
        bgcolor="#FFFFFFF00",
        rankdir=LR,
        ];

    executing1 [label="executing"];
    executing2 [label="executing"];
    cancelled [label="cancelled(executing)"];
    resumed [label="resumed(fetch)"];

    executing1 -> cancelled;
    cancelled -> released;
    cancelled -> executing2;
    released -> forgotten;

    cancelled -> resumed [dir=both];
    resumed -> executing2;
    resumed -> memory;
    resumed -> fetch;
}
