计算机科学 ›› 2014, Vol. 41 ›› Issue (7): 153-156.doi: 10.11896/j.issn.1002-137X.2014.07.031
温世刚,罗继亮,倪会娟,陈雪琨
WEN Shi-gang,LUO Ji-liang,NI Hui-juan and CHEN Xue-kun
摘要: 针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。
[1] IEC.International Standard1131-3,Programmable controllers,part 3:programming languages[S].IEC Publication,1993 [2] Venkatesh K,Zhou Meng-chu,Caudill R J.Comparing Ladder Logic Diagrams and Petri Nets for Sequence Controller Design Through a Discrete Manufacturing Systems [J].IEEE Transactions on Industrial Electronics,1994,41(6):611-619 [3] 韩赞东,刘继国,罗晟.基于控制Petri网的高温气冷堆燃料装卸过程控制系统设计方法[J].核动力工程, 2008,9(1):14-18 [4] Suesut T,Inban P,Nilas P,et al.Interpretation Petri Net model to IEC 1131-3:LD for Programmable Logic Controller[C]∥Proceedings of IEEE Conference on Robotics,Automation and Mechatronics.Singapore,2004:1107-1111 [5] Wightkin N,Buy U,Darabi H.Formal Modeling of Sequential Function Charts with Time Petri Nets [J].IEEE Transactions on Control Systems Technology,2010,19(2):455-464 [6] Tsai Jui-i,Teng Ching-cheng.Constructing an Model for Ladder Diagram Diagnosis Using Petri Nets[J].Asian Journal of Control,2010,2(3):309-322 [7] Chen Xue-kun,Luo Ji-liang,Qi Peng-fei.Method for Translating Ladder Diagrams to Ordinary Petri Nets [C]∥51st IEEE Conference on Decision and Control.Maui,Hawaii,USA,2012:6716-6721 [8] 秦绪平,张万忠.西门子S7系列可编程控制器应用技术[M].北京:化学工业出版社,2011:42-44 [9] Luo Ji-liang,Nonami K.Approach for Transforming LinearConstraints on Petri Nets[J].IEEE Transactions on Automatic Control,2011,6(11):2751-2765 [10] 罗继亮.Petri网的一类禁止状态问题的混合型监控器算法设计[J].计算机学报,2008,1(2):291-298 [11] David R,Alia H.Discrete,Continuous and Hybrid Petri Nets[M].Germany:Springer,2005:24-40 [12] 罗继亮,陈雪琨,齐鹏飞,等.间歇式化工形式化建模与顺序控制器设计[J].上海交通大学学报,2012,6(12):1896-1900 |
No related articles found! |
|