CPN Tools简介Introduction to CPN Tools

• 初步了解CPN Tools（Getting started with CPN Tools）
• 交互技术Interaction Techniques - CPN工具使用的交互技术
• 层次网介绍Introduction to hierarchical nets
• 从Design/CPN的转换Converting from Design/CPN

编辑CP-net（Editing a CP-net）

创建，载入，存储

• 创建新网Create a new net
• 载入模型Load a model
• 存储模型Save a model

网络结构

• 添加库所、变迁、弧Adding places, transitions, and arcs
• 添加/编辑注释Add/edit inscriptions
• 添加/编辑声明Add/edit declarations
• 编辑文本Edit text
• 使用层次网Working with hierarchical nets
  • 替代变迁Substitution transitions
  • 由下至上开发方式Bottom-up development
  • 由上至下开发方式Top-down development
  • 融合库所Fusion places
  • 移除层次结构Removing hierarchical constructs

图形布局

• 布局编辑Edit the layout
• 样式属性编辑Edit style attributes
• 磁性基准线Magnetic guidelines
• 组Groups
• 调整大小、平移和放大缩小Resize, pan and zoom
• 移动、平移、多视图Move and pan, multiple views

标准结构

• 反库所/限制库所Anti-places/limit places
• 队列/堆栈Queues/stacks
• 禁止弧Inhibitor arcs

分析CP-net（Analysing a CP-net）

• 语法检测Syntax checking
• 网络仿真Simulating nets
• 使用状态空间工具Use state space tool
  • 进入状态空间工具Enter the state space tool
  • 计算状态空间和SCC图Calculate a state space and SCC graph
  • 保存状态空间报告Save a state space report
  • 状态空间查询Make state space queries
  • 仿真器与状态空间工具间的状态转换Transfer states between simulator and state space tool
  • 在状态空间工具中改变属性与设置Change attributes and options in state space tool

网络实例

• 网络实例Example nets

其他

• 为多输入设备安装驱动程序Install driver for multiple input devices