Question

我运行了自动机并导出了eps文件。但是如何进一步分析并从eps文件中获取信息？是否可以将变量值写入外部日志文件？提前致谢

Answer 1

分析eps没有意义（这些意味着要包含在报告中）。对于数据分析，请使用simulate（Uppaal 4.1）查询在验证程序中尝试以下内容：

simulate 1 [<=300] { 
  (T(1).Ready+2*T(1).Computing+3*T(1).Release+4*T(1).Error)+8,
  (T(2).Ready+2*T(2).Computing+3*T(2).Release+4*T(2).Error)+4,
  (T(3).Ready+2*T(3).Computing+3*T(3).Release+4*T(3).Error)+0
}

其中T(i)是一个流程，Ready，Computing，Release和Error是其位置。然后模型检查查询，右键单击它并查看图，然后：

a）右键点击图表并选择Export - ＆gt; comma separated values，

或：

b）在验证上述查询时，从verifyta（命令行工具）的标准输出中解析绘图值。

如何分析UPPAAL模拟器eps文件中的数据？

1 个答案: