SysML活动图仿真运行规则验证

        在活动图中建立如下模型，用于验证仿真运行逻辑，以避免在实际建模过程中留下软件无法检测到的不规范问题。

结论：

1、如果有多个初始节点，则活动图执行顺序参考初始节点的创建顺序进行执行，所有初始节点执行完成创建相应信令，传递到后续行为再进行消耗信令执行行为。

2、有初始节点的支流执行完之后，没有初始节点的支流才开始执行。

3、活动应该有一个输入沿和输出沿，否则会警告。

4、流终点不会导致活动图的执行终止，活动图执行终止条件：所有行为执行完成或者活动终点被执行。