相关页面

进入状态空间工具

在评估和分析状态空间之前，生成状态空间代码是必要的，即，用来计算和分析状态空间的ML代码。这些代码在你进入状态空间工具时产生。

为了成功的进入状态空间工具，必须满足几个条件：

• 网络不能包含语法错误。
• 网络中所有的库所、变迁和页面都必须有名字。
• 库所、变迁和页面的名称必须有独一无二的前缀，前缀必须使用CPN ML 标识符identifiers.注意：一个库所和一个变迁可能有同样的名称前缀，但两个库所（或两个变迁）可能没有同样的名称前缀。

进入状态空间工具，将进入状态空间Enter state space工具应用到包含网络中一页面的一个表单之中。

进入状态空间工具将花费一段时间。避免在进入状态空间Enter state space工具上按下多次，因为这可能会引起工具的瓦解和冻结。在控制台窗口提供文本的反馈以指示在进入状态空间工具时进展的如何。

当成功的进入状态空间工具时，一个绿色的状态框将出现在索引中。如果当进入状态空间工具时发生错误，索引中将出现一个红色的状态框。将鼠标光标定位在状态框的上面，以查看错误信息。

要获得更多关于状态框的信息，参照图形反馈Graphical Feedback.