(C18033) Default transitions with illegal sources
Transitions have multiple sources and one of them is either a conditional connector or a history connector.In the following figure, the compound transition enteringS4
(whose source set consists of the default connector inS1
and the stateS2
) is an erroneous transition.