论文部分内容阅读
PLC(Programmable Logic Controller)被广泛地应用于工业控制领域,随着问题规模的增大,控制复杂性的增加,传统的 PLC编程方法不适应控制规模的增大以及对控制严格性要求,而且编程效率也比较低。Petri网是一种适合描述并发、异步、分布式系统的工具,在制造和控制系统建模分析中得到广泛应用。信号解释 Petri网(SIPN,Signal Interpreted Petri Net)是在普通Petri网的基础上扩展加入输入信号和输出信号,输入信号与变迁关联,是变迁发生的条件,输出信号与每个位置关联,表示在该位置系统的输出控制信息。本文基于SIPN,对控制系统建模分析,并基于XML(eXtensible Markup Language)设计了SIPN的Schema文件,然后根据该Schema文件将SIPN模型转化为XML格式的文件,利用Java语言的DOM(Document Object Model)和SAX(Simple API for XML)接口对这个文件进行解析,提取出SIPN模型的关键信息,分析了对模型进行验证的方法,最后研究了由该模型到控制系统 PLC程序的转换算法。 本文主要进行了以下几方面的研究:(1)归纳了利用SIPN对PLC控制系统进行建模的一般方法;(2)基于XML设计了SIPN的Schema文件,从而可以把SIPN模型转化为XML格式的文档,实现了SIPN模型的计算机表示;(3)通过Java语言的DOM,SAX接口解析SIPN模型的XML文档,提取出模型的关键信息,为开发处理模型的应用程序提供一个接口;(4)分析了SIPN模型的验证方法,研究了SIPN模型到PLC程序的转化算法;(5)利用Java语言开发了一个能够解析符合本文Sehema定义的XML文档的工具,实现了SIPN模型信息的自动提取,以实例说明上述方法的实用性和有效性。