[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]
For the latest analysis and workaround visit instead
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).
Both Cameo2026x and Cameo2026xHF2 struggle to interpret this wrong code formulation, but have different (necessarily incorrect) interpretations of the error:
entry action initial;
transition first initial then ...
In Cameo 2026xHotFix2 now turns that into a succession with an else! as shown here:
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.
