可编程逻辑控制器的平行Petri网设计与实现方法OA北大核心CSCDCSTPCD
Methods on synthesis and implementation of programmable logical controllers via parallel Petri nets
为了实现可编程逻辑控制器(PLC)的形式化设计,定义了一种可以感知和执行的新型Petri网,称为平行Petri网.将输入输出变量映射到库所结点上,描述了PLC的Petri网模型的一般设计方法,进而给出了其动态演化算法.通过C语言和TwinCAT联合编程,使得Petri网与被控物理对象平行演化,实现了Petri网对物理过程的平行感知和控制,并完成了实验验证.该方法可以缩短控制代码的开发周期,简化程序复用的复杂性,为平行系统在PLC工程中的应用提供了有效工具.
李大成;罗继亮;孙莎莎;聂维余;方慧娟
华侨大学信息科学与工程学院,福建厦门361021华侨大学信息科学与工程学院,福建厦门361021华侨大学信息科学与工程学院,福建厦门361021华侨大学信息科学与工程学院,福建厦门361021华侨大学信息科学与工程学院,福建厦门361021
平行Petri网可编程逻辑控制器TwinCAT
《控制理论与应用》 2020 (12)
基于线性约束和启发式搜索的Petri网调度与控制一体化方法
2611-2617,7
国家自然科学基金项目(61973130),福建省自然科学基金项目(2017J01117)资助.
评论