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

摘要：

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

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

所属期刊栏目：41

分类号：TP273(自动化技术及设备)

资助基金：国家自然科学基金61203040;工业控制技术国家重点实验室开放课题ICT1317;福建省高等学校新世纪优秀人才支持计划11FJRC01;福建省高校杰出青年科研人才培育计划JA10004;中央高校基本科研业务费专项基金JB-SJ1006

在线出版日期：2014-09-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：153-156