首页> 中文会议>第十四届全国Petri 网理论与应用学术年会 >基于普通Petri网的梯形图中接通延时定时器的建模方法

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《第十四届全国Petri 网理论与应用学术年会》|2013年|1-6|共6页
会议地点西安
作者
WEN Shi-gang; 温世刚; LUO Ji-liang; 罗继亮; NI Hui-juan; 倪会娟; CHEN Xue-kun; 陈雪琨;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TM571.61;
关键词
可编程逻辑控制器; 接通延时定时器; Petri网; 梯形图; 建模方法;

相似文献

中文文献
外文文献
专利

1. 基于普通Petri网的梯形图中接通延时定时器的建模方法 [J] . 温世刚 ,罗继亮 ,倪会娟 . 计算机科学 . 2014,第007期
2. 基于遗传算法和延时Petri网的柔性装配系统的设备调度方法 [J] . 刘维来 ,孔凡让 ,刘志刚 . 计算机集成制造系统 . 2006,第008期
3. 基于带抑止弧Petri网的PLC梯形图设计方法 [J] . 林惠标 ,焦志刚 . 机电工程技术 . 2011,第004期
4. 远程UUV指挥控制流程分层Petri网建模及延时分析 [J] . 刘海光 ,张源原 ,李厚全 . 舰船科学技术 . 2017,第004期
5. 基于Petri网的产品设计功能建模方法研究 [J] . 张静 ,常宁 ,杨杨 . 机械研究与应用 . 2021,第002期
6. 基于随机Petri网的控制网络延时算法 [C] . 由育阳 ,由俊生 ,由勇 . 中国航空学会飞行器控制与操纵第十一次学术交流会 . 2005
7. 基于Petri网的梯形图程序建模以及验证方法研究 [A] . 温世刚 . 2014

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

摘要

著录项

相似文献

相关主题

期刊订阅