我正在寻找一种高质量的工具来绘制 PetriNets,它具有连接到我自己的应用程序的接口。我有一个 PetriNet 抽象层,并实例化了一个相当大的网络。现在我想可视化它以简化我的软件的调试。IPC 可以通过命名管道、套接字……我可以将其中任何一个附加到我的代码中。
我目前正在使用独立于平台的 Petrinet 编辑器。使用起来有点混乱,但它确实可以完成工作。但是,它没有上述用例。
这是可用工具的列表:http:
//www.informatik.uni-hamburg.de/TGI/PetriNets/tools/quick.html