Peterson算法