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