CPN Tools 状态空间报告

Posted 2021-03-17 xinxianquan

1、CPN Tools case study

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