运用Petri网基本知识,针对电厂凝结泵联锁问题,提出了该系统的抽象模型,通过对模型分析,提出了改进的联锁逻辑,并验证了该方法的可行性。 Based on the basic knowledge of Petri net, an abstract model of the system is proposed to solve the interlock problem of condensate pump in power plants. By analyzing the model, an improved interlocking logic is proposed and the feasibility of the method is verified.