使用状态空间工具


要利用状态空间工具(State space tools)来工作,你先需要熟悉它,它可以从工具板和工具窗(palettes and toolglasses)中访问得到。

状态空间工具的帮助主题

进入状态空间工具(Enter the State Space Tool)

计算状态空间和SCC图(Calculate a State Space and SCC Graph)

保存状态空间报告(Save a State Space Report)

状态空间疑问(Make State Space Queries)

传送状态(Transfer States) (在仿真器和状态空间工具之间)

改变状态空间工具中的属性和选项(Change Attributes and Options in State Space Tool)

状态空间手册

附有一PDF格式的手册描述了怎样使用状态空间工具:

耗时操作

状态空间工具中的一些操作是特别耗时的,如进入状态空间工具或计算状态空间。这些操作过程中,会出现一个淡紫色的状态泡(status bubble),表明某很费时的操作正在进行。

LightPurpleStatusBubble.jpg

限制

当网一部分正在进行语法检测(syntax checked)的时候,如果应用某状态空间工具(state space tools)就会出现错误。建议在库所,弧,变迁,页或网名上有黄色加亮时,不要应用状态空间工具。

Highlight during syntax check

在CPN工具的现有版本中可看到更多的关于已知局限性(Known limitations)的内容。