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

摘要：

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

关键词：赋时Petri网、装配序列规划、零压缩二叉决策图

所属期刊栏目：39

分类号：TP391.9(计算技术、计算机技术)

资助基金：国家自然科学基金项目60563005,60243002,61063002;广西可信软件重点实验室开放基金

在线出版日期：2012-04-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：170-174