中文摘要：

复杂的多阶段、多产品的石材制品生产流程是一个重要的工业应用案例,对其进行形式化建模分析和优化调度控制是工业控制的重要目标。本文应用颜色Petri网对该生产流程进行形式化建模,并将模型进行软件仿真,通过仿真结果分析得到该过程的优化调度方法。重点运用了3个关键方面：首先,在建模中实现多阶段、多产品的工序选择;其次,通过设置单个步骤变迁的输入和输出函数,满足不同石材制品不同处理时间的需要;最后,应用CPN-Tools工具验证了模型的活性,并基于可达标识图和状态空间报告求解最优调度。

英文摘要：

Complex multi - stage, multi - product stone products production process is an important imdustrial application cases , how to conduct formal modeling analysis and optimization scheduling control is an important implement methods and goals of industrial control. This paper applies color Petri nets to conduct formal modeling in this production process, and has software simulation of model. The optimal operation method of the process is obtained by the results of simulation analysis. Focusing on three key aspects ： firstly, how to realize process choice of multi - statge, multi- product in the modeling;secondly, by setting a single step transition of input and outpuit function, which meets the need of different stone product＇ s different processing time; finally, the liveness was verified by CPN - Tools, and the best scheduling scheme was presented by reachable marking graph and state space report.