用Petri网结构化的方法求解实时并行运算调度问题

？本文讨论多资源有顺序关系的运算调度问题.算法中每步所需时间已知,用Petri网建模可使问题高度结构化,搜索空间只限于符合顺序的可行解部分[1],求得有资源约束及无资源约束两种条件下并行处理的最小时间跨度和相应的调度方案,所得结果为精确解.