SpecCTMC 的接受-校正程序类似 Metropolis-Hastings 的接受准则，将单令牌准则推广到连续时间、多令牌并行的场景。