创建具有随机值的令牌

Question

在下面显示的 petrinet 中，我在在 input2 中创建具有随机值的令牌时遇到问题，因为 rand() 函数似乎不起作用。还有其他方法吗？

Answer 1

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

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

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

我手头没有 CPN 工具的副本，因此请认真对待上述建议。