StateChart Model can have only one root node of type OR.
Every OR node should have exactly one START node as a child.
Every OR node can't have more than one END nodes as children.
A START node can only be a source node for an transition.
An END node can only be a target node for a transition.
An AND node can only have OR nodes as children.
GO TO Table Of Contents