快速、可靠的容灾切换控制是实现高等级容灾的基本保证,同时也是容灾系统实现上的一个难点。Petri机制作为一种描述基于实时状态的并发控制模型,已经在多个领域得到了广泛应用,但在国内电信行业的应用尚属空白。基于其图形建模的直观性和分析理论的严谨性,Petri网能够很好地表达和验证容灾切换过程中多个系统间复杂的控制逻辑。通过将Petri网原理和Petri机制中间件首次成功引入中国电信的信息系统,改变了以往以手工操作为主的容灾切换模式,将计费系统应用级容灾的灾难恢复时间指标(RTO)提高了一个数量级,实