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

作者：古天龙; 李风英petri网调度可达性离散事件系统

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社