variables - 如何保存在建模过程中创建的 Uppaal 变量

Question

我用 Uppaal 创建了一个模型，其中几个整数变量随时间变化。现在我想在建模过程中将变量的值保存在某个地方（最好是 xml 或文本文件）。在 Uppaal 文档（https://www.it.uu.se/research/group/darts/uppaal/documentation.shtml）中，我找到了第 13 点中的方法（如何从 Uppaal 导出和解释痕迹？）和已经尝试过Java API方式，希望它可以输出变量以及跟踪。不幸的是，这种方法似乎仅限于跟踪。有谁知道从 Uppaal 保存变量值的方法？

希望的问候，

乔西

Answer 1

评论中的解决方案。

要随时间导出变量值拖曳，可以在验证器中使用 SMC 查询。

例如：

1. 排版以下查询：simulate 1 [<=300] { Gate.len }
2. 点击Check
3. 右键单击查询，然后从弹出菜单中选择Simulations (1)
4. 观察一个带有绘图的新窗口弹出窗口
5. 右键单击绘图并选择Export Comma Separated Values
6. 按照save file对话框并观察生成的文件以包含时间和值序列。

请注意，SMC 假设所有频道都是广播的并且没有死锁。