• 全部
主办单位:煤炭科学研究总院有限公司、中国煤炭学会学术期刊工作委员会
基于Petri网的煤矿安全系统分析
  • 作者

    蒋昌俊疏松桂

  • 单位

    山东矿业学院中国科学院自动化研究所

  • 摘要
    用Petri网模拟和分析煤矿事故,针对无重复底事件系统,给出定性的分析方法。提出有重复底事件系统的Petri网形式化建模方法和基于并发机制的分析方法,包括定性、定量两个方面,通过实际问题的分析,体现了该方法的应用广泛性和有效性。
  • 关键词

    Petri网事故分析算法重复底事件

  • 基金项目(Foundation)
    国家自然科学基金;“863”高技术项目;
相关问题
立即提问

主办单位:煤炭科学研究总院有限公司 中国煤炭学会学术期刊工作委员会

©版权所有2015 煤炭科学研究总院有限公司 地址:北京市朝阳区和平里青年沟东路煤炭大厦 邮编:100013
京ICP备05086979号-16  技术支持:云智互联
Baidu
map