我正在尝试使用CPN Tools实现Token Bucket算法。我必须说我对它提供的工具和结果非常满意。
现在，关于我的问题。
首先，我尝试使用黑色令牌和整数构建令牌桶模型。到目前为止，它完美无缺。
其次，我尝试使用实际数据来更改黑色令牌（我使用Simple协议示例发送消息：“通过有色Petri网进行建模和分析”。）
我遇到的问题是当我尝试发送多个数据包时（请参阅我附带的模型图像）。从“Bucket”到“传输k”的弧线和从“Bucket”到“Transmit n”的弧线是问题出现的地方，我不知道如何解决它。在弧上我有铭文发送多个数据包（ k x to send k packets and n x发送n个数据包）
有时我会收到错误“无法从大颜色集绑定”或“生成代码时出现”内部错误编译错误...“ 图片：http://i.imgur.com/O5gGIW1.png
两个错误都出现在转换“传输n”和“传输k”中。
仅供参考，我还附加了图像，我将弧形铭文从地方Bucket更改为Transmit转换，因此我只发送一个数据包。然后它工作，但它不再是TokenBucket。 图片：http://i.imgur.com/0IDfROf.png
如果你能提供帮助，我将非常感激。
如果你想亲自看看，我也可以上传我的CPN模型。
