CPN ツールを使用してトークン バケット アルゴリズムを実装しようとしています。ツールとそれが提供する結果に非常に満足していると言わざるを得ません。
さて、私の問題について。
最初に、黒のトークンと整数のみを使用してトークン バケット モデルを構築しようとしました。これまでのところ、問題なく動作しました。
次に、送信する実際のデータで黒のトークンを変更しようとしました (メッセージを送信する単純なプロトコルの例を使用しました:「色付きペトリネットによるモデリングと分析。) 私が抱えている問題は、複数のデータパケットを送信しようとしたときです。 (私が添付したモデル画像を参照してください。) 場所 "Bucket" から "Transmit k" までのアークと "Bucket" から "Transmit n" までのアークは、問題が発生している場所であり、修正方法がわかりません。円弧上に、複数のパケットを送信する碑文があります (k x to send k packets and nx で n パケットを送信)
「大きなカラー セットからバインドできません」というエラーや、「コード生成時に InternalError コンパイル エラーが発生する ...」というエラーが発生することがあります。 IMAGE: http://i.imgur.com/O5gGIW1.png
どちらのエラーも遷移「Transmit n」と「Transmit k」で発生します。
参考までに、アーク碑文を場所バケットから送信トランジションに変更した画像も添付したので、1つのパケットのみを送信しています。その後、動作しますが、もはや TokenBucket ではありません。画像: http://i.imgur.com/0IDfROf.png
お役に立てれば幸いです。
自分で見たい場合は、CPN モデルをアップロードすることもできます。