综采'三机'生产工艺Petri网建模与验证

摘要

针对煤矿井下综采"三机"协同工作过程中工艺的并行发生和联动复杂的问题,利用Petri网建模方法对井下综采自动化"三机"协同生产工艺进行分析,对中部跟机和机头机尾跟机自动化阶段进行Petri网建模和结合,组成了整个综采自动化"三机"协同工作的Petri网模型,并利用可达树分析验证了建模方法的可行性和Petri网模型的可用性,为综采自动化"三机"协同生产运行评价提供了理论基础,为煤矿井下智能化决策提供了模型依据.