PNML2更新

PNML2NUPN:PNML到NUPN转换器。免费工具将您的pnmlp/T文档转换为NUPN(Caesar.bdd格式)。PNML到嵌套单元Petri网(NUPN)的转换器。这个免费的开源工具将1安全的位置/转换Petri网从PNML标准格式转换成嵌套单元Petri网(NUPN)格式。注意,Caesar.bdd工具可以将NU Petri网从NUPN格式转换成PNML。

zbMATH中的参考文献(参考文献1条)

显示结果1/1。
按年份排序(引用)

  1. Garavel,Hubert:嵌套单元Petri网(2019)