论文部分内容阅读
分析PLC在解决复杂控制问题时的难题,介绍信号解释Petri网(Signal Interpreter Petri Net,SIPN),用SIPN对一个PLC控制系统进行建模,并用SIPN工具(SIPN Editor)对这个模型进行可视化分析.最后根据这个模型,采用模块化方法,提出自动生成PLC的IL程序的方法.