污水生化处理过程机理复杂,具有强耦合性、非线性、时变性等特征,建模控制过程比较复杂。针对SBR处理工艺过程,提出采用信号解释Petri对SBR污水处理进行建模与控制,对系统活性、可逆性、终止性、决定性和输入依赖性进行验证,并对设计后系统的模型进行评价。分析结果表明,采用信号解释Petri对SBR污水处理进行建模与控制形式正确、有效。最后提出用PLC实现污水处理系统的设计、分析、仿真和代码产生。