Ein (Sub-)Zustandsautomat enthält nur dann ein INIT_STATE_ID-Element, wenn er einen Startzustand besitzt.
Die ID des Startzustands ist auch unterhalb des entsprechenden STATE-Elements zu finden (STATE/ID).
Die Redundanz erleichert die Verarbeitung durch das Codegenerierungsskript. |