I would suggest the following changes:
a) Remove the red highlighted "<<operator>>" as it is only timer driven
b) Add the two green transitions, as otherwise Latched would be a final state
c) Specify the meaning of the blue highlighted transition. Is it related to the "History" of the <<signal activation="">> On state? Latched and On do not make sense, thus only Off and Acknowledged are reasonable states?!?</signal></operator>
From my perspective: The <<operator>> should be included as it can be <<timer>> or <<operator>> driven. Maybe we add just another transition.</operator></timer></operator>
I think the changes proposed for Latched are ok.
The blue highlighted transition needs to go to the "Off" state in the box as the condition is not present. I think the transition from "condition is present" to "On" is actually not ok and may be going to either of "On" or "Ack".
Proposed removal of D.6 Alert signal generation
Maybe include after fixing Table 9 to depict the content of Table 9.
Consider removing annex section D.6 in Corrigenda, then improve/reintroduce in Revision or APKP.
Last edit: Björn Andersen 2024-01-15
Removal does not alter scope.
Solved in 943435b.