单步运行

可以用来触发一个变迁。这个按钮在不同的使用环境下有不同的作用：

• 工作区Workspace： 随机触发一个变迁。
• 组合体中的一个页面： 随机触发该页一个变迁。
• 索引区中的一个页面： 随机触发该页一个变迁。
• 一个使能变迁： 触发变迁。

工具板和工具窗（Palettes and toolglasses） : 仿真工具（Simulation tools） 和
弹出菜单工具（Marking menu tools） : 页名弹出菜单（Page Name marking menu） 和 变迁弹出菜单（Transition marking menu）