基于SIPN的PLC通用编程器

针对PLC编程器的缺陷,建立PLC通用编程器抽象模型,采用中间格式代码和配置文件链接生成可下载的PLC程序.利用信号解释Petri网对控制系统模型进行规格并将其转换成中间格式代码.抽象出不同机型PLC系统的特性信息,生成统一模式的XML类型配置文件.根据机型选择,通过PLC通用处理器提取相应配置文件,与中间格式代码链接,重组代码并生成与机型适配的可执行程序.