| 一类Petri网调度问题的符号求解技术 |
| |
| 引用本文： | 古天龙,李风英.一类Petri网调度问题的符号求解技术[J].系统仿真学报,2005,17(Z1):148-150. |
| |
| 作者姓名： | 古天龙 李风英 |
| |
| 作者单位： | 桂林电子工业学院计算机系,桂林,541004 |
| |
| 基金项目： | 国家自然科学基金项目(60243002);教育部留学归国人员基金;广西自然科学基金(0448072) |
| |
| 摘 要： | 讨论了Petri网分析的符号有序二叉决策图(Ordered Binary Decision Disgram--OBDD)技术.对于一类赋时Petri网模型的生产调度问题,通过实施赋时位置(迁移)结构等价替换,建立了调度问题求解的符号算法.该算法可以在makespan步得到结果,从而有效改善了求解的效率,适合于复杂大规模Petri网模型调度问题的求解.
|
| 关 键 词： | Petri网 有序二叉决策图(OBDD) 调度 可达性 离散事件系统 |
| 文章编号： | 1004-731X(2005)S-148-03 |
| 修稿时间： | 2005年8月12日 |
The Novel Symbolic Technique for Scheduling of Petri-Net Models |
| |
| GU Tian-long,LI Feng-ying.The Novel Symbolic Technique for Scheduling of Petri-Net Models[J].Journal of System Simulation,2005,17(Z1):148-150. |
| |
| Authors: | GU Tian-long LI Feng-ying |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
