[状态] 从嵌套状态转换到其包含的超级状态时,不会触及超级状态边界

描述错误

在层次化状态图中，从嵌套（内部）状态到其包含的超级状态的转换不会在超级状态的边界上结束。箭头在复合体内的空间中结束，在任意内部点上。UML 状态机要求转换箭头与目标状态的边界相接触。子 → 超级转换应当落在复合体的边缘上（超级状态的重新进入），而不是浮在其内部。这种情况发生在默认的 Graphviz 布局中。使用 !pragma layout smetana 可看到相同的内部落点。