Connection Point

The connection points are introduced to simplify the layout of HMSCs and have no semantical meaning.

Connection points are nodes which make it possible to reduce the number of branches since several parallel branches with the same start and end give no additional meaning.

<node area> ::=

<hmsc reference area> | <connection point symbol>

| <hmsc condition area> | <par expr area>