1、CPN Tools case study
- 在建模系统CPN模型的时候开始先定义数据类型，颜色集，，其次再开始使用上下文关系菜单创建系统对应的库所和变迁，根据协议通信顺序构造图，对复杂的协议鉴于在一个面板上很难一次构造清楚，所以使用层次模型HCPN，
- 定义弧变量表达式中的乘积类型数据或者记录类型数据，数据集中的数据序号和之前定义的颜色集的序号没有关系。
- 变迁和库所的命名不能使用重复的名字，但是并不影响其语法检查，但是定义的数据类型必须区分。最好命名是根据实际代表的含义来写。
- 声明面板中的颜色集对应的数据类型，是顺序的，智能是前面声明之后后续的复合颜色集才能使用。
- 复合颜色集成绩类型数据和记录类型数据定义格式语法不一样，提取数据方法也不一样，但是都可以表示同种数据。
- 接口绑定，将子页中的库所绑定到父页，使用接口绑定按钮，先点击子页库所再点击对应父页的插口库所。
- 状态空间数据报告，必须是对应之前软件安装目录存储地方，不然会报错，如果修改了目录----请查看 CPN tools帮助页面中的提问