| 库所注入式 | CPN Tools help |
| CPN ML |
有三种注入式可以与库所相关联.其中有两个是可选的,一个是必需的:
当用户添加/编辑注入式Add/edit inscriptions的时候,库所的注入式就会被创建.
颜色集注入式定义了颜色集,也就是可以放入库所的所有的托肯的类型.
在颜色集注入式尚未被添加的时候,注入式中缺省的文字为TYPE.
颜色集注入式包括了被声明的颜色集colour sets的标识符.
如果一个库所的颜色集尚未被声明,在语法检查syntax checking的时候,库所的边上会出现错误提示.这时,用户需要添加/编辑声明add/edit declarations.
初始标识注入式是一个多重集multi-set表达式,说明了库所的初始托肯.初始标识注入式是可选的.
在初始标识注入式尚未被添加的时候,注入式的缺省的文字INITMARK.
初始标识表达式的颜色集一定要和库所的颜色集匹配.当初始标识空缺时,等同于empty,就是空的多重集.
如果库所的颜色集是赋时颜色集timed colour sets的一种,那么初始标识可以定义延时.这样的初始标识注入式就是一个赋时多重集timed multi-set表达式.
延时的初始标识是一个整数型的表达式,跟在多重集表达式的后面,用@+隔开.语法是init-mark-exp @+ time-delay.未定义延时则意味着延时为零.
当一个初始标识被生成,每一个赋时的托肯都会得到一个时间戳,值等于模型的值加上相对应的初始延时.
在仿真时,可以改变库所的当前标识.只要像下图一样,点开文本编辑,输入新值就可以了.离开编辑模式后,库所就有了新的值.
如果初始标识有错,会有提示信息.
库所名注入式是一个可选的标签,可以包含一个字符序列,用于识别库所.
注意: 为了进入状态空间工具enter the state space tool,库所的名字必须满足一定的要求.