摘要：印染生产线是一个复杂的流程制造系统，存在着生产瓶颈不易诊断、设备利用率低等问题。在分析印染生产线工艺流程特点的基础上，建立了基于扩展随机高级判断Petri网的印染生产线模型，并把此模型转化为可执行的规格说明工具ExSpect仿真模型，通过实例验证了模型的可操作性与有效性，分析了具有优化生产运行作用的生产性能。

关键词：印染生产线 扩展随机高级判断petri网 可执行的规格说明工具 仿真 

单位：杭州电子科技大学自动化学院 浙江杭州310018