基于普通Petri网的梯形图中接通延时定时器的建模方法

摘要：

针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法,将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构.结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法.

关键词： 可编程逻辑控制器 接通延时定时器 Petri网 梯形图 建模方法

作者: 温世刚 罗继亮 倪会娟 陈雪琨

作者单位: 华侨大学 信息科学与工程学院,福建 厦门 361021

会议类型: 国内会议

会议名称: 第十四届全国Petri 网理论与应用学术年会

会议地点: 西安

会议语种:中文

页码: 1-6

在线出版日期: 2013-08-23（万方平台首次上网日期，不代表论文的发表时间）