论文部分内容阅读
对事故预测分析Petri网模型中的事件、逻辑门表示及其模型构造进行了讨论;文中以一事故为例,对其petri网、petri网的可达标识图制作做了较为详细的介绍。在此基础上,分析可达标识图,求出导致事故发生的最小割集和最小径集,为控制事故的措施选择提供了可靠的理论依据。该方法表现直观,为事故的预测分析开辟了一条新的途径。