states.dot


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

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"];
}