要利用状态空间工具(State space tools)来工作,你先需要熟悉它,它可以从工具板和工具窗(palettes and
toolglasses)中访问得到。
状态空间工具的帮助主题
状态空间手册
附有一PDF格式的手册描述了怎样使用状态空间工具:
耗时操作
状态空间工具中的一些操作是特别耗时的,如进入状态空间工具或计算状态空间。这些操作过程中,会出现一个淡紫色的状态泡(status bubble),表明某很费时的操作正在进行。
限制
当网一部分正在进行语法检测(syntax checked)的时候,如果应用某状态空间工具(state space tools)就会出现错误。建议在库所,弧,变迁,页或网名上有黄色加亮时,不要应用状态空间工具。
在CPN工具的现有版本中可看到更多的关于已知局限性(Known limitations)的内容。