petri-net - 创建具有随机值的令牌

Question

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

Answer 1

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

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

我猜想适合您的示例的解决方案是使用1.0/real(SmallInt.ran()).

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