ランダム値のトークンの作成

Question

以下に示すペトリネットでは、rand（）関数が機能していないため、ランダムな値のトークンをinput2に作成するのに問題があります。それを行う他の方法はありますか？

Answer 1

CPN MLは、小文字ののカラーセットをランダムに選択します。 [1,10]の範囲のランダムな整数に対しては、SmallInt.ran()を使用できます。

REALは小さな色ではなく、REAL.ran()を使用する場合は例外が発生します。

あなたの例としては、1.0/real(SmallInt.ran())を使用するのが適切な解決策だと思います。

CPNツールのコピーは手元にありませんので、上記のアドバイスを批判的に受けてください。