典型文献
一种Petri网禁止状态控制器综合方法
文献摘要：
针对含有不可控变迁Petri网的禁止状态问题,提出了一种基于整数线性规划的控制器综合方法,该方法适用于任意普通Petri网模型.首先,根据Petri网的结构特性构建所有不可控变迁应满足的约束条件集合,其次通过求解整数线性规划问题将给定的线性约束转换为允许线性约束;最后,利用库所不变量方法设计控制器将转换后的约束综合到Petri网中.以某零件加工系统为例进行实验,实验结果表明,提出的方法简单高效,对实际自动制造系统的禁止状态监控问题具有一定借鉴意义.
文献关键词：
Petri网;禁止状态;约束转换;自动制造系统
中图分类号：
作者姓名：
郝真鸣;雷帅帅;刘军堂;郝晋渊
作者机构：
河北大学电子信息工程学院 保定071002;河北大学物联网智能技术研究中心 保定071002;河北大学-中央兰开夏传媒与创意学院 保定 071002;河北大学节能技术研发中心 保定 071002
文献出处：
引用格式：
[1]郝真鸣;雷帅帅;刘军堂;郝晋渊-.一种Petri网禁止状态控制器综合方法)[J].电子测量与仪器学报,2022(01):180-187
A类：
禁止状态,自动制造系统
B类：
Petri,状态控制,综合方法,控变,整数线性规划,结构特性,建所,规划问题,线性约束,约束转换,不变量,方法设计,合到,零件加工,加工系统,状态监控
AB值：
0.269629
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
