goto 操作用于执行状态转换。以下是使用 goto 操作在触发前执行状态转换的示例: state my_state_0: goto my_state_1; state my_state_1: trigger;