Teaching Case — The Comment That Split the Figure From the Panel
Nothing in this document is wrong, and it is here because of what it used to do. There were two hand-written parsers for this notation — one for the drawing, one for the analysis panel — and the drawing's transition rule was anchored with a trailing `$` where the panel's was not. A transition ending in a comment was dropped from the FIGURE and kept in the PANEL, so the picture showed a machine with one fewer arrow than the text beside it described, both looking internally consistent, and nothing anywhere saying they were different machines. There is one parser now, and both read it. Reports clean.
Make it your own.
title "Incident escalation"
state Open
state Acknowledged # someone has picked it up
state Escalated
state Closed final
initial Open
transition Open -> Acknowledged on "ack" // within SLA
transition Open -> Escalated on "timeout" # SLA breach
transition Acknowledged -> Closed on "resolve"
transition Escalated -> Closed on "resolve"
transition Escalated -> Acknowledged on "reassign" # back to the queue