微机保护动作逻辑建模与动态分析

针对目前保护逻辑图绘制软件只有显示作用而没有微机保护所需的逻辑动作透明化分析功能的不足，在混杂系统概念的基础上，建立了新的基于可编程赋时Petri网（PTPN）的继电保护动作逻辑准混杂模型。扩展了基于赋时Petri网和矢量图元的保护逻辑元件库及逻辑分析模块，开发了图形化保护逻辑分析平台，可应用于保护动作过程回放和保护逻辑程序的调试，满足动态显示和保护逻辑分析等要求。以距离保护中振荡闭锁开放判据为例，验证了该模型的正确性和可靠性