论文部分内容阅读
给出了一种与环境有信息交流的受控记时Petri网系统模型的有关形式语言定义,把这种模型应用于具有时间约束的机组启停状态转换过程,使机组组合的动态规划法每一时段计算费用的状态数小于没有时间约束的该时段机组开停状态组合数,从而既处理了冷、热启动费用和最小启停机时间约束,又减少了计算费用的状态数,将会大大提高算法的效率。