[2026-05-15 UPDATE: After more analysis Webel IT has concluded that the spec itself has multiple inconsistent examples. The Webel SysMLv2 course has a series of slides investigating the issue and suggesting Just use start:stateAction]
Former slide analysis above is PARTIALLY OBSOLETE
Cameo 2026x SysMLv2 interprets a then from an empty entry actions as a Succession (not a Transition). Further analysis indicates this actually correct (transitions can only be between state usages).
It seem that the form shown in the SysMLv2.0 spec p.115 and p118 is itself incorrect and that form is not used in the OMG SysMLv2 sample ptc-25-04-31.sysml.
