| 层次CPN的操作 | CPN Tools help |
| How-to |
有效率的CPN模型要求能够将一个CPN网分配到多个页面,使其分解为多个足够小的易于监控的模型.这样的模型叫做子模型.
有两个装置用于连接分布于不同页面上的CPN网结构:替代变迁和融合库所.替代变迁代表了一个页面.融合库所等同于多个其他的库所,这些库所就像一个库所那样,拥有单一的标识.
替代变迁和融合库所一起提供了将CPN网分解为子模型的强大能力.这被称为CPN的层次化.
用撤销Undo或重做Redo工具可以容易的取消或重复很多对CPN网层次结构的改变.
举例来说,如果用删除元素Delete element工具删除了一个子页标签subpage tag,那么替代变迁和子页之间的联系就被断开了,端口/槽分配也被去掉了,同时也去掉了子页的实例.(详见移除层次结构Removing hierarchical constructs).但是,只需要简单的使用重做Undo工具,就可以完全恢复子页于替代变迁之间的联系.
如果你对下面的概念不熟悉,建议阅读层次网介绍Introduction to Hierarchical Nets:
若想更详细地了解融合库所，可以参考帮助页面中的融合库所 Fusion places 。
在网的一部分正在进行语法检查syntax checked的时候,使用层次工具hierarchy tools,就会出现错误.强烈建议,在任一个库所,弧,页,或网名处于黄色高亮显示的时候,不要使用层次工具.
同时支持语法检查syntax checking和层次网的构建是十分复杂的.
当你构建层次网的时候,如果遇到了错误消息"Internal Errors" 或"Exception when getting marking or calculating enabling" ,强烈建议你修复一些明显的错误,如未分配的端口或者缺少颜色集表述等等.接下来保存网save the net,再重载reload the net网.这些内部错误提示在重载网之后,就会消失.
详见在CPN Tools中已知的缺陷 Known limitations.