| 基于普通Petri网的梯形图中接通延时定时器的建模方法 |
| |
| 引用本文： | 温世刚,罗继亮,倪会娟,陈雪琨.基于普通Petri网的梯形图中接通延时定时器的建模方法[J].计算机科学,2014,41(7):153-156. |
| |
| 作者姓名： | 温世刚 罗继亮 倪会娟 陈雪琨 |
| |
| 作者单位： | 华侨大学信息科学与工程学院 厦门361021;华侨大学信息科学与工程学院 厦门361021;华侨大学信息科学与工程学院 厦门361021;华侨大学信息科学与工程学院 厦门361021 |
| |
| 基金项目： | 本文受国家自然科学基金(61203040),工业控制技术国家重点实验室开放课题(ICT1317), 福建省高等学校新世纪优秀人才支持计划(11FJRC01),福建省高校杰出青年科研人才培育计划(JA10004),中央高校基本科研业务费专项基金(JB-SJ1006)资助 |
| |
| 摘 要： | 针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。
|
| 关 键 词： | 可编程逻辑控制器 Petri网 梯形图 接通延时定时器 |
| 收稿时间： | 4/5/2013 12:00:00 AM |
| 修稿时间： | 2013/5/18 0:00:00 |
Method for Modeling On-delay Timers in Ladder Diagrams Based on Ordinary Petri Nets |
| |
| WEN Shi-gang,LUO Ji-liang,NI Hui-juan and CHEN Xue-kun.Method for Modeling On-delay Timers in Ladder Diagrams Based on Ordinary Petri Nets[J].Computer Science,2014,41(7):153-156. |
| |
| Authors: | WEN Shi-gang LUO Ji-liang NI Hui-juan and CHEN Xue-kun |
| |
| Affiliation: | College of Information Science and Engineering,Huaqiao University,Xiamen 361021,China;College of Information Science and Engineering,Huaqiao University,Xiamen 361021,China;College of Information Science and Engineering,Huaqiao University,Xiamen 361021,China;College of Information Science and Engineering,Huaqiao University,Xiamen 361021,China |
| |
| Abstract: | |
| |
| Keywords: | Programmable logic controller(PLC) Petri nets Ladder diagram On-delay timer(TON) |
| 本文献已被 CNKI 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
