Skip to content
flowss
Start freeChecking your session
State machine (FSM) templates

Teaching Case — A State No Run Can Ever Be In

`Archived` is declared, labelled and drawn like every other state, and nothing enters it. No run of this machine can ever be in it — it is dead code with a box around it — and there is nothing in the picture to say so. The engine names it and dashes its outline, so the figure carries the finding rather than only the panel.

State machine (FSM)Flow & ProcessState machine (FSM) syntax docs
Template previewState machine (FSM)
Ticket lifecycle4 states · 3 transitions · 3 eventstriageresolvereopenNewOpenResolvedArchived1 thing is probably not what was meant; every transition names states that exist.WARN`Archived` cannot be entered from `New`. It is drawn like every other state, and no run of this machine can ever be in it.OKEvery run from `New` can reach a final state.OKAll 3 transitions name states that exist, so every arrow in the figure is drawn.

Make it your own.

title "Ticket lifecycle"

state New
state Open
state Resolved final
state Archived final

initial New

transition New      -> Open     on "triage"
transition Open     -> Resolved on "resolve"
transition Resolved -> Open     on "reopen"