公开(公告)号：CN104615071A

公开(公告)日：2015-05-13

申请号：CN201510008783.2

申请日：2015-01-08

Applicant: 华侨大学

Inventor： 宴来成 ,  陈珑 ,  倪会娟 ,  邵辉 ,  罗继亮

IPC: G05B19/05

CPC classification number: Y02P90/265 ,  G05B19/056 ,  G05B2219/13004

Abstract: 本发明的基于Petri网的自动化立体仓库系统的PLC程序设计方法，包括如下部分:1)建立自动化仓库系统出库流程的对象Petri网模型；2)建立自动化仓库系统的闭合Petri网模型；3)将闭合Petri网模型转换为PLC梯形图程序。与扩展Petri网相比，普通Petri网语义较为简单、激发条件简洁，网模型更直观易懂，且易于分析，具有普遍适用性和成熟的分析工具、理论基础。

公开(公告)号：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系统的分析和验证成为可能。