digraph G {
    node [shape=doublecircle] Start;
    node [shape=circle,fontname="monospace"];
    edge [fontname="Helvetica,Arial,sans-serif"];
    rankdir=LR;
    
    Start -> STATE_UNARMED;
    STATE_UNARMED -> STATE_ARMED [label="Kode indtastes"];
    STATE_ARMED -> STATE_AWARE [label="Vægt ændrer sig"];
    STATE_AWARE -> STATE_RINGING [label="Tiden er gået"];
    STATE_AWARE -> STATE_ARMED [label="Vægt normal"];
    
    edge [color=gray,fontcolor=gray];
    STATE_ARMED -> STATE_UNARMED [label="Korrekt kode indtastes"];
    STATE_AWARE -> STATE_UNARMED [label="Korrekt kode indtastes"];
    STATE_RINGING -> STATE_UNARMED [label="Korrekt kode indtastes"];
}