可编程逻辑控制器的平行Petri网设计与实现方法
Methods on synthesis and implementation of programmable logical controllers via parallel Petri nets
摘要点击 456  全文点击 43  投稿时间:2020-03-28  修订日期:2020-06-05
查看全文  查看/发表评论  下载PDF阅读器
DOI编号  10.7641/CTA.2020.00169
  2020,37(12):2611-2617
中文关键词  平行Petri网  可编程逻辑控制器  TwinCAT
英文关键词  parallel Petri nets  programmable logic controllers  TwinCAT
基金项目  国家自然科学基金(61973130),基于线性约束和启发式搜索的Petri网调度与控制一体化方法;福建省自然科学基金项目(2017J01117)
作者单位E-mail
李大成 华侨大学 lidacheng@stu.hqu.edu.cn 
罗继亮 华侨大学 jlluo@hqu.edu.cn 
孙莎莎 华侨大学  
聂维余 华侨大学  
方慧娟 华侨大学  
中文摘要
      为了实现可编程逻辑控制器(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.