【摘要】为了满足高温气冷堆核电站计算机化规程流程验证的需要,针对高温气冷堆核电站"多个核蒸汽供应系统模块带一台汽轮机"的结构和运行特点,该文利用改进的着色Petri网建模方法,建立了常规规程执行流程模型和有中断的变体规程执行流程模型,并基于模型对计算机化规程执行进行了形式化验证。对一个典型的高温气冷堆核电站异常事件处理规程的案例进行分析,结果表明:基于改进着色Petri网的规程建模和验证方法有效,为高温气冷堆核电站计算机化运行规程系统的研制提供了重要的理论依据。