尼科 swMATH ID: 9475 软件作者： 卢卡斯·弗洛恩（Lukasz Fronc）；弗兰克·波默罗 描述： 围绕Neco编译器构建Petri网工具。本文介绍了Neco，它是一个Petri网编译器：它以Petri网为输入，并生成一个优化的库作为输出，以有效地探索该Petri网的状态空间。Neco还能够使用LTL公式，并使用SPOT库执行模型检查。我们描述了Neco的组件，特别是它产生的探索库，目的是可以在自己的项目中使用Neco，以加快Petri网的执行。 主页： https://code.google.com/p/neco-net-compiler网站/ 相关软件： 蛇；neco点；现场 引用于： 1文件 2位作者引用 1 亚历山大·杜雷特·卢茨 1 弗龙克，乌卡斯 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文