基于面向资源Petri网的一类可重构制造系统的建模和运行控制

近年美国学者提出的可重构制造系统被认为是制造业的发展方向。半导体制造中的组合设备(Cluster Tool)和Track系统(Track System)具有模块化构成，是典型的可重构自动化制造系统，代表着半导体制造的技术水平。但运行中死锁的存在、晶片处理逗留时间约束、处理时间的随机波动会导致系统无法正常运行。这些现象的发生又与优化调度交叉，加上运行控制器要满足可重构的要求，研究其行为特征和有效的控制器结构及方法是一个极具挑战性的问题，有一系列未解决的科技问题。目前国内在此问题上的研究基本处于空白。国外虽然已有广泛的研究，但每一研究只考虑了部分约束条件，也未考虑系统的可重构性。本项目在我们研究出的面向资源Petri网的基础上引入智能标记的概念，使得模型具有可重构性。利用这一模型在理论上分析系统的动态行为特征，进而研究出优化的控制和调度算法。研究结果也将对Petri网的理论和应用作出一定贡献。