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