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

基于普通Petri 网的梯形图中接通延时定时器的建模 方法1 温世刚，罗继亮，倪会娟，陈雪琨 （华侨大学 信息科学与工程学院，福建 厦门 361021） 摘要 针对可编程逻辑控制器（PLC ）的接通延时定时器(TON) ，提出了其普通 Petri 网建模方法，将状态 变量描述为库所对，将TON 中的指令运算描述为变迁，从而将TON 模块描述为一个普通Petri 网结构。结 果表明该Petri 网能够准确地描述TON 的动态行为，从而为PLC 梯形图程序的形式化设计或验证提供了建 模方法。 关键字 可编程逻辑控制器，Petri 网，梯形图，接通延时定时器 Method for Modeling on-delay Timers in Ladder Diagrams Based on Ordinary Petri Nets WEN Shi-gang，LUO Ji-liang，NI Hui-juan ，CHEN Xue-kun （College of Information Science and Engineering, Huaqiao University, Xiamen Fujian 361021, China ） Abstract The method is proposed for modeling an on-delay timer (TON) of programmable logic controller (PLC) as an ordinary Petri net. A Boolean variable is represented by a pair of places, while an instruction to be executed in PLC is represented by a transition. Consequently, a TON is modeled by an ordinary Petri net. The results show that the behavior of a PLC system can be represented by the states of its Petri net model. Evidently, this method can be used for the formal design and verification of PLC programs. Keywords Programmable logic controller (PLC) ，Petri nets ，Ladder diagram ，On-delay timer (TON) 1本文受国家自然科学基金，工业控制技术国家重点实验室开放课题(ICT1317), 福建省高等学校新世纪优秀人才支持 计划 （11FJRC01），福建省高校杰出青年科研人才培育计划 （JA10004 ），中央高校基本科研业务费专项基金 （JB-SJ1006 ）资 助. 通信作者：罗继亮（1977-），男，河南安阳人，副教授，从事离散事件系统和程序验证科研工作.第一作者: 温世刚（1987-）， 男，山西山阴人，硕士，从事可编程逻辑控制器的验证的研究，E-mail:7079409@163.com. 1.引言 语义比较简单，容易理解和分析，而且更清楚的描述了 TON 的工作原理。与文献[7]相比，本文考虑了定时器 [1] 梯形图 是可编程逻辑控制器(PLC)最为常用的 的建模，应用范围更广一些。并且文中还设计了梯形图 设计语言，梯形图的执行过程类似继电器电路，便于电 模型的封装模块，这样应用起来更加方便。结果，可以 气工程师接受。但是梯形图无法图形化地描述复杂控制 通过Petri 网理论去分析和模