一种基于赋时Petri网和ZBDD的装配序列规划方法

• 作者: 古天龙 常亮 徐周波 李凤英
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 赋时Petri网 装配序列规划 零压缩二叉决策图
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 软件工程
• 页码范围: 170-174
• 分类号: TP391.9
• 字数: 5048字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.02.039

摘要

赋时Petri网为装配序列规划提供了有效的建模方法,但其在求解最优装配序列时受到组合复杂性的严重制约.零压缩二叉决策图( ZBDD)是处理大规模组合集合和0-1稀疏向量的一种有效符号技术,能够有效缓解组合爆炸问题.将赋时Petri网与ZBDD结合起来,给出了一种求解装配序列最优解的有效方法.首先通过转换算法将赋时Petri网转换为等价的普通Petri网,接下来给出普通Petri网可达状态及迁移引发函数的ZBDD表示方法,最后基于ZBDD给出最优装配序列求解算法.实例验证表明,该算法在求解过程中通过隐式符号操作实现了Petri网的可达状态搜索,有效缓解了计算过程中的组合复杂性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子科技大学计算机科学与工程学院	207	1546	18.0	30.0
2	常亮	桂林电子科技大学计算机科学与工程学院	77	450	12.0	17.0
3	李凤英	西安电子科技大学电子工程学院	22	88	5.0	8.0
5	徐周波	桂林电子科技大学计算机科学与工程学院	53	284	8.0	15.0