中文摘要：

讨论了基于有序二叉决策图的有界Petri网符号分析，给出了其中镜像计算的一种新算法．进而建立了柔性制造系统生产调度问题的符号有序二叉决策图求解算法。该算法在求解过程中通过对状态空间及其搜索过程中相关数据的有序二叉决策图表示．避免了状态和搜索的显示枚举，实现了隐式高效操作，进而改善了算法的计算性能。仿真实验表明了算法的有效性。

英文摘要：

Bounded Petri net symbolic analysis based on Ordered Binary Decision Diagram （OBDD） was discussed. and a novel image algorithm was presented, then the symbolic OBDD algorithm for production scheduling in Flexible Manufacturing System （FMS） was put forward. In this method, the relative data in state space and search process were represented by OBDD, thereby avoided the explicit enumeration of state and search, and the implicit high effi- ciency manipulation was realized so that the algorithm performance was improved. Simulation experiment illustrated the effectiveness of this algorithm.