当前位置：首页 > 科技成果 > 详细页

[01900203]一种将可编程逻辑控制器程序转换为普通Petri网的方法

交易价格： 面议

所属行业： 控制系统

类型： 发明专利

技术成熟度： 正在研发

专利所属地：中国

专利号：CN201110248322.4

交易方式： 技术转让

联系人：

所在地：

登录后向技术服务商咨询

技术详细介绍

本发明一种将可编程逻辑控制器程序转换为普通Petri网的方法，针对PLC梯形图程序，将梯形图触点和线圈模拟为结点，将导线模拟为有向边，建立梯形图程序的PLC有向图模型，定义该有向图中的路径，根据路径关系，将PLC有向图转换为Petri网。

本发明实现PLC梯形图程序到普通Petri网模型的自动转换，由于普通Petri网激发条件简洁，逻辑思维方式简单，更直观易懂，而且所得Petri网模型能够完全模拟PLC控制系统的动态行为，更便于对PLC程序分析、纠错，使PLC程序逻辑更为严谨。