trace-generator

跟踪发生器 跟踪生成器插件允许用户从所选模板生成一组跟踪。 跟踪是从初始状态（LTS或PLTS）获得的一系列标签，从每个状态中选择一个过渡，以找到最终状态。 如果模型是概率模型，则根据发生的概率选择进行过渡的选项。 否则，将无法确定地进行选择。 用户可以确定所生成跟踪的数量并将其保存为cvs文件类型。