炼钢连铸过程的Petri网实时调度模型

炼钢连铸过程是一个复杂而又典型的混合动态系统，但现有的混合动态系统理论难以对此进行直接分析和综合。文章提出一种区段赋时弧有色Ｐｅｔｒｉ网，其库所输出弧上标注的是以颜色为变量的时间区间函数，并从抽象混合动态系统的角度给出了这种Ｐｅｔｒｉ网的变迁规则。利用模块化思想，以区段赋时弧有色Ｐｅｔｒｉ网为工具，说明了如何建立一个电炉炼钢连铸过程的实时调度模型。基于这一模型，既可以仿真整个生产过程，又可以分析和综合实时调度策略。