用于查找精化过程结构树或图的三连通组件的库

Libraries for finding the Refined Process Structure Tree or Tri-connected components of a graph

我正在尝试在 Python 中复制流程挖掘算法。给定的算法中的一行需要生成改进的过程结构树 (RPST)[1]。据我所知,这基本上涉及找到我目前拥有的有向多图的三连通分量。我在 Gutwenger 等人的参考资料中找到了详细说明。 [2].在我花时间尝试实现这些算法之前,有人知道是否有 Python 库已经实现了这些算法吗?我搜索了 google,但一无所获。

参考: [1] Polyvyanyy, A.、Vanhatalo, J. 和 Völzer, H.(2010 年 9 月)。细化过程结构树的简化计算和推广。在 Web 服务和形式方法国际研讨会(第 25-41 页)中。施普林格、柏林、海德堡。

[2] Gutwenger, C., & Mutzel, P.(2000 年 9 月)。 SPQR 树的线性时间实现。在图形绘制国际研讨会上(第 77-90 页)。施普林格、柏林、海德堡。

Sagemath 已实施第二个 https://doc.sagemath.org/html/en/reference/graphs/sage/graphs/connectivity.html