cpn中怎么写判断函数

在CPN中，判断函数通常使用布尔变量表示，可以使用以下语法来定义和使用判断函数：

1. 定义布尔变量：

boolvar myBool;

2. 定义判断函数：

func myFunc() = myBool;

3. 在转移条件中使用判断函数：

trans myTrans() = myFunc() [myArc];

其中，myArc表示连接该转移和前继库所的弧。当判断函数返回true时，该转移可以发生。

例子：

boolvar myBool = false;

func myFunc() = myBool;

place myPlace(iniTokens=1);

trans myTrans() = myFunc() [myArc];

arc myArc from myPlace to myTrans;

simulate(1);

在上面的例子中，myBool被初始化为false，myFunc返回myBool的值。myTrans的转移条件是myFunc()，当myBool为true时，该转移可以发生。因为myBool的初始值为false，所以该转移不会发生，库所myPlace中的令牌不会被消耗。