true 离散系统(discrete system) true /pedestrian waiting sigG sigR ·离散系统 crossing 一系统状态只在有限的时间点或可数的时间点上由随 机事件驱动的系统 ·由异步、突发的事件驱动状态演化 一行为：用其演化过程的状态序列和事件序列来刻画 。7 变迁系统(transition system) 一状态：通常只取有限个离散值 一迁移：系统状态的变化在一个时间点上瞬间完成 ·有标记，无标记 ·离散事件系统、离散事件动态系统 一事件->动作->状态 2/112离散系统(discrete system) • 离散系统 – 系统状态只在有限的时间点或可数的时间点上由随 机事件驱动的系统 • 由异步、突发的事件驱动状态演化 – 行为：用其演化过程的 用其演化过程的状态序列和事件序列来刻画 • 变迁系统（ transition system ） – 状态：通常只取有限个离散值 – 迁移：系统状态的变化在一个时间点上瞬间完成 • 有标记，无标记 • 离散事件系统、离散事件动态系统 – 事件->动作->状态 2/112