相关页面

仿真报告

仿真报告保存在目录C:\tmp中。如果该目录不存在，则报告不能被保存。仿真报告缺省保存为C:\tmp\simrep-<过程标识>.txt

保存报告

当“Save Report”设置被选中，变迁名将会在仿真报告中记录。每一个仿真步，对应一条信息，其语法是：

步数    时间    变迁名@ (实例：页面名)

仿真报告的例子可以在下面看到。

保存绑定

这样，变量的绑定也会保存在仿真报告中。每一个仿真步，将保存一条关于变迁变量的信息。其语法是：

 - 变量 = 数值

例子

以下是资源分配（Resource Allocation）系统的仿真报告。它是网络示例（example nets）中的一个例子。仿真报告记录了前四步的仿真信息。

1 0 T2 @ (1:Top)
2 0 T1 @ (1:Top)
3 0 T3 @ (1:Top)
 - i = 0
 - x = p
4 0 T4 @ (1:Top)
 - i = 0
 - x = p

第一行表明执行第一步时Top页面的实例1中的一个名为T2的变迁触发了。同样的，同一页中一个名为T1的变迁在第二步触发了。第三行表明变迁T3（同一页中）在第三步触发了。而且，在变迁T3触发时，变量i绑定为0，变量x绑定为p。

仿真报告按如下步骤产生：

1. 载入资源分配（Resource Allocation）网络。
2. 选中选项（Options）中的“Save Report”条目。
3. 执行两步仿真。
4. 选中选项（Options）中的“Save Bindings”条目。
5. 再执行两步仿真。