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

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