已知的限制
CPN工具一些已知限制的概况

限制

该页面提供了当前版本CPN工具的一些主要限制的概况。在已知的臭虫和限制Known bugs and limitations可以查看到更详细的列表。

仿真和状态空间分析

语法检测中的错误

当对网络的部分进行语法检测syntax checked时，如果应用任何仿真工具simulation tools或状态空间工具state space tools，都可能发生错误。强烈建议你当在库所、弧、变迁、页面或网络名称出现黄色高亮度条时不要使用这些工具。

Highlight during syntax check

层次网

熔合集

当前不允许添加端口库所或套接字库所到熔合集。

未分配的端口

含未分配端口的网络不能仿真。如果某个库所带有端口类型的标签port-type tag，并且库所无法正确的分配给套接字，那么端口即未被分配。未分配的端口以暗灰色的环来指示。

Unassigned ports

语法检测中的错误

当网络的部分正进行语法检测syntax checked时，如果使用任何层次工具hierarchy tools，就会发生错误。强烈建议你当库所、弧、变迁、页面或网络名称上有任何黄色高亮度条时不要使用这些工具。

层次网构造过程中的错误

为增长的语法检测syntax checking和层次网的构造提供仿真支持是很复杂的工作。

在某些仿真中，当构造层次网时将出现错误。很多错误将导致“内部错误”，并且错误信息可能很难理解。

Errors when creating hierarchical nets

如果你遇到关于“内部错误”的错误信息，强烈建议你设法修正任何明显的错误，诸如未分配端口或在端口、套接字上丢失颜色集标注color set inscriptions，然后保存网络save the net，再重载网络reload the net.这将导致出现更多的内部错误。