目录

1添加令牌

2.转换防护Guard

1添加令牌

左侧新建颜色集和变量的声明定义：

为库所分配颜色集：左键+tab键

P1处：添加多重集合，表示添加了两个令牌，第一个令牌值为A，第二个为B。

P2处：表示放置了两个值为B的令牌

这种情况触发T1会执行一次，

P1的一个B和P2的一个B消失了（转换消耗），转移到P3去了：

T1只能触发一次的原因是，P1，P2到T1的弧上显示的都是一个B，表示各要有一个B才能实现转换，但是转换一次之后，这里的P1只有一个A了，不是正确的令牌值，因此不能满足转换条件。

归根到底这里的弧是用的常量表达式。这里可以使用声明中定义的变量。

但是变量会尝试与输入位置P1,P2的令牌值绑定，如果两个都是一样的in1，会使得两个都绑定一样的值，都为A，或都为B。但是这里都绑定为B可以，都绑定为A不可以，因为P2没有A。所以只能执行一次。

第一次转移（A,B），剩下（B,B）当然可以再继续进行转移！（不手动选择也能成功运行，但是是T1随机的，好像每次运行转移的都不大一样）

下一步T1这里显示转移的是两个B，剩下的有正确的令牌值，所以可以执行第二次转移，至此输入的P1，P2都将值全部转移到P3了。

2.转换防护Guard

Guard是用在转移T1上，用来限制输入输出弧上的绑定的。是结果为true或false的布尔表达式。为true是执行转换，否则就不执行。

左键单击T1选择它,然后按Tab键一次，就可以输入guard对应的保护表达式了。（相当于判断）

当in1=in2时才能执行这个判断，这里能满足条件的是两个令牌值都为B。

当然也可以是不等于，in1<>in2