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