CPN Tools 状态空间报告

1、CPN Tools case study

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

 

   

你可能感兴趣的:(CPN Tools 状态空间报告)