开发者 pnk.sf.net

Petri 网络内核 （PNK） 是构建 Petri 网络工具的基础设施。它配备了一个用于 Petri 网络应用程序的 Java 类库、一个图形编辑器和几个 PNK 应用程序。通过新的 Petri 网络类型轻松扩展 PNK。