针对赋时有界Petri网模型下柔性制造系统的生产调度问题,给出了有界Petri网的零压缩二叉决策图表示方法,进而建立了此类生产调度问题求解的符号零压缩二叉决策图算法.该算法在求解过程中对状态空间及其搜索过程中的相关数据,采用零压缩二叉决策图表示,避免了状态和搜索的显式枚举,实现了隐式高效操作,有效地改善了算法的计算性能.实验结果表明了算法的有效性. In order to solve the production scheduling problem of flexible manufacturing system in timed Petri nets model, a zero-compression binary decision diagram representation of bounded Petri nets is given. Then the zero-compression binary decision of such production scheduling problems is established Graph algorithm.The algorithm uses zero-compression binary decision graph to represent the state space and its related data in the search process during the solving process, avoids the explicit enumeration of state and search, and implements the implicit high-efficiency operation effectively Improve the computational performance of the algorithm.The experimental results show the effectiveness of the algorithm.