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