【CPN TOOLS建模学习】设置弧（边）的属性

变迁和库所的属性使用Tab键在属性之间进行切换

具有以下形式：
弧表达式expr的颜色集必须与附加到该弧的库所的颜色集匹配。如果弧表达式的颜色集与附加到该弧的库所的颜色集不匹配，在语法检查期间会在弧附近出现错误消息。
输入弧和输出弧的铭文之间存在本质的区别。
变迁的输入弧表达式构成了令牌选择的模式。该模式由一个谓词描述，可以在相应颜色集的filter函数中应用。在最简单的情况下，该谓词由相应颜色集的单个变量组成，如示例所示，在网络中，6个令牌中的任何一个都可以通过变量x进行选择：

更复杂的情况是选择源地址等于2的以太网帧：
可以通过弧的属性(2,dst,d)选择任意帧(2,5,“a”)和(2,4,“c”)。


变迁的输出弧表达式构成了新令牌创建的构造器。这个构造器通常使用输入弧铭文的变量，在简单情况下可能与其中一个变量相同。在以下示例中，变迁sum计算输入令牌的总和：

执行一次变迁：

注：执行一次变迁指红框中的操作

执行完：

此外，时间延迟可以应用于输出令牌。在以下示例中，我们每100个模型时间单位生成一个帧：

执行三次变迁：