%0 Journal Article
%T 基于普通petri网的梯形图中接通延时定时器的建模方法
%A 温世刚？
%A 罗继亮？
%A 倪会娟？
%A 陈雪琨？
%J 计算机科学
%D 2014
%R 10.11896/j.issn.1002-137X.2014.07.031
%X 针对可编程逻辑控制器(plc)的接通延时定时器(ton),提出了其普通petri网建模方法。将状态变量描述为库所对,将ton中的指令运算描述为变迁,从而将ton模块描述为一个普通petri网结构。结果表明该petri网能够准确地描述ton的动态行为,从而为plc梯形图程序的形式化设计或验证提供了建模方法。
%K 可编程逻辑控制器
%K petri网
%K 梯形图
%K 接通延时定时器中图法分类号tp273文献标识码a
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20140731&flag=1