柔性制造系统中生产调度问题求解的一种符号算法.pdfVIP

第13卷第2期 计算机集成制造系统 Vol.13No.2 2007年2月 ComputerIntegratedManufacturingSystems Feb.2007 文章编号:1006一5911(2007)02一0338一07 柔性制造系统中生产调度问题求解的一种符号算法 古天龙，熊太平，赵岭忠 (桂林电子科技大学计算机系。广西 桂林 541004) 摘 要:讨论了基于有序二叉决策图的有界Petri网符号分析，给出了其中镜像计算的一种新算法，进而建立 了柔性制造系统生产调度问题的符号有序二叉决策图求解算法。该算法在求解过程中通过对状态空间及其搜索 过程中相关数据的有序二叉决策图表示，避免了状态和搜索的显示枚举，实现了隐式高效操作，进而改善了算法的 计算性能。仿真实验表明了算法的有效性。 关键词:赋时Petri网;柔性制造系统调度;有序二叉决策图;符号算法 中图分类号:TP39 文献标识码:A Novelsymholic0BDDaIgorithmforpr0ductionschedulinginFMS GUTian一10”9，XIONGTai一Pi”9·ZHAOI-i，lg一动。”9 (Sch.ofComputersci.，GuilinUniv.ofElectronicTech.，Guilin 541004，China) A加tract:BoundedPetrinetsymbolicanalysisbasedon()rderedBinaryDecisionDiagram (()B】)】))wasdiscussed， andanovelimagealgorithmwaspresented，thenthesymbolic()BDDalgorithmforproductionschedulinginFlexible Manufacturingsystem(FMS)wasputforward.Inthismethod，thereIativedatainstatespaceandsearchprocess wererepresentedby()Bl))【，therebyavoidedtheexplicitenumerationofstateandsearch，andtheimplicithigheffi- ciencymanipulationwasrealizedsothatthealgorithmperformancewasimproved.SimulationexPerimentillustrated theeffectivenessofthisalgorithm. Keywords:timedPetrinets;flexiblemanufacturingsystemscheduIing;orderedbinarydecisiondiagram;symbolic algorithm 目标标志的迁移引发序列，然后构建使得给定评价 0 引言 指标为最(次)优的Petri网模型分析算法，以实现 基于赋时Petri网模型的柔性制造系统(Flexi- 原始调度问题的求解。基于Petri网模型的FMS bleManufactuingsystem，FMS)生产调度是Petri 生产调度求解算法主要有两类:①基于Petri网可 网应用研究的一个重要问题 一〔‘」‘。Petri网调度的 达图的分支定界和启发式搜索算法。如文献 5〔」基 主要优点在于:对所研究问题中的事件、活动、资源 于Petri网可达图和启发式搜索开发了一个 FMS 及其复杂约束，实现明晰、直观和紧凑的可视化描 调度系统;文献 1「〕给出了赋时位置Petri网下FMS 述，极大地方便了设计人员对问题的理解、描述和灵 调度的一组A，算法;文献[6〕对文献[