非常に小さなモデルを検証しています。しかし、メモリ不足のメッセージが表示されます。何度か機種変更しましたが同じ症状です。問題は、ユーザー定義関数を使用するか、選択オプションを使用して乱数を取得することが原因であると考えました。次に、モデルを変更し、関数を呼び出したり、選択オプションを使用したりしませんでしたが、それでも.... UPPAALの問題なのか、私のモデルの問題なのか疑問に思っています。メモリ不足以外のエラーはありません。「r1」と「r2」の値が変更された後、ctl プロパティが機能しなくなります。
CTL は、インクリメント前の r1 と r2 のすべての値に対して機能します。