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

我正在编写一个 cpn ml 语言代码，我几乎是一个初学者。我想知道如何在 if 语句中编写 2 个或多个条件？我的意思是我想“和”几个条件，以便它们都应该同时正确。这是代码。我可以使用 ; 分隔条件吗？作为解决方案？

我有一个纸质格式的工作流模型，我想检查它在 ProM（用于流程挖掘的软件）中的工作情况。由于 ProM 将事件日志作为输入。但我没有该工作流模型的事件日志。我如何从该工作流模型生成日志，以便我可以将它们用作 Prom 的输入并从中生成 PetriNet。

我试过的：

1. 这里提到的技术是我尝试过的，它使用 CPN 工具，但它只执行 petrinet 的第一次转换以从模型生成日志。仅生成一系列数字
2. 我也尝试过Process Log Generator 。但它会生成随机日志

任何帮助将不胜感激。

我正在尝试使用参数 a 和 bs 创建一个函数，它将检查列表 bs 是否包含第一个元素是 a 的产品。如果列表 bs 包含第一个元素是 a 的产品，则返回该产品。

该函数给出与文件“evalloop.sml”相关的非描述性错误。

I am generating a Message Sequence Chart (MSC) to my model. I have the following code in the transition and it is working:

I tested this code and it worked fine. Then, I decided to put it into a function, that is coded as follows:

But I am receiving this error message:

Error: Error: exception Compile is raised with Aborted parsing

Can anyone suggest something to solve this problem?

在我的彩色 Petri 网模型中，我想以一种地方可以接收两种不同类型的“请求”的方式使用联合。

我有以下声明：

我有以下配置：

过渡 ------> 地点 (REQUEST_PUBSUB) <----- 过渡

右转换正在发送((int, string), string, real)，左转换正在发送((int, string), string, int)。由于 place 是类型REQUEST_PUBSUB，它是 and 的联合REQUEST_PUB，REQUEST_SUB理论上这应该有效， once((int, string), string, real)显然是有效的REQUEST_PUB并且((int, string), string, int)显然是有效的REQUEST_SUB。

但这不起作用，我收到以下错误：

错误：表达式不匹配约束 [tycon mismatch]
表达式：(INT * STRING) * STRING * REAL
约束：REQUEST_PUBSUB ms
表达式 ((int, string), string, real): REQUEST_PUBSUB ms
详细失败

和

错误：表达式不匹配约束 [tycon mismatch]
表达式：(INT * STRING) * STRING * INT
约束：REQUEST_PUBSUB ms
表达式 ((int, string), string, int): REQUEST_PUBSUB ms
详细失败

谁能帮我这个？我认为描述很清楚，但如有必要，我可以补充更多信息。

我有以下声明：

我有一个类型的地方REQUEST_PUBSUB，可以接收REQUEST_PUB和REQUEST_SUB类型的令牌。这个地方将变量发送pubsub_req到转换。我想使用这些pubsub_req值进行操作。例如，测试请求的字符串参数是否为某个值。我正在尝试这样做#3 pubsub_req = "some value"，但出现以下错误：

错误：运算符和操作数不一致 [类型不匹配]
运算符域：{3:'Y;'Z}
操作数：表达式中的 REQUEST_PUBSUB
：(fn {3=3,...} => 3) pubsub_req
详细失败

如何对 UNION 类型的元素进行操作？

语法错误图片

语法错误图片

这里的 TYVAR 是什么意思，如何解决，导致解析出错？

我正在尝试根据元素的第三个值选择列表中的最小元素。但是我在 min_proc 函数中使用高阶函数似乎存在问题。（我在 CPN 工具中使用 SML）

错误：

我是标准 ml 的新手，我正在使用 cpn 工具。我有一些常量：

我想计算 PHY/RB 然后我 val x=PHY/RB;在 cpn 工具中创建但是当我写除法运算符时它有错误是什么问题？请帮我解决这个问题。谢谢