相关页面

做状态空间询问

询问被用于调查CP网络的性质。例如可能使用标准询问调查可达性、有界性、家性、活性和公平性；通过CPN ML功能创建非标准询问。

通过创建包含了询问功能的辅助性文本来建立询问，然后使用评估ML 工具去评估文本。

有效的询问功能被描绘在 状态空间手册中。

异常

例如，如果在使用计算状态空间工具之前使用评估ML 工具去评估 DeadMarking(2), 那么ExcAvlLookup异常将会出现，因为节点号2不能出现在没有计算过的状态空间中。