设定端口－槽

这个工具必须在设置子页工具使用之后才能应用 。这个工具设定一个端口－槽对:

• 使用这个工具到子页上的一个库所，选择端口。端口必须有一个颜色集，同时她需要有一个端口类型标签、输入、输出、或输入/输出。如果这个工具已经从色板上选择了，光标将变化。
• 再使用工具到子页上的一个库所，指明端口。槽和端口有着同一颜色集。
• 槽只能设置到有合适类型的端口处（输入、输出、输入/输出)
  • 如果槽是某个替代变迁的输入节点（不是输出节点），那么它需要分配到一个输入标签的端口
  • 如果槽是某个替代变迁的输出节点（不是输入节点），那么它需要分配到一个输出标签的端口
  • 如果槽是某个替代变迁的输入节点又是输出节点，那么它需要分配到一个输入/输出标签的端口

工具板和工具窗 : 层次工具