公开(公告)号：CN103019233A

公开(公告)日：2013-04-03

申请号：CN201210564793.0

申请日：2012-12-21

申请人： 华侨大学

发明人： 齐鹏飞 ,  罗继亮 ,  陈雪琨

IPC分类号： G05B23/02 ,  G05B19/05

摘要： 本发明一种检测PLC梯形图程序中是否存在竞态的方法，通过计算普通Petri网的可达图来确定待检测程序中是否存在竞态，不仅可以一次性完成检测工作，而且可以让程序员清晰、直观地从可达图中直接发现程序中隐含的逻辑错误，同时检测的每个步骤都可以由计算机完成，所以在效率上也更加突出，并达到自动化的标准。

公开(公告)号：CN102411330A

公开(公告)日：2012-04-11

申请号：CN201110248322.4

申请日：2011-08-25

申请人： 华侨大学

发明人： 罗继亮 ,  陈雪琨 ,  齐鹏飞

IPC分类号： G05B19/05

摘要： 本发明一种将可编程逻辑控制器程序转换为普通Petri网的方法，针对PLC梯形图程序，将梯形图触点和线圈模拟为结点，将导线模拟为有向边，建立梯形图程序的PLC有向图模型，定义该有向图中的路径，根据路径关系，将PLC有向图转换为Petri网；本发明实现PLC梯形图程序到普通Petri网模型的自动转换，由于普通Petri网激发条件简洁，逻辑思维方式简单，更直观易懂，而且所得Petri网模型能够完全模拟PLC控制系统的动态行为，更便于对PLC程序分析、纠错，使PLC程序逻辑更为严谨。

公开(公告)号：CN103019233B

公开(公告)日：2015-04-15

申请号：CN201210564793.0

申请日：2012-12-21

申请人： 华侨大学

发明人： 罗继亮 ,  齐鹏飞 ,  陈雪琨

IPC分类号： G05B23/02 ,  G05B19/05

摘要： 本发明一种检测PLC梯形图程序中是否存在竞态的方法，通过计算普通Petri网的可达图来确定待检测程序中是否存在竞态，不仅可以一次性完成检测工作，而且可以让程序员清晰、直观地从可达图中直接发现程序中隐含的逻辑错误，同时检测的每个步骤都可以由计算机完成，所以在效率上也更加突出，并达到自动化的标准。

公开(公告)号：CN103092753B

公开(公告)日：2015-08-26

申请号：CN201210589803.6

申请日：2012-12-29

申请人： 华侨大学

发明人： 罗继亮 ,  齐鹏飞 ,  陈雪琨

IPC分类号： G06F11/36

摘要： 本发明一种将PLC指令表程序转换成普通Petri网的方法，实现了从PLC指令表程序到普通Petri网的自动转换，由于普通Petri网激发条件简洁，逻辑思维方式简单，更直观易懂，而且所得Petri网能够完全模拟PLC控制系统的动态行为，便于对PLC程序分析、纠错，提高其可靠性。

公开(公告)号：CN102411330B

公开(公告)日：2014-03-12

申请号：CN201110248322.4

申请日：2011-08-25

申请人： 华侨大学

发明人： 罗继亮 ,  陈雪琨 ,  齐鹏飞

IPC分类号： G05B19/05

摘要： 本发明一种将可编程逻辑控制器程序转换为普通Petri网的方法，针对PLC梯形图程序，将梯形图触点和线圈模拟为结点，将导线模拟为有向边，建立梯形图程序的PLC有向图模型，定义该有向图中的路径，根据路径关系，将PLC有向图转换为Petri网；本发明实现PLC梯形图程序到普通Petri网模型的自动转换，由于普通Petri网激发条件简洁，逻辑思维方式简单，更直观易懂，而且所得Petri网模型能够完全模拟PLC控制系统的动态行为，更便于对PLC程序分析、纠错，使PLC程序逻辑更为严谨。

公开(公告)号：CN103092753A

公开(公告)日：2013-05-08

申请号：CN201210589803.6

申请日：2012-12-29

申请人： 华侨大学

发明人： 齐鹏飞 ,  罗继亮 ,  陈雪琨

IPC分类号： G06F11/36

摘要： 本发明一种将PLC指令表程序转换成普通Petri网的方法，实现了从PLC指令表程序到普通Petri网的自动转换，由于普通Petri网激发条件简洁，逻辑思维方式简单，更直观易懂，而且所得Petri网能够完全模拟PLC控制系统的动态行为，便于对PLC程序分析、纠错，提高其可靠性。