Timed Bisimulation over Timed Symbolic Transition Graph

• 时间符号迁移图及其互模拟判定