【文件属性】:
文件名称:FuzzP:用于教学和学术用途的模糊Petri网可视化器和执行器
文件大小:9.57MB
文件格式:ZIP
更新时间:2021-05-08 17:19:52
Java
模糊测试
FuzzP是Fuzzy Petri网,是用于教学和学术目的的统一增强时间Petri Neti可视化工具和执行器。 用户必须定义Petri网的结构,并在过渡中加入规则表。 基于这些FuzzyP能够执行Fuzzy Petri网,并使它的行为形象化。 为了可视化,请使用和库。
组件
FuzzPCore包含执行程序和实际的算法。
FuzzPVizual包含一个演示UI,该UI能够绘制Petri网的结构以及场所的演变。
FuzzPExt包含一种用于定义Petri网的小语言。 它的灵感来自Graphviz的点和OOP王子。 FuzzPExt还具有一个代码生成器,其输出与FuzzPCore的API兼容。
FuzzPExamples包含一些示例。
要求
FuzzPCore 需要Java 1.8(或更高版本)(用于序列化)。 对于FuzzPVizual,上面提到了两个库。 运行测试需要