文件名称：helena:Helena Petri网络工具存储库
文件大小：5.21MB
文件格式：ZIP
更新时间：2024-06-04 02:54:10
Ada
海伦娜 Helena是GPL许可下的高级Nets分析器（请参阅文件LICENSE）。 它可以用来对高级Petri网进行模型检查。 在以下网址下载该工具的最新版本： : 先决条件 要编译Helena，您需要： 海湾合作委员会 [ ] GNAT ada编译器。 [ ] mlton编译器。 如果要分析DVE模型（选项--with-dve），则需要此选项。 汇编 要编译helena，请转到src目录并执行脚本compile-helena。 可以使用以下选项传递脚本： 选项--with-ltl =>如果要分析LTL属性，这是必需的。 选项--with-dve =>如果要分析DVE模型（测试版），则需要此选项。 编译完成后，请确保PATH变量指向bin目录。 您可以在脚本bin / helena中更改某些变量的值： gcc-Helena用于在C代码中转换模型的gcc编译器的路径