eip-state-machine.dot

// see:
// http://stamm-wilbrandt.de/GraphvizFiddle/
// http://graphviz-dev.appspot.com/

digraph g{
    OFF [label="OFF", style="filled", shape=doublecircle];
    ON [label="ON", fillcolor="palegreen", style="filled" shape=doublecircle];
    error [label="error", fillcolor="red", style="filled" shape=doublecircle];

    OFF -> fw_start [label="start"];

    subgraph cluster_start {
        label="<start>";
        fw_start -> eip_start [label="ok"];
        eip_start-> eip_start [label="retry", color="yellow"];
    }

    fw_start -> error [label="error", color="red"];
    eip_start-> ON [label="ok", color="green"];
    eip_start-> error [label="error", color="red"];


    // error -> OFF [label="reset"];

    ON -> eip_stop  [label="stop"];
    subgraph cluster_stop {
        label="<stop>";
        eip_stop -> fw_stop [label="ok"];
        eip_stop -> eip_stop [label="retry", color="yellow"];
    }
    eip_stop -> error [label="error", color="red"];
    fw_stop -> OFF [label="ok"];
    fw_stop -> error [label="error", color="red"];

}