創建具有隨機值的令牌

Question

在下面顯示的petrinet中，由於rand（）函數似乎不起作用，因此在創建具有隨機值的令牌input2時存在問題。有沒有其他方法可以做到這一點？

Answer 1

CPN ML提供顏色隨機選擇小顏色集。您可以使用SmallInt.ran()作爲範圍[1,10]中的隨機整數。

REAL不是一個小的顏色集，如果你要使用REAL.ran()你會得到一個例外。

我想你的例子適合的解決方案是使用1.0/real(SmallInt.ran())。

我手邊沒有CPN Tools的副本，所以請嚴格遵循上述建議。