随着煤矿生产方式的不断改进和综采自动化设备的大量应用,综采自动化采煤工艺的优化是综采过程安全高效生产的关键。但是综采工作面“三机”采煤工艺系统是一个具有动态分布性、并发执行性和共享协同性等多特征融合的一个较为复杂的开采系统。针对煤矿综采自动化“三机”采煤工艺的混合特性,采用过程混合Petri网对煤矿综采“三机”采煤工艺的割煤、支护以及输运过程进行建模,最后通过Stateflow进行仿真验证,获得了不同产量下的采煤工艺,主要研究内容如下:首先,分析煤矿综采自动化“三机”采煤工艺流程,对综采三机的采煤工艺进行功能分解,选用过程混合Petri网,并采用分层递阶的建模方法对综采三机各部分工艺流程建模。然后,根据过程混合Petri网理论的变迁规则,建立过程混合Petri网煤矿综采自动化“三机”采煤工艺模型,并对综采生产过程的各个阶段定义和描述,为了实现生产能力最大化和生产成本最优,从生产能力、设备能力、采煤工艺环节、生产计划产量四个方面对煤矿综采采煤工艺模型约束控制,从而使采煤机与液压支架跟机移架配合最优,以达到安全开采的目的。最后,使用Stateflow对煤矿综采自动化“三机”采煤工艺模型仿真,对比实例数据来验证模型的可靠性和采煤机速度与液压支架移架、追机方式的准确性,得到了采煤机速度与液压支架跟机移架方式的最优工艺,有效的满足不同产量需求下的不同采煤工艺需求。本文通过Petri网对综采“三机”采煤工艺建模与仿真,采用过程混合Petri网和Stateflow进行建模与仿真,对采煤机速度与液压支架跟机移架方式工艺进行优化,为煤矿智能化决策提供了应用基础。