术语解说 Term Definitions

CPN 变量

CPN变量是用在CPN网表述中的变量.它们有以下特征:

• 它们用保留字var和先前声明的颜色集的名字定义.
• 如果一个变迁被使能,仿真器会使它们受约束于来自他们的颜色集的多样的值.
• 变量受限于值,变量的作用范围限于变迁.
• 可能有多个绑定同时作用于不同的变迁之上.这些绑定可以同时存在,因为它们作用域不同.
• CPN变量绑定的生存期限于特定的变迁的触发.
• 它们支持弧表述有能力引用不同的值.

如果一个变量来自一个少于100个元素的颜色集,仿真器有能力一直绑定一个值给它.

声明语法 Declaration Syntax

其中:

• idi 必须是一个标识符 identifier.
• : 是标识符之间的分隔符.
• cs_name 是一个先前已经声明的颜色集的名字.

声明的例子 Declaration Examples

var i,j,k : INT;

var intList : IntList;

引用变量 Reference Variables

引用变量类似于C中的指针.引用变量只在代码段中使用.引用变量的作用范围是整个网.

引用变量不允许用于影响变迁的使能.为了说明不这样作所带来的后果,看下面的例子:

一个引用变量refvar用于两个不同的变迁A,B的弧表述之上.两个都被使能,变迁A触发.变迁A改变了refvar的值,使得变迁B实际上已不在被使能.但是,仿真器无法知道这一点,因为使能的变迁不会在它们触发之前再作检查(每次在触发前检查变迁将降低系统的可用性).于是B的触发,将成为不可预知的系统错误.

声明语法 Declaration Syntax

声明例子 Declaration Examples

globref i = 10;

globref cur_date = (Mon, 5);

操作 Operations