创建具有随机值的令牌

Question

在下面显示的petrinet中，由于rand（）函数似乎不起作用，因此在创建具有随机值的令牌input2时存在问题。有没有其他方法可以做到这一点？

Answer 1

CPN ML提供颜色随机选择小颜色集。您可以使用SmallInt.ran()作为范围[1,10]中的随机整数。

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

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

我手边没有CPN Tools的副本，所以请严格遵循上述建议。