Tags and keywords
NOTATION REFERENCE ONLY: This diagram is not meant to be executable!
The absence of explicit triggers or guards on Transition symbols in this diagram is for brevity only and does not imply completion Transitions with implicit triggers.