如何实现“绑定” Java 中的彩色 Petri 网？
我正在Java中实现彩色petri网。这是一种有限状态自动机。问题是我不知道如何实现“绑定”。换句话说，颜色应该分配给位置，弧表达式应该分配给弧。执…
如何将活动图转换为petrinet，综合然后分析？
我正在做一个关于 Petri 网的项目。 我使用 UML 工具 Umbrello 生成了一个活动图（.xmi 格式）。我需要将其转换为 Petri 网，然后使用工具 Petrify 对…
有没有带IPC接口的PetriNet工具？
我正在寻找一个高质量的工具来绘制 PetriNets，它有一个连接到我自己的应用程序的接口。我有一个 PetriNet 抽象层，并实例化了一个相当大的网络。现在…
- 共 1 页
- 1
