,这些标签是关联到层次着色Petri网中的一些库所和变迁.有三种层次标签:| 层次标签 | CPN Tools help |
| Concepts |
层次标签是小的蓝颜色的标签,比如说,这些标签是关联到层次着色Petri网中的一些库所和变迁.有三种层次标签:
对层次标签进行修改,层次结构能够被删除或修改.详见移除层次结构 Removing hierarchical constructs.
子页标签与替代变迁关联.子页标签中的文本与相应的子页名相同(一般的来说,与相应的替代变迁的名字也是一样的).
当移动到子页Move to subpage和设置子页 Set subpage被使用时,子页标识会自动的被添加.
显示子页面 Show subpage工具可以被使用在子页标签上,用来在同一个组合体中打开相应的子页.
端口类型标签与子页上的端口库所相关联.端口类型标签中的文字指示出这个端口库所究竟是一个输入端口(In),还是一个输出端口(Out),或者是一个双向端口(I/O).
当使用设定端口类型Set port type和移动到子页Move to subpage工具时,端口类型标签被添加到库所上.
融合集标签与融合库所相关联.融合集标签中的文字指示了与相应的融合库所所属的融合集的名字.
当使用指派融合集Assign fusion set工具时,融合集标签将被添加到融合库所上.
将鼠标移动到一个层次标签上,就可以提供多种类型的图形反馈graphical feedback.
鼠标从层次标签上移开后,这些光环将消失.