国内刊号:44-1240/TP
国际刊号:1000-8152
发布日期:
作者:李大成,罗继亮,孙莎莎,聂维余,方慧娟
单位:华侨大学,华侨大学,华侨大学,华侨大学,华侨大学
关键词:平行Petri网; 可编程逻辑控制器; TwinCAT
基金:国家自然科学基金(61973130),基于线性约束和启发式搜索的Petri网调度与控制一体化方法;福建省自然科学基金项目(2017J01117)
为了实现可编程逻辑控制器(PLC)的形式化设计, 定义了一种可以感知和执行的新型Petri网, 称为平行Petri网. 将输入输出变量映射到库所结点上, 描述了PLC的Petri网模型的一般设计方法, 进而给出了其动态演化算法. 通过C语言和TwinCAT联合编程, 使得Petri网与被控物理对象平行演化, 实现了Petri网对物理过程的平行感知和控制,并完成了实验验证. 该方法可以缩短控制代码的开发周期, 简化程序复用的复杂性, 为平行系统在PLC工程中的应用提供了有效工具.
来源:2020年第12期
《控制理论与应用》期刊编辑部