相关页面

仿真

当你载入了或创建了一个CP-net, 而且它成功地通过语法检测 (也既是说，没有黄色的或红色的光环; 参见 语法检测（Syntax checking）, 这时你就可以启动运行仿真程序.

当正确的选项（options）被选中后，仿真报告（simulation report ）将会被保存.

要启动仿真程序，将仿真工具从索引拖出到工作空间.

现在可以从工具板中选择并应用其中一个仿真工具. 参见 仿真工具（Simulation tools），可以获得更多有关仿真工具的细节.

例如，应用仿真工具板中的Play 工具将会使得网络运行由Play工具单元中指定的步数.

仿真反馈

当仿真程序运行时, 将会显示如下的仿真反馈信息:

• 在库所旁会显示库所的当前标识.
  • 库所的令牌数显示在绿色的圆圈里.
  • 相应的令牌值显示在绿色的方框里.
• 授权变迁的周围会出现绿色的光环而且授权变迁所在的页面下会出现绿色的下划线 (显示在索引处和页面tabs处)
• 步数和时间显示在索引中正被仿真的网络下

有时仿真反馈覆盖了网络的一些部分，使之难以阅读. 因此, 我们可以将当前标识信息移到新的位置.拖动绿色圆圈同样也会移动装有令牌值的绿色方框, 但是拖动方框则只会移动方框而不会移动圆圈.

当你保存模型（save a model）时，当前标识信息的位置也会被保存.

令牌值也可以被隐藏. 点击绿色圆圈就会隐藏/显示相应的令牌值.

快进仿真

在应用了 快进（fast forward） 工具之后, 一个浅紫色 状态泡（status bubble） 指示它为一个耗时的操作, 也就是说, 一个长时间的仿真正在被执行.

初始状态

当你改变了初始标识或在一些库所上添加了初始标识, 记住使用 回退（Rewind）工具将网络回复到它的初始状态.

仿真中的错误

限制

参见 已知限制（Known Limitations） 你可以获得更多关于当前版本 CPN Tools的更多信息.