一类Petri网调度问题的符号求解技术

摘要：

讨论了Petri网分析的符号有序二叉决策图(OrderedBinaryDecisionDisgram--OBDD)技术.对于一类赋时Petri网模型的生产调度问题,通过实施赋时位置(迁移)结构等价替换,建立了调度问题求解的符号算法.该算法可以在makespan步得到结果,从而有效改善了求解的效率,适合于复杂大规模Petri网模型调度问题的求解。

关键词： Petri网模型 有序二叉决策图 生产调度 可达性 离散事件系统

作者: 古天龙 李风英

作者单位: 桂林电子工业学院计算机系,桂林,541004

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 148-150,154

在线出版日期: 2005-10-01（万方平台首次上网日期，不代表论文的发表时间）