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

计算机科学 ›› 2012, Vol. 39 ›› Issue (2): 175-178.

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

李凤英，古天龙，常亮，徐周波

(西安电子科技大学电子工程学院西安 710071）； (桂林电子科技大学计算机科学与工程学院桂林 541004）

出版日期:2018-11-16 发布日期:2018-11-16

Timed Petri and ZBDD Based Approach for Assembly Sequence Planning

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

关键词: 赋时Petri网，装配序列规划，零压缩二又决策图

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

Key words: Timed、 Petri nets,Assembly sequence planning,Zero-suppressed binary decision diagram

李凤英，古天龙，常亮，徐周波. 一种基于赋时Petri网和ZBDD的装配序列规划方法[J]. 计算机科学, 2012, 39(2): 175-178. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed