FuzzP:用于教学和学术用途的模糊Petri网可视化器和执行器

时间:2021-05-08 17:19:52
【文件属性】:
文件名称: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,上面提到了两个库。 运行测试需要

网友评论