R2800¶

Summary¶

An initial vertex can have at most one outgoing transition.

Details¶

Initial pseudo states are only temporary states to start from and should target only one state which is the first state of the object.

Tips¶

If you have more than one transition coming from an initial state, remove them.