| 语法检测 | CPN Tools help |
| How-to |
仿真网络Simulating nets, 编辑网络Edit the net, 添加/编辑声明Add/edit declarations, 添加/编辑注入式Add/edit inscriptions
CPN Tools 会自动检测你的网络,当你创建它们或者你载入一个网络. 你可以通过颜色指示看到检测进行了多久. 颜色指示显示在索引中颜色所属页面的名称的下划线处. 如果页面在一个组合体中打开, 颜色也显示在最上面页面的页面标签下,和颜色所属的CP-net元素上.
橙色光环指示当前没有元素被检测.
当你载入一个网络,语法检测需要2分钟完成. 在这个阶段, 网络元素将会改变光环的颜色从橙色到黄色然后就是没有光环(或者是红色, 如果出现错误的话).
如果橙色光环一直未变，可能是因为缺少了某物或者相关元素出现错误. 当网络元素通过检测时，则有如下的解释说明:
如果网络元素一直保持橙色的光, 而且你看不出明显的原因 (例如，相关元素的错误或遗漏了注入式), 仿真器进程可能 "卡住了". 尝试着改变元素上的注入式 - 这样应该会激起一个新的语法检测. 如果这样也行不通的话, 试着保存网络, 关闭它，然后重新打开它. 这时整个网络就会被重新检测.
如果仍然不奏效的话, 很可能是因为仿真器进程无法启动. 检查你是否有名叫cpnmld的程序和一个叫run.x86-win32的程序. 如果这些程序没有运行 (它们应该在你启动CPN Tools、打开或创建一个网络之后运行), 试着安装到另外一个没有空白和仅有 a-z, A-Z字母的位置(我们试图省掉目录名, 但有可能会遗漏一些东西). 如果装到其他的位置并没有解决问题, 请将一份bug报告归档在 http://www.daimi.au.dk/cgi-cpntools/bugs/report.php.
注意这里所提到的库所是指出现所有页面实例上的库所. 这就是说如果一个页面有一个实例上的库所应该被设定而没有被设定，那么这个页面的所有实例都不会通过语法检测. 同样通过端口-槽链连接的页面也不会通过语法检测.
黄色的光指示库所/变迁/弧/页面/网络当前通过检测.
红色光环意味着元素被检测但是出现错误. 语言泡泡上将会显示准确的错误消息. 与出现错误的元素连接的元素,例如 与出现错误的库所相连接的变迁, 将不会被检测直至错误被改正.
如果声明中出现错误, 错误的声明的名称在索引中就会变为ErrorDecl 而且会有红色的下划线. 使用这个声明的网络入口和所有页面都会有着红色的下划线.
要查看错误消息, 将鼠标移到 ErrorDecl上.
红色的光环指示节点名称 (直到第一个空白空间，也既是说空格，tab或换行符) 的前缀不唯一和/或非有效. 要使用状态空间工具state space tool，前缀必须是唯一的. 它仅显示在元素上，而不在索引或页面标签上.
如果网络元素没有光环, 那是因为它们已经被检测而且通过检测. 如果一个或多个变迁应该被使能而没有的话, 试着使用 仿真工具Simulation tools中的回退Rewind 工具以初始化仿真程序.
蓝色的光环显示声明、注入式和其他元素间的依赖关系.
如果你将指针移到索引中的一个声明上, 使用这条声明的所有节点和其他元素将会得到深蓝色的光环，同样也显示在索引中和页面标签上.
如果你将指针移到一页面的注入式上，这个注入式所从属的元素将会得到浅绿色的光环(仅显示在元素上).
