替代变迁
指引(How-to


相关页面

使用层次网(Working with hierarchical nets),介绍层次网(Introduction to Hierarchical Nets

限制

注意: 如果网络存在未设定的端口库所将不能被仿真。有更多的资料在CPN工具中的已知限制(Known Limitations中。

替代变迁

创建一个大规模、复杂的网络是一种繁琐的事情。和模块化编程相似,CPN网络的构建可以利用替代变迁的思想分解为更小的模块。理论上,有替代变迁的网络具有不同层次的内容,你可以用稍微简单的网络来概括整个系统模型,然后利用替代变迁来扩充模型的内容。

创建替代变迁

有两种方式创建层次网。你可以按由上至下的方式使用层次工具(Hierarchy tools里的移动到子页(Move to Subpage工具创建。也可以使用由下至上的方式,先分别创建个页面,然后利用替代变迁把他们连接起来。

父子页面间的切换

使用显示子页(Show subpage)和显示父页(Show superpage)工具可以方便地在层次网中实现父子页间地切换。这些工具必须分别应用在子页标签和端口类型标签(subpage tags and port-type tags)上。

Show subpage

在使用了这些工具以后,相应的页面将会在当前的编辑板上打开(如果它还没有打开)或变为前台(如果它已经在编辑板上打开)。

总览父子页面的关系

在索引中的总览网络(net overview条目下,显示了CPN中个页面间的层次关系。

例子

以下的网络例子(example nets)包含了替代变迁:层次协议(Hierarchical Protocol, 电话(Telephones环形协议(Ring Protocol.