一种将PLC定时器模块转换成普通Petri网的方法

摘要

本发明一种将PLC定时器模块转换成普通Petri网的方法，实现了从定时器模块到普通Petri网模型的自动转换，所得Petri网模型能够准确描述PLC定时器的动态行为。因此，通过本发明可以利用Petri网来实现PLC程序分析和纠错，并且借助网结构和Petri网分析理论研发高效率的程序验证方法，使得大型PLC系统的分析和验证成为可能。

主权项

一种将PLC定时器模块转换成普通Petri网的方法，其特征在于主要包括如下三部分：第一部分、对定时器输入、复位部分进行转换：确定定时器输入路径条数、输入路径上的触点个数以及它们的状态，以及最小输入割集条数；确定定时器复位路径条数、复位路径上触点个数以及它们的状态、以及最小复位割集条数；将定时器输入路径上的触点和定时器复位路径上的触点均模拟为库所，一个触点模拟为一对真假库所；将库所的状态改变过程模拟为变迁，并在库所与相应的变迁之间添加有向弧；设计三个库所分别表示定时器输入端与左母线的接通、断开和从接通到断开的切换状态(或从断开到接通的切换状态)；设计两个库所分别表示定时器复位端与左母线的接通和断开状态；将定时器输入路径、最小输入割集、定时器复位路径、最小复位割集模拟为变迁，并与相应的库所之间添加有向弧；第二部分、对定时器内部结构部分进行转换：根据PLC定时器工作原理，将定时器内部结构中当前值寄存器ET抽象为开关量。将抽象为开关量的当前值寄存器ET模拟为库所，用两对库所表示；将库所的状态改变过程模拟为变迁，并在库所与相应的变迁之间 添加有向弧；第三部分、对定时器输出部分进行转换：确定与定时器输出端相连接的线圈个数；确定与定时器输出端相连接的线圈是普通线圈、置位线圈、复位线圈或取反线圈中的一种或多种；将每个线圈模拟为一对库所，分别对应线圈的闭合状态和断开状态；将库所的状态改变过程模拟为变迁，并在库所与相应的变迁之间添加有向弧；最后，根据PLC定时器工作原理，将上面三部分所建立的Petri网模型通过有向弧连接起来，合成并输出一个完整的Petri网模型。