| 引用本文: | 李大成,罗继亮,孙莎莎,聂维余,方慧娟.可编程逻辑控制器的平行Petri网设计与实现方法[J].控制理论与应用,2020,37(12):2611~2617.[点击复制] |
| LI Da-cheng,LUO Ji-liang,SUN Sha-sha,NIE Wei-yu,FANG Hui-juan.Methods on synthesis and implementation of programmable logical controllers via parallel Petri nets[J].Control Theory and Technology,2020,37(12):2611~2617.[点击复制] |
|
| 可编程逻辑控制器的平行Petri网设计与实现方法 |
| Methods on synthesis and implementation of programmable logical controllers via parallel Petri nets |
| 摘要点击 2081 全文点击 1102 投稿时间：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) |
|
| 中文摘要 |
| 为了实现可编程逻辑控制器(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. |
|
|
|
|
|