c++ - 是否有带有IPC接口的PetriNet工具？

我正在寻找一种用于绘制PetriNets的高质量工具，它具有连接到我自己的应用程序的界面。我有一个PetriNet抽象层，并实例化了一个相当大的网络。现在我想将其可视化以简化我的软件调试。 IPC可以通过命名管道，套接字......我可以将任何这些附加到我的代码中。

我目前正在使用Platform Independent Petrinet Editor。它使用起来有点乱，但它确实起作用了。但是，它没有上述用例。