典型文献
一种Petri网最优控制序列的高效设计方法
文献摘要：
提出了 一种基于基本标识分析的Petri网最优控制序列设计算法,根据给定的源标识和目标标识集合,生成一个成本最低的控制序列,使得源标识在执行该控制序列后到达指定的目标标识集合.该算法在Petri网的基本标识空间进行Dijkstra搜索,在减少无望分支的同时将搜索范围缩小为可达集的一个较小子集,从而很大程度上缓解了状态爆炸问题.由于搜索过程中全图未知,结点将随着计算动态增加.笔者给出了该算法的最优性证明,证明该算法每次迭代所选取的松弛结点与全局Dijkstra搜索保持一致,故最终得到的最优序列相同.进一步地提出了一种变迁选取规则,通过选择符合特定要求的显式变迁集合,将目标集合隐式可达性的判定问题转换为一个简单代数不等式的逻辑判定,使得无须求解整数规划即可快速确定目标集合的隐式可达性.实验结果表明,与基于整数规划的方法相比,该方法具有在线计算量小、求解速度快的优点,适用于受控系统需要对控制需求作出快速响应的场合.
文献关键词：
Petri网;Dijkstra搜索算法;基本标识;控制序列;调度;最优控制
中图分类号：
作者姓名：
邹岷强;马子玥
作者机构：
西安电子科技大学机电工程学院,陕西西安710071
文献出处：
引用格式：
[1]邹岷强;马子玥-.一种Petri网最优控制序列的高效设计方法)[J].西安电子科技大学学报（自然科学版）,2022(03):199-205
A类：
B类：
Petri,最优控制,控制序列,高效设计,基本标识,序列设计,计算法,成本最低,Dijkstra,无望,搜索范围,可达集,小子,子集,结点,点将,最优性,松弛,保持一致,最优序列,选择符,显式,隐式,可达性,问题转换,代数不等式,无须,整数规划,在线计算,计算量,受控系统,快速响应,搜索算法
AB值：
0.399396
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
