Events the machine accepts in its current configuration: descriptors on
transitions of active states (conditions are shown, not evaluated — that
could have side effects). Scoped relative to the focus:
here — the source is inside the focus
inherited — the source is an ancestor of the focus (it applies here too)
elsewhere — other active parts (e.g. parallel regions outside the focus)
Events the machine accepts in its current configuration: descriptors on transitions of active states (conditions are shown, not evaluated — that could have side effects). Scoped relative to the focus: here — the source is inside the focus inherited — the source is an ancestor of the focus (it applies here too) elsewhere — other active parts (e.g. parallel regions outside the focus)