可编程逻辑控制器的平行Petri网设计与实现方法  

Methods on synthesis and implementation of programmable logical controllers via parallel Petri nets

作　　者：李大成 罗继亮[1,2] 孙莎莎 聂维余 方慧娟 LI Da-cheng;LUO Ji-liang;SUN Sha-sha;NIE Wei-yu;FANG Hui-juan(College of Information Science and Engineering,Huaqiao University,Xiamen Fujian 361021,China;Fujian Engineering Research Center of Motor Control and System Optimal Schedule,Xiamen Fujian 361021,China)

机构地区：[1]华侨大学信息科学与工程学院,福建厦门361021 [2]福建省电机控制与系统优化调度工程技术研究中心,福建厦门361021

出　　处：《控制理论与应用》2020年第12期2611-2617,共7页Control Theory & Applications

基　　金：国家自然科学基金项目(61973130);福建省自然科学基金项目(2017J01117)资助。

摘　　要：为了实现可编程逻辑控制器(PLC)的形式化设计,定义了一种可以感知和执行的新型Petri网,称为平行Petri网.将输入输出变量映射到库所结点上,描述了PLC的Petri网模型的一般设计方法,进而给出了其动态演化算法.通过C语言和TwinCAT联合编程,使得Petri网与被控物理对象平行演化,实现了Petri网对物理过程的平行感知和控制,并完成了实验验证.该方法可以缩短控制代码的开发周期,简化程序复用的复杂性,为平行系统在PLC工程中的应用提供了有效工具.In order to realize the formal design of programmable logic controllers(PLC),a novel type of Petri nets that can perform perceptions and executions is defined,which is called a parallel Petri net.By mapping input and output variables to place nodes,a general approach is presented to design a PLC's Petri net,and a dynamic evolution algorithm is established.By programs designed in C language and TwinCAT,the Petri net can parallelly evolve with a plant to be controlled,and consequently ensures the control specifications.The method provided in this work could serve as an effective tool for applications of parallel systems in PLC projects.Consequently,development cycles of control code can be shortened and it is eased to the reuse PLC programs.

关 键 词：平行Petri网 可编程逻辑控制器 TWINCAT 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置] TP301.1[自动化与计算机技术—控制科学与工程]