创建具有随机值的令牌

Question

在下面显示的petrinet中，我有一个问题是创建具有随机值的标记input2，因为rand（）函数似乎不起作用。还有其他办法吗？  

Answer 1

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

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

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

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