科研之友
微信
新浪微博
Facebook
分享链接
摘要
本发明属于自动制造系统技术领域,公开了一种基于析取型广义互斥约束Petri网控制器简化及设计方法,所述基于析取型广义互斥约束Petri网控制器的简化设计方法包括以下步骤：通过对低维度不等式:初次简化约束不等式；利用分区方式实现对高维约束不等式的等价分解,给出对应的算法；利用简化后的不等式对控制器进行设计。本发明复杂度降低体现在析取型规范中各约束不等式简化后的组合形式发生了变化、连接弧减少以及添加库所的数目减少。本发明应用Petri网作为数学工具,应用低维度逻辑函数卡诺图简化以及高维分区简化算法后,继续对原网系统进行控制,对于disjunctive类型约束不等式,设计的控制器复杂度大大降低。
- 单位
