×

利用Petri网模型求解因果图最小割集的算法。 (中文。英文摘要) Zbl 1424.68158号

摘要:为了快速有效地找到因果图的最小割集,利用Petri网的特点,提出了一种新的算法。该算法省略了节点的一阶截集和最终截集,大大减少了故障诊断的因果图时间。最后,通过一个实例验证了该方法的有效性。结果表明,该算法能够快速有效地获得最小割集,并对系统进行定性分析。

MSC公司:

68T27型 人工智能中的逻辑
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
68立方英尺 知识表示
PDF格式BibTeX公司 XML格式引用
全文: 内政部