title
Walking Dog Concurrently

stateDiagram
    [*] --> waiting : LEAVE_HOME
    waiting --> walk : START_WALKING
    state walk {
        [*] --> walking
        walking --> stopForSmells : STOP
        walking --> running : SPEED_UP
        stopForSmells --> walking : SPEED_UP
        stopForSmells --> running : SPEED_UP
        running --> walking : SLOW_DOWN
        running --> stopForSmells : STOP
        --
        [*] --> notWagging
        notWagging --> wagging : START_WAGGING
        wagging --> notWagging : STOP_WAGGING
    }
    walk --> walkComplete : GO_HOME
    walkComplete [*]

Loading