期刊文献+

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

Modeling and Verification of Petri Net in Fully Mechanized Mining“Three Machines”Production Process
下载PDF
导出
摘要 针对煤矿井下综采“三机”协同工作过程中工艺的并行发生和联动复杂的问题,利用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.
作者 郭博洋 郭卫 路正雄 胡磊 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)
出处 《煤》 2020年第6期21-23,32,共4页 Coal
基金 国家重点基础研究计划资助项目(2017YFC0804310)。
关键词 生产工艺 “三机”协同 PETRI网建模 production engineering “three machines”cooperation Petri net modeling
  • 相关文献

参考文献3

二级参考文献31

  • 1李鑫,马国利,王昆.矿井自动化信息集成系统[J].安防科技,2006(2):41-43. 被引量:6
  • 2EzpeletaJ, ColomJ M, MartinezJ. A Petri Net Based Deadlock Prvention Policy for Flexible Manufacturing Systems OJ. IEEE Transcations on Robotics and Automation, 1995, 11(2): 173-184. 被引量:1
  • 3Zhu Rongming. Deadlock Prvention Approach for Flexible Manufacturing Systems with Uncontrollable Transitions in Their Petri Net Models OJ. AsianJournal of Control, 2012, 14(1): 217-229. 被引量:1
  • 4Daniel Y C. A New Optimal Control Policy for a Well-known S' PR (Systems of Simple Sequential Processes with Resources)[J]. InternationalJournal of Production Research, 2012, 50(22): 6259-6271. 被引量:1
  • 5WU Naiqi, Zhou Mengchu, Hu Gang. One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets OJ. ACM Transactions on Embedded Computing Systems(TECS)' 2013, 12(10): 1-23. 被引量:1
  • 6Chen Yufeng, Li Gaiyun. Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams DJ. ACM Transactions on Embedded Computing Systems(TECS), 2013, 12(3): 1-15. 被引量:1
  • 7Hu Hesuan, Zhou Mengchu, Li Zhiwu, et al. Deadlock-free Control of Automated Manufacturing Systems with Flexible Routes and Assembly Operations Using Petri Nets OJ. IEEE Transactions on Industrial Informatics, 2013, 9(1): 109- 121. 被引量:1
  • 8Ghaffari A, Rezg N, Xie X L. Design of a Live and Maximally Permissive Petri Net Controller Using the Theory of Regions DJ. IEEE Transcations on Robotics and Automation, 2003, 19(1): 137-142. 被引量:1
  • 9Chen Yufeng, Li Zhiwu. Design of a Maximally Permissive Liveness-enforcing Supervisor with a Compressed Supervisory Structure for Flexible Manufacturing Systems[J]. IEEE Transcations on Automation and Engineering, 2011, 8(2): 374-393. 被引量:1
  • 10Li Zhiwu, Zhou Mengchu. Deadlock Resolution in Automated Manufacturing Systems: a Novel Petri Net Approach[MJ. London: Springer Verlag, 2009. 被引量:1

共引文献26

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部