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

Modeling and Verification of Petri Net in Fully Mechanized Mining“Three Machines”Production Process

作　　者：郭博洋 郭卫[1] 路正雄 胡磊 GUO Bo-yang;GUO Wei;LU Zheng-xiong;HU Lei(School of Mechanical Engineering,Xi'an University of Science and Technology,Xi'an 710054,China)

机构地区：[1]西安科技大学机械工程学院,陕西西安710054

出　　处：《煤》2020年第6期21-23,32,共4页Coal

基　　金：国家重点基础研究计划资助项目(2017YFC0804310)。

摘　　要：针对煤矿井下综采“三机”协同工作过程中工艺的并行发生和联动复杂的问题,利用Petri网建模方法对井下综采自动化“三机”协同生产工艺进行分析,对中部跟机和机头机尾跟机自动化阶段进行Petri网建模和结合,组成了整个综采自动化“三机”协同工作的Petri网模型,并利用可达树分析验证了建模方法的可行性和Petri网模型的可用性,为综采自动化“三机”协同生产运行评价提供了理论基础,为煤矿井下智能化决策提供了模型依据。In view of the problem of the parallel occurrence of the process and the complex linkage in the process of co-operation of the“three machines”in coal mine underground,the paper analyzes the cooperative production process of underground fully mechanized mining automation“three machines”by Petri net modeling method.This paper analyzes the co-production process of the“three machines”of fully mechanized mining automation,and makes the Petri net model of the whole fully mechanized mining automation“three machines”working together by modeling and combining the middle and the head and tail of the machine.Finally,the feasibility of the modeling method and the availability of Petri net model are verified by using reach tree analysis.Production processes provide application value and model basis for intelligent decision-making under coal mines.

关 键 词：生产工艺 “三机”协同 PETRI网建模 

分 类 号：TD671[矿业工程—矿山机电]