公开(公告)号：CN103488116A

公开(公告)日：2014-01-01

申请号：CN201310351008.8

申请日：2013-08-13

Applicant: 华侨大学

Inventor： 罗继亮 ,  温世刚 ,  倪会娟

IPC: G05B19/05

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

公开(公告)号：CN103488116B

公开(公告)日：2016-05-18

申请号：CN201310351008.8

申请日：2013-08-13

Applicant: 华侨大学

Inventor： 罗继亮 ,  温世刚 ,  倪会娟

IPC: G05B19/05

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

公开(公告)号：CN103699048B

公开(公告)日：2016-08-17

申请号：CN201310655001.5

申请日：2013-12-06

Applicant: 华侨大学

Inventor： 罗继亮 ,  黄颖坤 ,  陈珑 ,  温世刚

IPC: G05B19/05

Abstract: 本发明一种将PLC的加计数器转换为顺序Petri网模型的方法，依据IEC61131?3定义的加计数器（CTU）构建顺序Petri网模型，分别用库所来模拟端口，用变迁模拟端口状态的变化情况，以及根据加计数器的执行规则，用变迁模拟内部执行情况；增加顺序控制库所，控制先激发输入端、复位端的变迁，完成输入采样；然后控制执行加计数器内部执行变迁激发，完成执行周期，最后控制输出（Q）的变迁激发，完成输出周期；通过增加顺序控制库所，使得构建的Petri网模型符合PLC循环扫描的工作方式；本发明所构建的Petri网模型能够模拟加计数器的执行过程，可以用软件动态模拟其执行过程，从而可利用计算机来完成程序仿真和验证工作。

公开(公告)号：CN103699048A

公开(公告)日：2014-04-02

申请号：CN201310655001.5

申请日：2013-12-06

Applicant: 华侨大学

Inventor： 罗继亮 ,  黄颖坤 ,  陈珑 ,  温世刚

IPC: G05B19/05

Abstract: 本发明一种将PLC的加计数器转换为顺序Petri网模型的方法，依据IEC61131-3定义的加计数器（CTU）构建顺序Petri网模型，分别用库所来模拟端口，用变迁模拟端口状态的变化情况，以及根据加计数器的执行规则，用变迁模拟内部执行情况；增加顺序控制库所，控制先激发输入端、复位端的变迁，完成输入采样；然后控制执行加计数器内部执行变迁激发，完成执行周期，最后控制输出（Q）的变迁激发，完成输出周期；通过增加顺序控制库所，使得构建的Petri网模型符合PLC循环扫描的工作方式；本发明所构建的Petri网模型能够模拟加计数器的执行过程，可以用软件动态模拟其执行过程，从而可利用计算机来完成程序仿真和验证工作。