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

The Novel Symbolic Technique for Scheduling of Petri-Net Models

作　　者：古天龙[1] 李风英[1] 

机构地区：[1]桂林电子工业学院计算机系,桂林,541004 桂林电子工业学院计算机系,桂林,541004

出　　处：《系统仿真学报》2005年第z1期148-150,154,共4页Journal of System Simulation

基　　金：国家自然科学基金项目(60243002);教育部留学归国人员基金;广西自然科学基金(0448072)

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

关 键 词：PETRI网 有序二叉决策图(OBDD) 调度 可达性 离散事件系统 

分 类 号：TP278[自动化与计算机技术—检测技术与自动化装置]