| 替代变迁 | 帮助文档(CPN Tools help) |
| 指引(How-to) |
创建一个大规模、复杂的网络是一种繁琐的事情。和模块化编程相似,CPN网络的构建可以利用替代变迁的思想分解为更小的模块。理论上,有替代变迁的网络具有不同层次的内容,你可以用稍微简单的网络来概括整个系统模型,然后利用替代变迁来扩充模型的内容。
有两种方式创建层次网。你可以按由上至下的方式使用层次工具(Hierarchy tools)里的移动到子页(Move to Subpage)工具创建。也可以使用由下至上的方式,先分别创建个页面,然后利用替代变迁把他们连接起来。
使用显示子页(Show subpage)和显示父页(Show superpage)工具可以方便地在层次网中实现父子页间地切换。这些工具必须分别应用在子页标签和端口类型标签(subpage tags and port-type tags)上。
在使用了这些工具以后,相应的页面将会在当前的编辑板上打开(如果它还没有打开)或变为前台(如果它已经在编辑板上打开)。
在索引中的总览网络(net overview)条目下,显示了CPN中个页面间的层次关系。
以下的网络例子(example nets)包含了替代变迁:层次协议(Hierarchical Protocol), 电话(Telephones)和环形协议(Ring Protocol).